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 10
Anzahl pro Seite
Sortiert nach
Produkte: 101 Seite 6 von 10 Filter
Anzahl Produkte: 101 Lecture Notes in Computer Science Grundlagen der Mathematik
Moggi / Rosolini

Category Theory and Computer Science  

Category Theory and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Moggi / Rosolini

Category Theory and Computer Science

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63455-3 (Buch)
  • Erscheinungstermin: 20.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Melham / Camilleri

Higher Order Logic Theorem Proving and Its Applications  

Higher Order Logic Theorem Proving and Its Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Melham / Camilleri

Higher Order Logic Theorem Proving and Its Applications

  • Verlag: Springer
  • ISBN: 978-3-540-58450-6 (Buch)
  • Erscheinungstermin: 07.09.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Kahle / Schroeder-Heister / Stärk

Proof Theory in Computer Science  

Proof Theory in Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Schroeder-Heister / Stärk

Proof Theory in Computer Science

  • Verlag: Springer
  • ISBN: 978-3-540-42752-0 (Buch)
  • Erscheinungstermin: 28.09.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Larsen / Skou

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Larsen / Skou

Computer Aided Verification

  • Verlag: Springer
  • ISBN: 978-3-540-55179-9 (Buch)
  • Erscheinungstermin: 22.04.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bochmann / Probst

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bochmann / Probst

Computer Aided Verification

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

Natural Language and Logic  

Natural Language and Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Studer

Natural Language and Logic

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-53082-4 (Buch)
  • Erscheinungstermin: 26.09.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Pearce / Wagner

Logics in AI  

Logics in AI
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Pearce / Wagner

Logics in AI

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55887-3 (Buch)
  • Erscheinungstermin: 19.08.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Basold / Kupke

Coalgebraic Methods in Computer Science  

Coalgebraic Methods in Computer Science
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Basold / Kupke

Coalgebraic Methods in Computer Science

  • Verlag: Springer
  • ISBN: 978-3-032-40443-5 (Buch)
  • Erscheinungstermin: 13.12.2026
  • Vorbestellbar
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Dowek / Heering / Meinke

Higher-Order Algebra, Logic, and Term Rewriting  

Higher-Order Algebra, Logic, and Term Rewriting
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dowek / Heering / Meinke

Higher-Order Algebra, Logic, and Term Rewriting

  • Verlag: Springer
  • ISBN: 978-3-540-61254-4 (Buch)
  • Erscheinungstermin: 08.05.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Bouquet / Serafini / Brézillon

Modeling and Using Context  

Modeling and Using Context
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bouquet / Serafini / Brézillon

Modeling and Using Context

  • Verlag: Springer
  • ISBN: 978-3-540-66432-1 (Buch)
  • Erscheinungstermin: 25.08.1999
  • 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