Ergebnisse filtern
Fachgebiet
Medium
  • 1111
Erscheinungsjahr
  • 5
  • 61
  • 61
  • 67
  • 81
  • 59
  • 66
  • 57
  • 64
  • 72
  • 74
  • 82
  • 66
  • 62
  • 60
  • 54
  • 60
  • 60
Autoren
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 5
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 38
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 3
  • 1
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 2
  • 8
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 20
  • 11
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 9
  • 5
  • 2
  • 45
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 12
  • 4
  • 4
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 10
  • 7
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 8
  • 2
  • 3
  • 13
  • 2
  • 5
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 32
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 39
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 12
  • 11
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 15
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 14
  • 9
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 43
  • 15
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 12
  • 11
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 6
  • 8
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 3
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
Verlag
  • 1103
  • 1
  • 7
Preis
  • 53
  • 876
  • 182
Sprachen
  • 1111
Verfügbarkeit
  • 1111
Katalog
  • 1111
  • 23
1.111  Treffer  für „Theoretical Computer Science and General Issues“
    Goldreich | Studies in Complexity and Cryptography | Buch | Sack Fachmedien

    Goldreich Studies in Complexity and Cryptography

    Miscellanea on the Interplay between Randomness and Computation
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22669-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Solis-Oba / Fleischer | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Solis-Oba / Fleischer Approximation and Online Algorithms

    15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89440-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Levin | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Levin Approximation and Online Algorithms

    18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80878-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsatsinis / Marinakis / Pardalos | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Matsatsinis / Marinakis / Pardalos Learning and Intelligent Optimization

    13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38628-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Fujita | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Rahman / Fujita WALCOM: Algorithms and Computation

    4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11439-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Sung / Uehara | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Rahman / Sung / Uehara WALCOM: Algorithms and Computation

    12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75171-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Skutella Approximation and Online Algorithms

    6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008, Revised Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93979-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Jesshope / Jin | Network and Parallel Computing | Buch | Sack Fachmedien

    Li / Jesshope / Jin Network and Parallel Computing

    IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74783-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallagher / Sulzmann | Functional and Logic Programming | Buch | Sack Fachmedien

    Gallagher / Sulzmann Functional and Logic Programming

    14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90685-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friggstad / Sack / Salavatipour | Algorithms and Data Structures | Buch | Sack Fachmedien

    Friggstad / Sack / Salavatipour Algorithms and Data Structures

    16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-24765-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bodlaender / Langston | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Bodlaender / Langston Parameterized and Exact Computation

    Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39098-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pardalos / Resende / Vogiatzis | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Pardalos / Resende / Vogiatzis Learning and Intelligent Optimization

    8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09583-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / An / Wang | Network and Parallel Computing | Buch | Sack Fachmedien

    Shi / An / Wang Network and Parallel Computing

    14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68209-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Li / Wu | Network and Parallel Computing | Buch | Sack Fachmedien

    Cao / Li / Wu Network and Parallel Computing

    IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88139-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Zhai / Snir | Network and Parallel Computing | Buch | Sack Fachmedien

    Zhang / Zhai / Snir Network and Parallel Computing

    15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-05676-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / Lorini / Guo | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Blackburn / Lorini / Guo Logic, Rationality, and Interaction

    7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-60291-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansen / Murray / Sadrzadeh | Logic, Language, and Computation | Buch | Sack Fachmedien

    Hansen / Murray / Sadrzadeh Logic, Language, and Computation

    11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54331-3
    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
    Dehne / Sack / Toth | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Toth Algorithms and Data Structures

    11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03366-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schrijvers / Thiemann | Functional and Logic Programming | Buch | Sack Fachmedien

    Schrijvers / Thiemann Functional and Logic Programming

    11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29821-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Nakatsui / Popov | Algebraic and Numeric Biology | Buch | Sack Fachmedien

    Horimoto / Nakatsui / Popov Algebraic and Numeric Biology

    4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28066-5
    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
    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
    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
    Biere / Parker | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Biere / Parker Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45236-0
    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