Ergebnisse filtern
Fachgebiet
Medium
  • 1169
  • 346
Erscheinungsjahr
  • 6
  • 96
  • 86
  • 98
  • 107
  • 102
  • 89
  • 94
  • 87
  • 122
  • 109
  • 94
  • 108
  • 62
  • 63
  • 61
  • 65
  • 66
Autoren
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 6
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 53
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 13
  • 3
  • 12
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 6
  • 3
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 5
  • 2
  • 7
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 8
  • 6
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 21
  • 13
  • 4
  • 4
  • 2
  • 3
  • 9
  • 3
  • 7
  • 3
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 8
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 6
  • 4
  • 4
  • 2
  • 3
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 13
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 13
  • 7
  • 2
  • 59
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 7
  • 13
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 7
  • 3
  • 3
  • 2
  • 9
  • 2
  • 6
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 13
  • 8
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 8
  • 2
  • 2
  • 4
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 3
  • 6
  • 2
  • 3
  • 2
  • 6
  • 4
  • 9
  • 2
  • 4
  • 3
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 17
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 14
  • 5
  • 8
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 47
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 6
  • 55
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 5
  • 5
  • 2
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 7
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 8
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 14
  • 15
  • 12
  • 4
  • 5
  • 3
  • 7
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 13
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 12
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 16
  • 17
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 12
  • 2
  • 58
  • 2
  • 2
  • 23
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 18
  • 10
  • 16
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 9
  • 7
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 4
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 4
  • 5
  • 3
  • 3
  • 2
  • 10
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 13
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
Verlag
  • 1294
  • 202
  • 8
  • 11
Preis
  • 69
  • 1240
  • 206
Sprachen
  • 1515
Verfügbarkeit
  • 1515
Katalog
  • 1515
  • 16
1.515  Treffer  für „Theoretical Computer Science and General Issues“
    Flanagan / König | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Flanagan / König Tools and Algorithms for the Construction and Analysis of Systems

    18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28755-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Devismes / Mittal | Stabilization, Safety, and Security of Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Devismes / Mittal Stabilization, Safety, and Security of Distributed Systems

    22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64348-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Fomin / Freivalds / Kwiatkowska | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Fomin / Freivalds / Kwiatkowska Automata, Languages, and Programming

    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39211-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Persiano / Solis-Oba | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Persiano / Solis-Oba Approximation and Online Algorithms

    Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24574-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagiv | Programming Languages and Systems | Buch | Sack Fachmedien

    Sagiv Programming Languages and Systems

    14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25435-5
    Medium: Buch
    53,49 € (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 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
    Abramsky / Gavoille / Kirchner | Automata, Languages and Programming | eBook | Sack Fachmedien
    E-Book

    Abramsky / Gavoille / Kirchner Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14165-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aguilera / Yu / Vaidya | Distributed Computing and Networking | Buch | Sack Fachmedien

    Aguilera / Yu / Vaidya Distributed Computing and Networking

    12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17678-4
    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
    Barbero / Skachek / Ytrehus | Coding Theory and Applications | Buch | Sack Fachmedien

    Barbero / Skachek / Ytrehus Coding Theory and Applications

    5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66277-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoshida | Programming Languages and Systems | Buch | Sack Fachmedien

    Yoshida Programming Languages and Systems

    30th European Symposium on Programming, ESOP 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
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72018-6
    Medium: Buch
    42,79 € (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
    Kant / Pemmaraju / Sivalingam | Distributed Computing and Networking | Buch | Sack Fachmedien

    Kant / Pemmaraju / Sivalingam Distributed Computing and Networking

    11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-11321-5
    Medium: Buch
    106,99 € (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
    Park / Zomaya / Yeo | Network and Parallel Computing | eBook | Sack Fachmedien
    E-Book

    Park / Zomaya / Yeo Network and Parallel Computing

    9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-35606-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schrijvers / Thiemann | Functional and Logic Programming | eBook | Sack Fachmedien
    E-Book

    Schrijvers / Thiemann Functional and Logic Programming

    11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29822-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cygan / Heggernes | Parameterized and Exact Computation | eBook | Sack Fachmedien
    E-Book

    Cygan / Heggernes Parameterized and Exact Computation

    9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13524-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | eBook | Sack Fachmedien
    E-Book

    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
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19718-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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

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