Ergebnisse filtern
Fachgebiet
Medium
  • 54
Erscheinungsjahr
  • 1
  • 1
  • 4
  • 3
  • 1
  • 2
  • 2
  • 1
  • 17
  • 1
  • 2
  • 2
  • 4
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 6
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 30
  • 15
  • 8
  • 1
Preis
  • 45
  • 9
Sprachen
  • 54
Verfügbarkeit
  • 54
Katalog
  • 54

Programmierung | Softwareentwicklung

54  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Komm | An Introduction to Online Computation | Buch | Sack Fachmedien

    Komm An Introduction to Online Computation

    Determinism, Randomization, Advice
    1. Auflage 2016
    Verlag: Springer International Publishing
    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 International Publishing
    ISBN: 978-3-319-82653-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muñoz / Koster | Graphs and Algorithms in Communication Networks | Buch | Sack Fachmedien

    Muñoz / Koster Graphs and Algorithms in Communication Networks

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

    Muñoz / Koster Graphs and Algorithms in Communication Networks

    Studies in Broadband, Optical, Wireless and Ad Hoc Networks
    2010
    Verlag: Springer
    ISBN: 978-3-642-02249-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weihrauch | Computable Analysis | Buch | Sack Fachmedien

    Weihrauch Computable Analysis

    An Introduction
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-63102-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weihrauch | Computable Analysis | Buch | Sack Fachmedien

    Weihrauch Computable Analysis

    An Introduction
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66817-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Kroening | Decision Procedures | Buch | Sack Fachmedien

    Strichman / Kroening 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
    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
    Strichman / Kroening | Decision Procedures | Buch | Sack Fachmedien

    Strichman / Kroening 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
    53,49 € (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 2003. Corr. 2. printing. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-07909-2
    Medium: Buch
    69,54 € (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 2003
    Verlag: Springer
    ISBN: 978-3-540-44134-2
    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 Berlin Heidelberg
    ISBN: 978-3-540-00428-8
    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
    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-642-64451-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roggenbach / Cerone / Shaikh | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38802-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roggenbach / Cerone / Shaikh | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38799-0
    Medium: Buch
    80,24 € (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
    Marchetti / Thanh / Priami | Simulation Algorithms for Computational Systems Biology | Buch | Sack Fachmedien

    Marchetti / Thanh / Priami Simulation Algorithms for Computational Systems Biology

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63111-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
    Marchetti / Thanh / Priami | Simulation Algorithms for Computational Systems Biology | Buch | Sack Fachmedien

    Marchetti / Thanh / Priami Simulation Algorithms for Computational Systems Biology

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

    Paolini / Ronchi Della Rocca The Parametric Lambda Calculus

    A Metamodel for Computation
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20032-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolini / Ronchi Della Rocca | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Paolini / Ronchi Della Rocca 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
    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
    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
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21150-1
    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