Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
program compilation » program composition, program computational, program comparison
method processing » metal processing, methods preprocessing, methods proceedings
compilation https » computation https, complications https, communication https
method process » methods processes
1
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Methods and Tools - Modeling, Evaluation and Compilation -- Models and Algorithms for Hyperreconfigurable...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
von Gries, David., Gries, David., Gries, Paul.
Veröffentlicht 2005
Inhaltsangabe: “... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
von Brooks, David R., Brooks, David R.
Veröffentlicht 2011
Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern