Ergebnisse filtern
Fachgebiet
Medium
  • 1137
Erscheinungsjahr
  • 5
  • 54
  • 70
  • 72
  • 73
  • 58
  • 63
  • 68
  • 64
  • 74
  • 76
  • 71
  • 67
  • 66
  • 62
  • 66
  • 59
  • 69
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 36
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 8
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 6
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 6
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 3
  • 13
  • 11
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 7
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 10
  • 3
  • 2
  • 42
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 3
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 12
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 9
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 10
  • 2
  • 8
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 6
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 2
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 30
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 5
  • 37
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 8
  • 10
  • 9
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 4
  • 15
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 11
  • 4
  • 2
  • 6
  • 9
  • 11
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 41
  • 2
  • 12
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 9
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
Verlag
  • 1125
  • 2
  • 10
Preis
  • 47
  • 896
  • 194
Sprachen
  • 1137
Verfügbarkeit
  • 1137
Katalog
  • 1137
  • 14
1.137  Treffer  für „Theoretical Computer Science and General Issues“
    Wang / Zhu / Du | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Wang / Zhu / Du Combinatorial Optimization and Applications

    5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22615-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hamadi / Schoenauer | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Hamadi / Schoenauer Learning and Intelligent Optimization

    6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34412-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonthier / Norrish | Certified Programs and Proofs | Buch | Sack Fachmedien

    Gonthier / Norrish Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03544-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
    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
    Durand-Lose / Margenstern | Machines, Computations, and Universality | Buch | Sack Fachmedien

    Durand-Lose / Margenstern Machines, Computations, and Universality

    5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74592-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aher / Hole / Jerábek | Logic, Language, and Computation | Buch | Sack Fachmedien

    Aher / Hole / Jerábek Logic, Language, and Computation

    10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-662-46905-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grohe / Niedermeier | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Grohe / Niedermeier Parameterized and Exact Computation

    Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79722-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erlebach / Persiano | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Erlebach / Persiano Approximation and Online Algorithms

    10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38015-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Domaratzki / Salomaa | Implementation and Application of Automata | Buch | Sack Fachmedien

    Domaratzki / Salomaa Implementation and Application of Automata

    15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18097-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chan / Li / Wang | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Chan / Li / Wang Combinatorial Optimization and Applications

    10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48748-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kotsireas / Pardalos | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Kotsireas / Pardalos Learning and Intelligent Optimization

    14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53551-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Fraigniaud / Husfeldt | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Esparza / Fraigniaud / Husfeldt Automata, Languages, and Programming

    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43947-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Damgaard / Goldberg | Automata, Languages and Programming | Buch | Sack Fachmedien

    Aceto / Damgaard / Goldberg Automata, Languages and Programming

    35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70582-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Henzinger / Sgall | Automata, Languages and Programming | Buch | Sack Fachmedien

    Aceto / Henzinger / Sgall Automata, Languages and Programming

    38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22005-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano / Sakai | Computational Geometry and Graphs | Buch | Sack Fachmedien

    Akiyama / Kano / Sakai Computational Geometry and Graphs

    Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45280-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dress / Xu / Zhu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Dress / Xu / Zhu Combinatorial Optimization and Applications

    First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73555-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Margaria | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Legay / Margaria Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54576-8
    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
    Vojnar / Zhang | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Vojnar / Zhang Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 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, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17464-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchou-Markhoff / Caron / Champarnaud | Implementation and Application of Automata | Buch | Sack Fachmedien

    Bouchou-Markhoff / Caron / Champarnaud Implementation and Application of Automata

    16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22255-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fellows / Tan / Zhu | Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Fellows / Tan / Zhu Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38755-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Huisman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Beyer / Huisman Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89959-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Huisman / Kordon | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Beyer / Huisman / Kordon Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17501-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Fantechi / Semini | From Software Engineering to Formal Methods and Tools, and Back | Buch | Sack Fachmedien

    ter Beek / Fantechi / Semini From Software Engineering to Formal Methods and Tools, and Back

    Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30984-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