fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 1 von 7
Anzahl pro Seite
Sortiert nach
Produkte: 74 Seite 1 von 7 Filter
Anzahl Produkte: 74 Lecture Notes in Computer Science Mathematik Prozedurale Programmierung
Bliek / Jermann / Neumaier

Global Optimization and Constraint Satisfaction  

Global Optimization and Constraint Satisfaction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bliek / Jermann / Neumaier

Global Optimization and Constraint Satisfaction

  • Verlag: Springer
  • ISBN: 978-3-540-20463-3 (Buch)
  • Erscheinungstermin: 05.11.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Larsen / Niebert

Formal Modeling and Analysis of Timed Systems  

Formal Modeling and Analysis of Timed Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Larsen / Niebert

Formal Modeling and Analysis of Timed Systems

  • Verlag: Springer
  • ISBN: 978-3-540-21671-1 (Buch)
  • Erscheinungstermin: 08.04.2004
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Hooman

Specification and Compositional Verification of Real-Time Systems  

Specification and Compositional Verification of Real-Time Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hooman

Specification and Compositional Verification of Real-Time Systems

  • Verlag: Springer
  • ISBN: 978-3-540-54947-5 (Buch)
  • Erscheinungstermin: 27.11.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Jonsson / Parrow

Formal Techniques in Real-Time and Fault-Tolerant Systems  

Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jonsson / Parrow

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Verlag: Springer
  • ISBN: 978-3-540-61648-1 (Buch)
  • Erscheinungstermin: 21.08.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Moggi / Rosolini

Category Theory and Computer Science  

Category Theory and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Moggi / Rosolini

Category Theory and Computer Science

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63455-3 (Buch)
  • Erscheinungstermin: 20.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Wing / Woodcook / Davies

FM'99 - Formal Methods  

FM'99 - Formal Methods
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Wing / Woodcook / Davies

FM'99 - Formal Methods

  • Verlag: Springer
  • ISBN: 978-3-540-66587-8 (Buch)
  • Erscheinungstermin: 13.09.1999
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Reed

SDL 2003: System Design  

SDL 2003: System Design
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Reed

SDL 2003: System Design

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40539-9 (Buch)
  • Erscheinungstermin: 26.06.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Amadio

Foundations of Software Science and Computational Structures  

Foundations of Software Science and Computational Structures
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Amadio

Foundations of Software Science and Computational Structures

  • Verlag: Springer
  • ISBN: 978-3-540-78497-5 (Buch)
  • Erscheinungstermin: 18.03.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bernardo / Cimatti

Formal Methods for Hardware Verification  

Formal Methods for Hardware Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bernardo / Cimatti

Formal Methods for Hardware Verification

  • Verlag: Springer
  • ISBN: 978-3-540-34304-2 (Buch)
  • Erscheinungstermin: 15.05.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Maluszynski / Wirsing

Programming Language Implementation and Logic Programming  

Programming Language Implementation and Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Maluszynski / Wirsing

Programming Language Implementation and Logic Programming

  • Verlag: Springer
  • ISBN: 978-3-540-54444-9 (Buch)
  • Erscheinungstermin: 14.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3

Verfügbarkeit