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 11 von 218
Anzahl pro Seite
Sortiert nach
Produkte: 2176 Seite 11 von 218 Filter
Anzahl Produkte: 2176 Lecture Notes in Computer Science Logik, formale Sprachen, Automaten
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
Franklin

Advances in Cryptology - CRYPTO 2004  

Advances in Cryptology - CRYPTO 2004
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Franklin

Advances in Cryptology - CRYPTO 2004

  • Verlag: Springer
  • ISBN: 978-3-540-22668-0 (Buch)
  • Erscheinungstermin: 04.08.2004
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,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
Frohner

Object-Oriented Technology: ECOOP 2001 Workshop Reader  

Object-Oriented Technology: ECOOP 2001 Workshop Reader
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Frohner

Object-Oriented Technology: ECOOP 2001 Workshop Reader

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43675-1 (Buch)
  • Erscheinungstermin: 02.05.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Benninghofen / Kemmerich / Richter

Systems of Reductions  

Systems of Reductions
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Benninghofen / Kemmerich / Richter

Systems of Reductions

  • Verlag: Springer
  • ISBN: 978-3-540-18598-7 (Buch)
  • Erscheinungstermin: 25.11.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Rus

Algebraic Methodology and Software Technology  

Algebraic Methodology and Software Technology
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Rus

Algebraic Methodology and Software Technology

  • Verlag: Springer
  • ISBN: 978-3-540-67530-3 (Buch)
  • Erscheinungstermin: 03.05.2000
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bartocci / Majumdar

Runtime Verification  

Runtime Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bartocci / Majumdar

Runtime Verification

  • Verlag: Springer International Publishing
  • ISBN: 978-3-319-23819-7 (Buch)
  • Erscheinungstermin: 11.09.2015
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Hailpern

Verifying Concurrent Processes Using Temporal Logic  

Verifying Concurrent Processes Using Temporal Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hailpern

Verifying Concurrent Processes Using Temporal Logic

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

Logic and Its Applications  

Logic and Its Applications
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Lodaya

Logic and Its Applications

  • Verlag: Springer
  • ISBN: 978-3-642-36038-1 (Buch)
  • Erscheinungstermin: 02.01.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bowen / Dunne / Galloway

ZB 2000: Formal Specification and Development in Z and B  

ZB 2000: Formal Specification and Development in Z and B
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bowen / Dunne / Galloway

ZB 2000: Formal Specification and Development in Z and B

  • Verlag: Springer
  • ISBN: 978-3-540-67944-8 (Buch)
  • Erscheinungstermin: 16.08.2000
  • 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