Ergebnisse filtern
Fachgebiet
Medium
  • 912
Erscheinungsjahr
  • 3
  • 43
  • 44
  • 52
  • 59
  • 61
  • 54
  • 55
  • 48
  • 55
  • 63
  • 45
  • 52
  • 52
  • 51
  • 60
  • 57
  • 58
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 34
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 4
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 11
  • 9
  • 1
  • 4
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 1
  • 2
  • 4
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 11
  • 1
  • 1
  • 4
  • 1
  • 41
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 6
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 9
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 32
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 37
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 11
  • 10
  • 4
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 4
  • 2
  • 2
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 12
  • 9
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 11
  • 2
  • 40
  • 13
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 15
  • 8
  • 7
  • 4
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 5
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
Verlag
  • 902
  • 1
  • 9
Preis
  • 27
  • 713
  • 172
Sprachen
  • 912
Verfügbarkeit
  • 912
Katalog
  • 912
  • 9
912  Treffer  für „Theoretical Computer Science and General Issues“
    Halldórsson / Iwama / Kobayashi | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming

    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
    2015
    Verlag: Springer
    ISBN: 978-3-662-47671-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halldórsson / Iwama / Kobayashi | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming

    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
    2015
    Verlag: Springer
    ISBN: 978-3-662-47665-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski / Korytkowski / Scherer | Swarm and Evolutionary computation | Buch | Sack Fachmedien

    Rutkowski / Korytkowski / Scherer Swarm and Evolutionary computation

    International Symposium, SIDE 2012, held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29352-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kari / Manea / Petre | Unveiling Dynamics and Complexity | Buch | Sack Fachmedien

    Kari / Manea / Petre Unveiling Dynamics and Complexity

    13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Festa / Sellmann / Vanschoren | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Festa / Sellmann / Vanschoren Learning and Intelligent Optimization

    10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-50348-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakano / Rahman | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Nakano / Rahman WALCOM: Algorithms and Computation

    Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77890-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Solis-Oba | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Jansen / Solis-Oba Approximation and Online Algorithms

    8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18317-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raman / Saurabh | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Raman / Saurabh Parameterized and Exact Computation

    5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-17492-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Jansen | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Jansen Approximation and Online Algorithms

    7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12449-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Huth | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71208-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Paterson / Zhang | Combinatorics, Algorithms, Probabilistic and Experimental Methodologies | Buch | Sack Fachmedien

    Chen / Paterson / Zhang Combinatorics, Algorithms, Probabilistic and Experimental Methodologies

    First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74449-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miculan / Scagnetto / Honsell | Types for Proofs and Programs | Buch | Sack Fachmedien

    Miculan / Scagnetto / Honsell Types for Proofs and Programs

    International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68084-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Widmayer / Xu / Zhu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Widmayer / Xu / Zhu Combinatorial Optimization and Applications

    7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drossopoulou | Programming Languages and Systems | Buch | Sack Fachmedien

    Drossopoulou Programming Languages and Systems

    17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Battiti | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Blum / Battiti Learning and Intelligent Optimization

    4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13799-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baltag / Seligman / Yamada | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Baltag / Seligman / Yamada Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-55664-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Cardei / Huang | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Li / Cardei / Huang Combinatorial Optimization and Applications

    13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-36411-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Zhang | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Wu / Zhang Combinatorial Optimization and Applications

    14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64842-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nigam / Ban Kirigin / Talcott | Logic, Language, and Security | Buch | Sack Fachmedien

    Nigam / Ban Kirigin / Talcott Logic, Language, and Security

    Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-62076-9
    Medium: Buch
    64,19 € (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
    Degano / de Nicola / Meseguer | Concurrency, Graphs and Models | Buch | Sack Fachmedien

    Degano / de Nicola / Meseguer Concurrency, Graphs and Models

    Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68676-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao / Chatterjee / Jayanti | Distributed Computing and Networking | Buch | Sack Fachmedien

    Rao / Chatterjee / Jayanti Distributed Computing and Networking

    9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan / Rehof | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems

    14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78799-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Larsen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Groote / Larsen Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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