Erscheinungsjahr
Fach
Format
Lizenz
Sprache
-
From Relational Specifications to Logic Programs
Freier ZugriffDataCite | 2010|Schlagwörter: executable specifications -
Formal analysis of executions of organizational scenarios based on process-oriented specifications
Freier ZugriffOnline Contents | 2009|Schlagwörter: Process-oriented specifications -
Designing and evaluating an online course to support transition to university mathematics
Freier ZugriffTaylor & Francis Verlag | 2022|Schlagwörter: specifications grading -
Visibly Rational Expressions
Freier ZugriffDataCite | 2012|Schlagwörter: Context-free specifications -
A framework for modeling, generating, simulating, and predicting carbon dioxide dispersion indoors using cell-DEVS and deep learning
Freier ZugriffSAGE Publications | 2024|Schlagwörter: Cell Discrete Event System Specifications -
Verifying an HTTP Key-Value Server with Interaction Trees and VST
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Program specifications -
A New Bivariate Birnbaum-Saunders Type Distribution Based on the Skew Generalized Normal Model
Freier ZugriffDOAJ | 2023|Schlagwörter: conditional specifications -
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
Freier ZugriffDataCite | 2008|Schlagwörter: Formal specifications -
6.005 Elements of Software Construction, Fall 2011.
Elements of Software ConstructionFreier ZugriffDSpace@MIT | 2011|Schlagwörter: specifications -
Formal analysis of executions of organizational scenarios based on process-oriented specifications
Freier ZugriffSpringer Verlag | 2009|Schlagwörter: Process-oriented specifications -
Transformation of Estelle modules aiming at test case generation
Freier ZugriffSpringer Verlag | 1996|Schlagwörter: formal specifications -
Refinement of Parameterized Algebraic Specifications
Freier ZugriffSpringer Verlag | 1997|Schlagwörter: Parameterized specifications -
A system for deduction-based formal verification of workflow-oriented software models
Freier ZugriffDOAJ | 2014|Schlagwörter: generating logical specifications -
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Freier ZugriffBASE | 2006|Schlagwörter: Specifications -
Automating Genomic Data Mining via a Sequence-based Matrix Format and Associative Rule Set
Freier ZugriffDOAJ | 2005|Schlagwörter: format specifications -
Design of the Sequential System Automata using Temporal Equivalence Classes
Freier ZugriffDOAJ | 1997|Schlagwörter: Temporal Logic Specifications -
Tool support for algebraic specifications of data in SDL-92
Freier ZugriffSpringer Verlag | 1996|Schlagwörter: algebraic specifications -
Some Results on Cross Viewpoint Consistency Checking
Freier ZugriffSpringer Verlag | 1995|Schlagwörter: Requirements/Specifications -
OASIcs, Volume 43, ICCSW'14, Complete Volume
Freier ZugriffDataCite | 2014|Schlagwörter: Languages and Compilers, Parallel Architectures, Applicative (Functional) Programming, Parallel Programming, Requirements/Specifications Software/Program Verification, Concurrent Programming, Complexity Measures and Classes, Specifying and Verifying and Reasoning about Programs, -
Generalized Fair Reachability Analysis for Cyclic Protocols: Part 1
Freier ZugriffSpringer Verlag | 1995|Schlagwörter: Requirements/Specifications
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.