Ergebnisse filtern
Fachgebiet
Medium
  • 85
  • 6
Erscheinungsjahr
  • 1
  • 1
  • 4
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 28
  • 1
  • 2
  • 4
  • 4
  • 6
  • 4
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 3
  • 2
  • 2
  • 6
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 88
  • 1
  • 2
Preis
  • 81
  • 10
Sprachen
  • 91
Verfügbarkeit
  • 91
Katalog
  • 91
91  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Hromkovic / Hromkovic | Theoretical Computer Science | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Theoretical Computer Science

    Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
    1. Auflage. Softcover version of original hardcover Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-05729-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Theoretical Computer Science | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Theoretical Computer Science

    Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-14015-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jukna | Extremal Combinatorics | Buch | Sack Fachmedien

    Jukna Extremal Combinatorics

    With Applications in Computer Science
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-66313-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Recommended Retail Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jukna | Extremal Combinatorics | Buch | Sack Fachmedien

    Jukna Extremal Combinatorics

    With Applications in Computer Science
    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-26990-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jukna | Extremal Combinatorics | Buch | Sack Fachmedien

    Jukna Extremal Combinatorics

    With Applications in Computer Science
    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17363-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Komm | An Introduction to Online Computation | Buch | Sack Fachmedien

    Komm An Introduction to Online Computation

    Determinism, Randomization, Advice
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42747-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Komm | An Introduction to Online Computation | Buch | Sack Fachmedien

    Komm An Introduction to Online Computation

    Determinism, Randomization, Advice
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-82653-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koster / Muñoz | Graphs and Algorithms in Communication Networks | Buch | Sack Fachmedien

    Koster / Muñoz Graphs and Algorithms in Communication Networks

    Studies in Broadband, Optical, Wireless and Ad Hoc Networks
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02249-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koster / Muñoz | Graphs and Algorithms in Communication Networks | Buch | Sack Fachmedien

    Koster / Muñoz Graphs and Algorithms in Communication Networks

    Studies in Broadband, Optical, Wireless and Ad Hoc Networks
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26163-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic / Klasing | Dissemination of Information in Communication Networks | Buch | Sack Fachmedien

    Hromkovic / Hromkovic / Klasing Dissemination of Information in Communication Networks

    Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-00846-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weihrauch | Computable Analysis | Buch | Sack Fachmedien

    Weihrauch Computable Analysis

    An Introduction
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-63102-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic / Klasing | Dissemination of Information in Communication Networks | Buch | Sack Fachmedien

    Hromkovic / Hromkovic / Klasing Dissemination of Information in Communication Networks

    Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05648-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bandyopadhyay | Dissemination of Information in Optical Networks: | eBook | Sack Fachmedien
    E-Book

    Bandyopadhyay Dissemination of Information in Optical Networks:

    From Technology to Algorithms
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72875-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bandyopadhyay | Dissemination of Information in Optical Networks: | Buch | Sack Fachmedien

    Bandyopadhyay Dissemination of Information in Optical Networks:

    From Technology to Algorithms
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72874-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothe | Complexity Theory and Cryptology | Buch | Sack Fachmedien

    Rothe Complexity Theory and Cryptology

    An Introduction to Cryptocomplexity
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06054-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weihrauch | Computable Analysis | Buch | Sack Fachmedien

    Weihrauch Computable Analysis

    An Introduction
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66817-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bandyopadhyay | Dissemination of Information in Optical Networks: | Buch | Sack Fachmedien

    Bandyopadhyay Dissemination of Information in Optical Networks:

    From Technology to Algorithms
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09197-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude | Information and Randomness | Buch | Sack Fachmedien

    Calude Information and Randomness

    An Algorithmic Perspective
    2. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43466-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude | Information and Randomness | Buch | Sack Fachmedien

    Calude Information and Randomness

    An Algorithmic Perspective
    2. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-07793-7
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothe | Complexity Theory and Cryptology | Buch | Sack Fachmedien

    Rothe Complexity Theory and Cryptology

    An Introduction to Cryptocomplexity
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-22147-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Strichman | Decision Procedures | Buch | Sack Fachmedien

    Kroening / Strichman Decision Procedures

    An Algorithmic Point of View
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-74104-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Strichman | Decision Procedures | Buch | Sack Fachmedien

    Kroening / Strichman Decision Procedures

    An Algorithmic Point of View
    Softcover Nachdruck of the original 2. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-57065-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Strichman | Decision Procedures | eBook | Sack Fachmedien
    E-Book

    Kroening / Strichman Decision Procedures

    An Algorithmic Point of View
    2. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-50497-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kroening / Strichman | Decision Procedures | Buch | Sack Fachmedien

    Kroening / Strichman Decision Procedures

    An Algorithmic Point of View
    2. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-50496-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grädel / Kolaitis / Libkin | Finite Model Theory and Its Applications | Buch | Sack Fachmedien

    Grädel / Kolaitis / Libkin Finite Model Theory and Its Applications

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-00428-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Algorithmics for Hard Problems | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Algorithmics for Hard Problems

    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    2. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07909-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin | Elements of Finite Model Theory | Buch | Sack Fachmedien

    Libkin Elements of Finite Model Theory

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05948-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin | Elements of Finite Model Theory | Buch | Sack Fachmedien

    Libkin Elements of Finite Model Theory

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21202-7
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grädel / Kolaitis / Libkin | Finite Model Theory and Its Applications | Buch | Sack Fachmedien

    Grädel / Kolaitis / Libkin Finite Model Theory and Its Applications

    2007
    Verlag: Springer
    ISBN: 978-3-642-43860-8
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Algorithmics for Hard Problems | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Algorithmics for Hard Problems

    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    2. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-44134-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sikkel | Parsing Schemata | Buch | Sack Fachmedien

    Sikkel Parsing Schemata

    A Framework for Specification and Analysis of Parsing Algorithms
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-64451-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vollmer | Introduction to Circuit Complexity | Buch | Sack Fachmedien

    Vollmer Introduction to Circuit Complexity

    A Uniform Approach
    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-08398-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vollmer | Introduction to Circuit Complexity | Buch | Sack Fachmedien

    Vollmer Introduction to Circuit Complexity

    A Uniform Approach
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-64310-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sikkel | Parsing Schemata | eBook | Sack Fachmedien
    E-Book

    Sikkel Parsing Schemata

    A Framework for Specification and Analysis of Parsing Algorithms
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-60541-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Roggenbach / Cerone / Schlingloff | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-38799-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchetti / Priami / Thanh | Simulation Algorithms for Computational Systems Biology | eBook | Sack Fachmedien
    E-Book

    Marchetti / Priami / Thanh Simulation Algorithms for Computational Systems Biology

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63113-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Marchetti / Priami / Thanh | Simulation Algorithms for Computational Systems Biology | Buch | Sack Fachmedien

    Marchetti / Priami / Thanh Simulation Algorithms for Computational Systems Biology

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63111-0
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronchi Della Rocca / Paolini | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Ronchi Della Rocca / Paolini The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05746-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchetti / Priami / Thanh | Simulation Algorithms for Computational Systems Biology | Buch | Sack Fachmedien

    Marchetti / Priami / Thanh Simulation Algorithms for Computational Systems Biology

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-87476-0
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic | Design and Analysis of Randomized Algorithms | Buch | Sack Fachmedien

    Hromkovic Design and Analysis of Randomized Algorithms

    Introduction to Design Paradigms
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-23949-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roggenbach / Cerone / Schlingloff | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-38802-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic | Design and Analysis of Randomized Algorithms | Buch | Sack Fachmedien

    Hromkovic Design and Analysis of Randomized Algorithms

    Introduction to Design Paradigms
    2005
    Verlag: Springer
    ISBN: 978-3-642-06300-8
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronchi Della Rocca / Paolini | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Ronchi Della Rocca / Paolini The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20032-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05940-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Versari | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Gorrieri / Versari Introduction to Concurrency Theory

    Transition Systems and CCS
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21490-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drewes | Grammatical Picture Generation | Buch | Sack Fachmedien

    Drewes Grammatical Picture Generation

    A Tree-Based Approach
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21304-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruni / Montanari | Models of Computation | Buch | Sack Fachmedien

    Bruni / Montanari Models of Computation

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-82689-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Versari | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Gorrieri / Versari Introduction to Concurrency Theory

    Transition Systems and CCS
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-36638-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruni / Montanari | Models of Computation | eBook | Sack Fachmedien
    E-Book

    Bruni / Montanari Models of Computation

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42900-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Drewes | Grammatical Picture Generation | Buch | Sack Fachmedien

    Drewes Grammatical Picture Generation

    A Tree-Based Approach
    2006
    Verlag: Springer
    ISBN: 978-3-642-43662-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruni / Montanari | Models of Computation | Buch | Sack Fachmedien

    Bruni / Montanari Models of Computation

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-42898-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flum / Grohe | Parameterized Complexity Theory | Buch | Sack Fachmedien

    Flum / Grohe Parameterized Complexity Theory

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06757-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garzon | Models of Massive Parallelism | Buch | Sack Fachmedien

    Garzon Models of Massive Parallelism

    Analysis of Cellular Automata and Neural Networks
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-77907-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flum / Grohe | Parameterized Complexity Theory | Buch | Sack Fachmedien

    Flum / Grohe Parameterized Complexity Theory

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29952-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kröger / Merz | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badouel / Bernardinello / Darondeau | Petri Net Synthesis | Buch | Sack Fachmedien

    Badouel / Bernardinello / Darondeau Petri Net Synthesis

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-51621-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badouel / Bernardinello / Darondeau | Petri Net Synthesis | Buch | Sack Fachmedien

    Badouel / Bernardinello / Darondeau Petri Net Synthesis

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47966-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kröger / Merz | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21151-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clote / Kranakis | Boolean Functions and Computation Models | Buch | Sack Fachmedien

    Clote / Kranakis Boolean Functions and Computation Models

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-08217-7
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clote / Kranakis | Boolean Functions and Computation Models | Buch | Sack Fachmedien

    Clote / Kranakis Boolean Functions and Computation Models

    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-59436-9
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Modelling Distributed Systems | Buch | Sack Fachmedien

    Fokkink Modelling Distributed Systems

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-09321-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage Softcover of orig. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05939-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | Buch | Sack Fachmedien

    Salomaa Public-Key Cryptography

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08254-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hemaspaandra / Ogihara | The Complexity Theory Companion | Buch | Sack Fachmedien

    Hemaspaandra / Ogihara The Complexity Theory Companion

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-08684-7
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Communication Complexity and Parallel Computing | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-57459-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Communication Complexity and Parallel Computing | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer
    ISBN: 978-3-642-08185-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kluge | Abstract Computing Machines | Buch | Sack Fachmedien

    Kluge Abstract Computing Machines

    A Lambda Calculus Perspective
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05938-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Kratsch | Exact Exponential Algorithms | Buch | Sack Fachmedien

    Fomin / Kratsch Exact Exponential Algorithms

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26566-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Kratsch | Exact Exponential Algorithms | Buch | Sack Fachmedien

    Fomin / Kratsch Exact Exponential Algorithms

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16532-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Modelling Distributed Systems | Buch | Sack Fachmedien

    Fokkink Modelling Distributed Systems

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73937-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter | Universal Artificial Intelligence | Buch | Sack Fachmedien

    Hutter Universal Artificial Intelligence

    Sequential Decisions Based on Algorithmic Probability
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06052-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | Buch | Sack Fachmedien

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05555-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurki-Suonio | A Practical Theory of Reactive Systems | Buch | Sack Fachmedien

    Kurki-Suonio A Practical Theory of Reactive Systems

    Incremental Modeling of Dynamic Behaviors
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kluge | Abstract Computing Machines | eBook | Sack Fachmedien
    E-Book

    Kluge Abstract Computing Machines

    A Lambda Calculus Perspective
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27359-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Paun / Rozenberg / Salomaa | DNA Computing | Buch | Sack Fachmedien

    Paun / Rozenberg / Salomaa DNA Computing

    New Computing Paradigms
    1998
    Verlag: Springer
    ISBN: 978-3-540-64196-4
    Medium: Buch
    90,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Introduction to Process Algebra | Buch | Sack Fachmedien

    Fokkink Introduction to Process Algebra

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66579-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balcazar / Diaz / Gabarro | Structural Complexity I | Buch | Sack Fachmedien

    Balcazar / Diaz / Gabarro Structural Complexity I

    2. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-79237-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | Buch | Sack Fachmedien

    Salomaa Public-Key Cryptography

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61356-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05941-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Castéran | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20854-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hemaspaandra / Ogihara | The Complexity Theory Companion | Buch | Sack Fachmedien

    Hemaspaandra / Ogihara The Complexity Theory Companion

    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-67419-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter | Universal Artificial Intelligence | Buch | Sack Fachmedien

    Hutter Universal Artificial Intelligence

    Sequential Decisions Based on Algorithmic Probability
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22139-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Castéran | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05880-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | Buch | Sack Fachmedien

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00296-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitsch | The Resolution Calculus | Buch | Sack Fachmedien

    Leitsch The Resolution Calculus

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-64473-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Introduction to Process Algebra | Buch | Sack Fachmedien

    Fokkink Introduction to Process Algebra

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08584-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Rozenberg / Salomaa | DNA Computing | Buch | Sack Fachmedien

    Paun / Rozenberg / Salomaa DNA Computing

    New Computing Paradigms
    1. ed 1998. Corr. 2. printing. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-3-642-08388-4
    Medium: Buch
    90,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurki-Suonio | A Practical Theory of Reactive Systems | Buch | Sack Fachmedien

    Kurki-Suonio A Practical Theory of Reactive Systems

    Incremental Modeling of Dynamic Behaviors
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-23342-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular