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 5 von 32
Anzahl pro Seite
Sortiert nach
Produkte: 315 Seite 5 von 32 Filter
Anzahl Produkte: 315 Lecture Notes in Computer Science Mathematik Allgemein
Paulson

Isabelle  

Isabelle
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle

  • Verlag: Springer
  • ISBN: 978-3-540-58244-1 (Buch)
  • Erscheinungstermin: 28.07.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
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
Fomin / Xiao

Computing and Combinatorics  

Computing and Combinatorics
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Fomin / Xiao

Computing and Combinatorics

  • Verlag: Springer
  • ISBN: 978-981-950217-2 (Buch)
  • Erscheinungstermin: 03.08.2025
  • Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.) 73,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Monien / Vidal-Naquet

STACS 86  

STACS 86
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Monien / Vidal-Naquet

STACS 86

  • Verlag: Springer
  • ISBN: 978-3-540-16078-6 (Buch)
  • Erscheinungstermin: 01.12.1985
  • Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.) 34,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
Marchetti-Spaccamela / Segal

Theory and Practice of Algorithms in (Computer) Systems  

Theory and Practice of Algorithms in (Computer) Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Marchetti-Spaccamela / Segal

Theory and Practice of Algorithms in (Computer) Systems

  • Verlag: Springer
  • ISBN: 978-3-642-19753-6 (Buch)
  • Erscheinungstermin: 14.03.2011
  • 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
Li / Sun

Frontiers of Algorithmics  

Frontiers of Algorithmics
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Li / Sun

Frontiers of Algorithmics

  • Verlag: Springer Nature Singapore
  • ISBN: 978-981-97-7751-8 (Buch)
  • Erscheinungstermin: 29.12.2024
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Adleman / Huang

Algorithmic Number Theory  

Algorithmic Number Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Adleman / Huang

Algorithmic Number Theory

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