Seite 8 von 15
Anzahl pro Seite
Sortiert nach
Produkte: 151 Seite 8 von 15 Filter
Bibel / Kowalski

5th Conference on Automated Deduction  

5th Conference on Automated Deduction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • 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.)
Alblas / Melichar

Attribute Grammars, Applications and Systems  

Attribute Grammars, Applications and Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54572-9 (Buch)
  • Erscheinungstermin: 23.10.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pin

Formal Properties of Finite Automata and Applications  

Formal Properties of Finite Automata and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-51631-6 (Buch)
  • Erscheinungstermin: 11.10.1989
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bouyer / Schröder

Foundations of Software Science and Computation Structures  

Foundations of Software Science and Computation Structures
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-030-99252-1 (Buch)
  • Erscheinungstermin: 29.03.2022
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Gottlob / Grandjean / Seyr

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Gottlob / Grandjean / Seyr

Computer Science Logic

  • Verlag: Springer
  • ISBN: 978-3-540-65922-8 (Buch)
  • Erscheinungstermin: 28.04.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Valette

Application and Theory of Petri Nets 1994  

Application and Theory of Petri Nets 1994
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-58152-9 (Buch)
  • Erscheinungstermin: 01.06.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Clarke / Kurshan

Computer-Aided Verification  

Computer-Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • 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.)
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.)
Klein / Gamboa

Interactive Theorem Proving  

Interactive Theorem Proving
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • 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.)
Ralescu / Shanahan

Fuzzy Logic in Artificial Intelligence  

Fuzzy Logic in Artificial Intelligence
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • 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.)
Filter
Anzahl pro Seite
Sortiert nach