GRATIS¹ Geschenk für Sie!

GRATIS¹ Geschenk für Sie!

Menü
Alle
Direkt bestellen
Wunschlisten
Warenkorb

Ihre Suche nach „Bernhard Lahres“ in „Informatik“

 
 
 
 
Mehr Filter Filter
Filter
99 Artikel
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

0 Sterne
Buch (Kartoniert)

93.49 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Applications

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Model-Based Engineering of Collaborative Embedded Systems

Model-Based Engineering of Collaborative Embedded Systems

0 Sterne
Buch (Gebunden)

54.99 €

Vorbestellen
Jetzt vorbestellen
Database and Expert Systems Applications

Database and Expert Systems Applications

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 09.09.2020
Voraussichtlich lieferbar in 3 Tag(en)
Ernst Denert Award for Software Engineering 2019; .

Ernst Denert Award for Software Engineering 2019; .

0 Sterne
Buch (Gebunden)

54.99 €

Vorbestellen
Jetzt vorbestellen
Financial Cryptography and Data Security

Financial Cryptography and Data Security

0 Sterne
Buch (Kartoniert)

120.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Self-aware Computing Systems

Self-aware Computing Systems

0 Sterne
Buch (Kartoniert)

142.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Electronic Voting

Electronic Voting

0 Sterne
Buch (Kartoniert)

63.79 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 31.10.2018
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 30.10.2018
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 30.10.2018
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 29.10.2018
Voraussichtlich lieferbar in 3 Tag(en)
Critical Information Infrastructures Security

Critical Information Infrastructures Security

0 Sterne
Buch (Kartoniert)

50.60 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Deductive Software Verification - The KeY Book

Deductive Software Verification - The KeY Book

0 Sterne
Buch (Kartoniert)

131.99 €

Vorbestellen
Erschienen am 21.12.2016
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

0 Sterne
Buch (Kartoniert)

109.99 €

Vorbestellen
Erschienen am 06.10.2016
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 06.10.2016
Voraussichtlich lieferbar in 3 Tag(en)
Advances in Databases and Information Systems

Advances in Databases and Information Systems

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 14.08.2016
Voraussichtlich lieferbar in 3 Tag(en)
New Trends in Databases and Information Systems

New Trends in Databases and Information Systems

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 14.08.2016
Voraussichtlich lieferbar in 3 Tag(en)
AI 2015: Advances in Artificial Intelligence

AI 2015: Advances in Artificial Intelligence

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 22.11.2015
Voraussichtlich lieferbar in 3 Tag(en)
Software Engineering and Formal Methods

Software Engineering and Formal Methods

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 14.09.2015
Voraussichtlich lieferbar in 3 Tag(en)
Graph Transformation

Graph Transformation

0 Sterne
Buch (Kartoniert)

52.80 €

Vorbestellen
Erschienen am 07.07.2015
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 07.10.2014
Voraussichtlich lieferbar in 3 Tag(en)
Database Systems for Advanced Applications

Database Systems for Advanced Applications

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 01.04.2014
Voraussichtlich lieferbar in 3 Tag(en)
Empirical Inference

Empirical Inference

0 Sterne
Buch (Gebunden)

54.99 €

Vorbestellen
Erschienen am 02.01.2014
Jetzt vorbestellen
Critical Information Infrastructure Security

Critical Information Infrastructure Security

0 Sterne
Buch (Kartoniert)

50.60 €

Vorbestellen
Erschienen am 01.10.2013
Voraussichtlich lieferbar in 3 Tag(en)
SOFSEM 2010: Theory and Practice of Computer Science

SOFSEM 2010: Theory and Practice of Computer Science

0 Sterne
Buch (Kartoniert)

109.99 €

Vorbestellen
Erschienen am 20.01.2010
Voraussichtlich lieferbar in 3 Tag(en)
Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 05.10.2009
Voraussichtlich lieferbar in 3 Tag(en)
Creating Brain-Like Intelligence

Creating Brain-Like Intelligence

0 Sterne
Buch (Kartoniert)

109.99 €

Vorbestellen
Erschienen am 02.04.2009
Voraussichtlich lieferbar in 3 Tag(en)