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 3 von 95
Anzahl pro Seite
Sortiert nach
Produkte: 945 Seite 3 von 95 Filter
Anzahl Produkte: 945 Theoretical Computer Science and General Issues Springer
Ferreira / Mendes / Menghi

Formal Methods Teaching  

Formal Methods Teaching
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Ferreira / Mendes / Menghi

Formal Methods Teaching

  • Verlag: Springer
  • ISBN: 978-3-030-91549-0 (Buch)
  • Erscheinungstermin: 21.11.2021
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Margaria / Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification  

Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Margaria / Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification

  • Verlag: Springer
  • ISBN: 978-3-030-03420-7 (Buch)
  • Erscheinungstermin: 30.10.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Uustalu

Mathematics of Program Construction  

Mathematics of Program Construction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Uustalu

Mathematics of Program Construction

  • Verlag: Springer
  • ISBN: 978-3-540-35631-8 (Buch)
  • Erscheinungstermin: 27.06.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Wang / Zheng / Jing

Wireless Algorithms, Systems, and Applications  

Wireless Algorithms, Systems, and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wang / Zheng / Jing

Wireless Algorithms, Systems, and Applications

  • Verlag: Springer
  • ISBN: 978-3-642-31868-9 (Buch)
  • Erscheinungstermin: 07.07.2012
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Groce / Musuvathi

Model Checking Software  

Model Checking Software
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Groce / Musuvathi

Model Checking Software

  • Verlag: Springer
  • ISBN: 978-3-642-22305-1 (Buch)
  • Erscheinungstermin: 05.07.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Touili / Cook / Jackson

Computer Aided Verification  

Computer Aided Verification
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Touili / Cook / Jackson

Computer Aided Verification

  • Verlag: Springer
  • ISBN: 978-3-642-14294-9 (Buch)
  • Erscheinungstermin: 30.06.2010
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Fischlin / Katzenbeisser

Number Theory and Cryptography  

Number Theory and Cryptography
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Fischlin / Katzenbeisser

Number Theory and Cryptography

  • Verlag: Springer
  • ISBN: 978-3-642-42000-9 (Buch)
  • Erscheinungstermin: 31.10.2013
  • Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Lu / Zhang / Kwok

Neural Information Processing  

Neural Information Processing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lu / Zhang / Kwok

Neural Information Processing

  • Verlag: Springer
  • ISBN: 978-3-642-24957-0 (Buch)
  • Erscheinungstermin: 26.10.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Datta / Gradinariu

Stabilization, Safety, and Security of Distributed Systems  

Stabilization, Safety, and Security of Distributed Systems
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Datta / Gradinariu

Stabilization, Safety, and Security of Distributed Systems

  • Verlag: Springer
  • ISBN: 978-3-540-49018-0 (Buch)
  • Erscheinungstermin: 08.11.2006
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Jarvisalo / Van Gelder

Theory and Applications of Satisfiability Testing - SAT 2013  

Theory and Applications of Satisfiability Testing - SAT 2013
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jarvisalo / Van Gelder

Theory and Applications of Satisfiability Testing - SAT 2013

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

Verfügbarkeit