Ergebnisse filtern
Fachgebiet
Medium
  • 62
Erscheinungsjahr
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 21
  • 9
  • 9
  • 1
  • 1
  • 2
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 62
Preis
  • 3
  • 57
  • 2
Sprachen
  • 62
Verfügbarkeit
  • 62
Katalog
  • 62

Programmier- und Skriptsprachen

62  Treffer  für „Theoretical Computer Science and General Issues“
    Dawar / Veith | Computer Science Logic | Buch | Sack Fachmedien

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van den Herik / Spronck | Advances in Computer Games | Buch | Sack Fachmedien

    van den Herik / Spronck Advances in Computer Games

    12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12992-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Haxthausen / Yenigun | Theoretical Aspects of Computing - ICTAC 2008 | Buch | Sack Fachmedien

    Fitzgerald / Haxthausen / Yenigun Theoretical Aspects of Computing - ICTAC 2008

    5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85761-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker / Morgan | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Leucker / Morgan Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03465-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goubault-Larrecq / König | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Goubault-Larrecq / König Foundations of Software Science and Computation Structures

    23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45230-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bojanczyk / Simpson | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Bojanczyk / Simpson Foundations of Software Science and Computation Structures

    22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17126-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sommaruga | Formal Theories of Information | Buch | Sack Fachmedien

    Sommaruga Formal Theories of Information

    From Shannon to Semantic Information Theory and General Concepts of Information
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00658-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Ravikumar | Implementation and Applications of Automata | Buch | Sack Fachmedien

    Ibarra / Ravikumar Implementation and Applications of Automata

    13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70843-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Gavoille / Kirchner | Automata, Languages and Programming | Buch | Sack Fachmedien

    Abramsky / Gavoille / Kirchner Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14164-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54832-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Term Rewriting and Applications | Buch | Sack Fachmedien

    Pfenning Term Rewriting and Applications

    17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang | Programming Languages and Systems | Buch | Sack Fachmedien

    Yang Programming Languages and Systems

    26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54433-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | Buch | Sack Fachmedien

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caires | Programming Languages and Systems | Buch | Sack Fachmedien

    Caires Programming Languages and Systems

    28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17183-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castagna | Programming Languages and Systems | Buch | Sack Fachmedien

    Castagna Programming Languages and Systems

    18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00589-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller | Programming Languages and Systems | Buch | Sack Fachmedien

    Müller Programming Languages and Systems

    29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-44913-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palsberg | Semantics and Algebraic Specification | Buch | Sack Fachmedien

    Palsberg Semantics and Algebraic Specification

    Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Majumdar | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Esparza / Majumdar Tools and Algorithms for the Construction and Analysis of Systems

    16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12001-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Damiani / de Liguoro | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Damiani / de Liguoro Types for Proofs and Programs

    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02443-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Pollock / Cavazos | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Gao / Pollock / Cavazos Languages and Compilers for Parallel Computing

    22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13373-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hall / Sundar | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Hall / Sundar Languages and Compilers for Parallel Computing

    31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34626-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kratochvil / Li / Fiala | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Kratochvil / Li / Fiala Theory and Applications of Models of Computation

    7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13561-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grelck / Huch / Michaelson | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Grelck / Huch / Michaelson Implementation and Application of Functional Languages

    16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Berdine / Mastroeni | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Giacobazzi / Berdine / Mastroeni Verification, Model Checking, and Abstract Interpretation

    14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35872-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ding / Criswell / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ding / Criswell / Wu Languages and Compilers for Parallel Computing

    29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-52708-6
    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