Ergebnisse filtern
Fachgebiet
Medium
  • 1164
  • 346
Erscheinungsjahr
  • 6
  • 96
  • 86
  • 98
  • 107
  • 102
  • 89
  • 94
  • 87
  • 122
  • 109
  • 93
  • 109
  • 58
  • 63
  • 60
  • 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
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 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
  • 58
  • 3
  • 3
  • 2
  • 2
  • 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
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 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
  • 5
  • 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
  • 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
  • 5
  • 54
  • 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
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 7
  • 4
  • 3
  • 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
  • 57
  • 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
  • 1289
  • 202
  • 8
  • 11
Preis
  • 69
  • 1237
  • 204
Sprachen
  • 1510
Verfügbarkeit
  • 1510
Katalog
  • 1510
  • 16
1.510  Treffer  für „Theoretical Computer Science and General Issues“
    Hsu / Shi / Salapura | Network and Parallel Computing | Buch | Sack Fachmedien

    Hsu / Shi / Salapura Network and Parallel Computing

    11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44916-5
    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
    ISBN: 978-3-030-17183-4
    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
    Dehne / Sack / Stege | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Stege Algorithms and Data Structures

    14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    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
    Ellen / Kolokolova / Sack | Algorithms and Data Structures | Buch | Sack Fachmedien

    Ellen / Kolokolova / Sack Algorithms and Data Structures

    15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-62126-5
    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
    Lubiw / Salavatipour / He | Algorithms and Data Structures | Buch | Sack Fachmedien

    Lubiw / Salavatipour / He Algorithms and Data Structures

    17th International Symposium, WADS 2021, Virtual Event, August 9-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-83507-1
    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
    Saberi | Internet and Network Economics | eBook | Sack Fachmedien
    E-Book

    Saberi Internet and Network Economics

    6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-17572-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Epstein / Erlebach | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Epstein / Erlebach Approximation and Online Algorithms

    16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04692-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iida / Meseguer / Ogata | Specification, Algebra, and Software | eBook | Sack Fachmedien
    E-Book

    Iida / Meseguer / Ogata Specification, Algebra, and Software

    Essays Dedicated to Kokichi Futatsugi
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54624-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Solis-Oba / Persiano | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Solis-Oba / Persiano Approximation and Online Algorithms

    9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29115-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Durand-Lose / Nagy | Machines, Computations, and Universality | eBook | Sack Fachmedien
    E-Book

    Durand-Lose / Nagy Machines, Computations, and Universality

    7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23111-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fomin / Freivalds / Kwiatkowska | Automata, Languages, and Programming | eBook | Sack Fachmedien
    E-Book

    Fomin / Freivalds / Kwiatkowska Automata, Languages, and Programming

    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39212-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rahman / Sung / Uehara | WALCOM: Algorithms and Computation | eBook | Sack Fachmedien
    E-Book

    Rahman / Sung / Uehara WALCOM: Algorithms and Computation

    12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75172-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Baier / Tinelli | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems

    21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46680-3
    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