Ergebnisse filtern
Fachgebiet
Medium
  • 51
Erscheinungsjahr
  • 1
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 15
  • 7
  • 10
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 27
  • 14
  • 9
  • 1
Preis
  • 2
  • 46
  • 3
Sprachen
  • 51
Verfügbarkeit
  • 51
Katalog
  • 51

Programmier- und Skriptsprachen

51  Treffer  für „Theoretical Computer Science and General Issues“
    Touili / Cook / Jackson | Computer Aided Verification | Buch | Sack Fachmedien

    Touili / Cook / Jackson Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14294-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / Leucker | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Morgan / Leucker Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03465-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Martin-Vide / Ionescu | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Dediu / Martin-Vide / Ionescu Language and Automata Theory and Applications

    Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahmed | Programming Languages and Systems | Buch | Sack Fachmedien

    Ahmed Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-89883-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Bacci / Mardare | Models, Algorithms, Logics and Tools | Buch | Sack Fachmedien

    Aceto / Bacci / Mardare Models, Algorithms, Logics and Tools

    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63120-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ölveczky Rewriting Logic and Its Applications

    8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16309-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thiemann | Programming Languages and Systems | Buch | Sack Fachmedien

    Thiemann Programming Languages and Systems

    25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49497-4
    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 International Publishing
    ISBN: 978-3-030-17183-4
    Medium: Buch
    53,49 € (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
    Ravikumar / Ibarra | Implementation and Applications of Automata | Buch | Sack Fachmedien

    Ravikumar / Ibarra Implementation and Applications of Automata

    13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70843-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Esparza | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Majumdar / Esparza 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
    2010
    Verlag: Springer
    ISBN: 978-3-642-12001-5
    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
    2009
    Verlag: Springer
    ISBN: 978-3-642-00589-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Voronkov Rewriting Techniques and Applications

    19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70588-8
    Medium: Buch
    53,49 € (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
    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
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-36834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / de Liguoro / Damiani | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / de Liguoro / Damiani Types for Proofs and Programs

    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-02443-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Mastroeni / Berdine | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

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

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

    Amaral Languages and Compilers for Parallel Computing

    21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89739-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Schreye | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    De Schreye Logic-Based Program Synthesis and Transformation

    19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-12591-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11318-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kimura / Kasahara | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Kimura / Kasahara Languages and Compilers for Parallel Computing

    25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-37657-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Logozzo / Zuck / Peled | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Logozzo / Zuck / Peled Verification, Model Checking, and Abstract Interpretation

    9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78162-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Franceschinis | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    Wolf / Franceschinis Applications and Theory of Petri Nets

    30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stuckey / Mesnard | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Stuckey / Mesnard Logic-Based Program Synthesis and Transformation

    28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-13837-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cousot Verification, Model Checking, and Abstract Interpretation

    6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24297-0
    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