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 113 von 119
Anzahl pro Seite
Sortiert nach
Produkte: 1188 Seite 113 von 119 Filter
Anzahl Produkte: 1188 Theoretical Computer Science and General Issues Buch
Bodlaender / Langston

Parameterized and Exact Computation  

Parameterized and Exact Computation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bodlaender / Langston

Parameterized and Exact Computation

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

Computer Aided Verification  

Computer Aided Verification
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Biere / Bloem

Computer Aided Verification

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-08866-2 (Buch)
  • Erscheinungstermin: 04.08.2014
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Margaria / Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change  

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Margaria / Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  • Verlag: Springer
  • ISBN: 978-3-662-45233-2 (Buch)
  • Erscheinungstermin: 07.10.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Artemov / Nerode

Logical Foundations of Computer Science  

Logical Foundations of Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Artemov / Nerode

Logical Foundations of Computer Science

  • Verlag: Springer
  • ISBN: 978-3-319-72055-5 (Buch)
  • Erscheinungstermin: 28.11.2017
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Dillig / Palsberg

Verification, Model Checking, and Abstract Interpretation  

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

Verification, Model Checking, and Abstract Interpretation

  • Verlag: Springer
  • ISBN: 978-3-319-73720-1 (Buch)
  • Erscheinungstermin: 10.01.2018
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Frachtenberg / Schwiegelshohn

Job Scheduling Strategies for Parallel Processing  

Job Scheduling Strategies for Parallel Processing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Frachtenberg / Schwiegelshohn

Job Scheduling Strategies for Parallel Processing

  • Verlag: Springer
  • ISBN: 978-3-540-71034-9 (Buch)
  • Erscheinungstermin: 09.02.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Fouilhoux / Gouveia / Mahjoub

Combinatorial Optimization  

Combinatorial Optimization
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Fouilhoux / Gouveia / Mahjoub

Combinatorial Optimization

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-09173-0 (Buch)
  • Erscheinungstermin: 05.08.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Payer / Rashid / Such

Engineering Secure Software and Systems  

Engineering Secure Software and Systems
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Payer / Rashid / Such

Engineering Secure Software and Systems

  • Verlag: Springer
  • ISBN: 978-3-319-94495-1 (Buch)
  • Erscheinungstermin: 20.06.2018
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Kaufmann / Paulson

Interactive Theorem Proving  

Interactive Theorem Proving
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Kaufmann / Paulson

Interactive Theorem Proving

  • Verlag: Springer
  • ISBN: 978-3-642-14051-8 (Buch)
  • Erscheinungstermin: 30.06.2010
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Escobar

Rewriting Logic and Its Applications  

Rewriting Logic and Its Applications
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Escobar

Rewriting Logic and Its Applications

  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-319-12903-7 (Buch)
  • Erscheinungstermin: 21.11.2014
  • Lieferzeit ca. 10 Werktage
51,36 € (inkl. MwSt.) 48,00 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Verfügbarkeit