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

Formal Techniques in Real-Time and Fault-Tolerant Systems  

Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Verlag: Springer
  • ISBN: 978-3-540-55092-1 (Buch)
  • Erscheinungstermin: 11.12.1991
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Slezak / Szczuka / Duentsch

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing  

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Slezak / Szczuka / Duentsch

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

  • Verlag: Springer
  • ISBN: 978-3-540-28653-0 (Buch)
  • Erscheinungstermin: 22.08.2005
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Grundy / Newey

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Grundy / Newey

Theorem Proving in Higher Order Logics

  • Verlag: Springer
  • ISBN: 978-3-540-64987-8 (Buch)
  • Erscheinungstermin: 09.09.1998
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Pezzè

Fundamental Approaches to Software Engineering  

Fundamental Approaches to Software Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pezzè

Fundamental Approaches to Software Engineering

  • Verlag: Springer
  • ISBN: 978-3-540-00899-6 (Buch)
  • Erscheinungstermin: 14.03.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Väänänen

Generalized Quantifiers and Computation  

Generalized Quantifiers and Computation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Väänänen

Generalized Quantifiers and Computation

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

Advances in Cryptology - EUROCRYPT 2002  

Advances in Cryptology - EUROCRYPT 2002
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Knudsen

Advances in Cryptology - EUROCRYPT 2002

  • Verlag: Springer
  • ISBN: 978-3-540-43553-2 (Buch)
  • Erscheinungstermin: 17.04.2002
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Gabbay / Ohlbach

Practical Reasoning  

Practical Reasoning
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Gabbay / Ohlbach

Practical Reasoning

  • Verlag: Springer
  • ISBN: 978-3-540-61313-8 (Buch)
  • Erscheinungstermin: 21.05.1996
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bibel / Kowalski

5th Conference on Automated Deduction  

5th Conference on Automated Deduction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bibel / Kowalski

5th Conference on Automated Deduction

  • Verlag: Springer
  • ISBN: 978-3-540-10009-6 (Buch)
  • Erscheinungstermin: 01.06.1980
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Belz / Evans / Piwek

Natural Language Generation  

Natural Language Generation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Belz / Evans / Piwek

Natural Language Generation

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

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kuncak / Rybalchenko

Verification, Model Checking, and Abstract Interpretation

  • Verlag: Springer
  • ISBN: 978-3-642-27939-3 (Buch)
  • Erscheinungstermin: 12.01.2012
  • 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