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 6 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 151 Seite 6 von 15 Filter
Anzahl Produkte: 151 Lecture Notes in Computer Science Mathematische Logik
Clarke / Kurshan

Computer-Aided Verification  

Computer-Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Clarke / Kurshan

Computer-Aided Verification

  • Verlag: Springer
  • ISBN: 978-3-540-54477-7 (Buch)
  • Erscheinungstermin: 02.10.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Gierasimczuk / Velázquez-Quesada

Dynamic Logic. New Trends and Applications  

Dynamic Logic. New Trends and Applications
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Gierasimczuk / Velázquez-Quesada

Dynamic Logic. New Trends and Applications

  • Verlag: Springer
  • ISBN: 978-3-031-51776-1 (Buch)
  • Erscheinungstermin: 13.01.2024
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Klein / Gamboa

Interactive Theorem Proving  

Interactive Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Klein / Gamboa

Interactive Theorem Proving

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08969-0 (Buch)
  • Erscheinungstermin: 01.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Ralescu / Shanahan

Fuzzy Logic in Artificial Intelligence  

Fuzzy Logic in Artificial Intelligence
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ralescu / Shanahan

Fuzzy Logic in Artificial Intelligence

  • Verlag: Springer
  • ISBN: 978-3-540-66374-4 (Buch)
  • Erscheinungstermin: 28.07.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Nijholt

Context-Free Grammars  

Context-Free Grammars
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nijholt

Context-Free Grammars

  • Verlag: Springer
  • ISBN: 978-3-540-10245-8 (Buch)
  • Erscheinungstermin: 01.09.1980
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bertrand / Dubslaff / Klüppelholz

Principles of Formal Quantitative Analysis  

Principles of Formal Quantitative Analysis
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Bertrand / Dubslaff / Klüppelholz

Principles of Formal Quantitative Analysis

  • Verlag: Birkhäuser
  • ISBN: 978-3-031-97438-0 (Buch)
  • Erscheinungstermin: 31.08.2025
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Lusk / Overbeek

9th International Conference on Automated Deduction  

9th International Conference on Automated Deduction
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Lusk / Overbeek

9th International Conference on Automated Deduction

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

Application and Theory of Petri Nets 2002  

Application and Theory of Petri Nets 2002
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Esparza / Lakos

Application and Theory of Petri Nets 2002

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-43787-1 (Buch)
  • Erscheinungstermin: 12.06.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bläsius / Hedtstück / Rollinger

Sorts and Types in Artificial Intelligence  

Sorts and Types in Artificial Intelligence
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bläsius / Hedtstück / Rollinger

Sorts and Types in Artificial Intelligence

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

Constraints in Computational Logics  

Constraints in Computational Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Jouannaud

Constraints in Computational Logics

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58403-2 (Buch)
  • Erscheinungstermin: 24.08.1994
  • 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