GRATIS¹ Geschenk für Sie!

GRATIS¹ Geschenk für Sie!

Menü
Alle
Direkt bestellen
Wunschlisten
Warenkorb

Ihre Suche nach „Bernhard Stade“ in „Informatik & EDV“

 
 
 
 
Mehr Filter Filter
Filter
138 Artikel
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)

53.49 €

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

Deductive Software Verification - The KeY Book

0 Sterne
Buch (Kartoniert)

128.39 €

Vorbestellen
Erschienen am 21.12.2016
Voraussichtlich lieferbar in 3 Tag(en)
Critical Information Infrastructure Security

Critical Information Infrastructure Security

0 Sterne
Buch (Kartoniert)

49.22 €

Vorbestellen
Erschienen am 01.10.2013
Voraussichtlich lieferbar in 3 Tag(en)
Reconstruction, Segmentation, and Analysis of Medical Images

Reconstruction, Segmentation, and Analysis of Medical Images

0 Sterne
Buch (Kartoniert)

53.49 €

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

Empirical Inference

0 Sterne
Buch (Gebunden)

53.49 €

Vorbestellen
Erschienen am 02.01.2014
Jetzt vorbestellen
Database Systems for Advanced Applications

Database Systems for Advanced Applications

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Erschienen am 01.04.2014
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)

106.99 €

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

Graph Transformation

0 Sterne
Buch (Kartoniert)

51.36 €

Vorbestellen
Erschienen am 07.07.2015
Voraussichtlich lieferbar in 3 Tag(en)
Tests and Proofs

Tests and Proofs

0 Sterne
Buch (Kartoniert)

53.49 €

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

Self-aware Computing Systems

0 Sterne
Buch (Gebunden)

106.99 €

Vorbestellen
Jetzt vorbestellen
Advances in Databases and Information Systems

Advances in Databases and Information Systems

0 Sterne
Buch (Kartoniert)

53.49 €

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)

53.49 €

Vorbestellen
Erschienen am 14.08.2016
Voraussichtlich lieferbar in 3 Tag(en)
Semantic Applications

Semantic Applications

0 Sterne
Buch (Gebunden)

48.14 €

Vorbestellen
Erschienen am 18.05.2018
Jetzt vorbestellen
Behavioral Specifications of Businesses and Systems

Behavioral Specifications of Businesses and Systems

0 Sterne
Buch (Kartoniert)

106.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Erschienen am 07.01.2004
Voraussichtlich lieferbar in 3 Tag(en)
Molecular Imaging, Reconstruction and Analysis of Moving Body Organs, and Stroke Imaging and Treatment

Molecular Imaging, Reconstruction and Analysis of Moving Body Organs, and Stroke Imaging and Treatment

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Erschienen am 09.09.2017
Voraussichtlich lieferbar in 3 Tag(en)
Spatial Cognition IX

Spatial Cognition IX

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Scalable Uncertainty Management

Scalable Uncertainty Management

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Computing and Software Science

Computing and Software Science

0 Sterne
Buch (Kartoniert)

32.09 €

Vorbestellen
Erschienen am 05.10.2019
Voraussichtlich lieferbar in 3 Tag(en)
Foundations of Information and Knowledge Systems

Foundations of Information and Knowledge Systems

0 Sterne
Buch (Kartoniert)

53.49 €

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

Software Engineering and Formal Methods

0 Sterne
Buch (Kartoniert)

53.49 €

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

Software Engineering and Formal Methods

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Erschienen am 14.09.2015
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)

53.49 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Trusted Cloud Computing

Trusted Cloud Computing

0 Sterne
Buch (Kartoniert)

53.49 €

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

Critical Information Infrastructures Security

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Erschienen am 31.12.2018
Voraussichtlich lieferbar in 3 Tag(en)
Mathematical Morphology and Its Applications to Signal and Image Processing

Mathematical Morphology and Its Applications to Signal and Image Processing

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Database and Expert Systems Applications

Database and Expert Systems Applications

0 Sterne
Buch (Kartoniert)

53.49 €

Vorbestellen
Erschienen am 09.09.2020
Voraussichtlich lieferbar in 3 Tag(en)
Electronic Voting

Electronic Voting

0 Sterne
Buch (Kartoniert)

53.49 €

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

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

0 Sterne
Buch (Kartoniert)

90.94 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)