Ergebnisse filtern
Fachgebiet
Medium
  • 1173
  • 1120
Erscheinungsjahr
  • 10
  • 111
  • 132
  • 141
  • 154
  • 115
  • 133
  • 136
  • 143
  • 159
  • 157
  • 135
  • 145
  • 125
  • 129
  • 105
  • 120
  • 142
  • 1
Autoren
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 9
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 72
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 16
  • 4
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 6
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 5
  • 2
  • 4
  • 5
  • 3
  • 3
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 8
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 13
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 11
  • 3
  • 3
  • 12
  • 10
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 35
  • 12
  • 9
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 10
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 7
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 10
  • 7
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 4
  • 16
  • 8
  • 3
  • 4
  • 4
  • 3
  • 10
  • 26
  • 3
  • 8
  • 3
  • 85
  • 5
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 6
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 6
  • 9
  • 3
  • 3
  • 4
  • 6
  • 11
  • 3
  • 13
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 14
  • 4
  • 3
  • 4
  • 8
  • 3
  • 8
  • 18
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 4
  • 6
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 16
  • 4
  • 4
  • 10
  • 4
  • 5
  • 5
  • 4
  • 8
  • 5
  • 3
  • 8
  • 14
  • 5
  • 3
  • 3
  • 6
  • 3
  • 9
  • 3
  • 4
  • 6
  • 13
  • 8
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 11
  • 3
  • 5
  • 4
  • 7
  • 7
  • 4
  • 4
  • 3
  • 4
  • 7
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 8
  • 15
  • 3
  • 6
  • 9
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 6
  • 10
  • 5
  • 6
  • 3
  • 3
  • 8
  • 6
  • 6
  • 4
  • 3
  • 3
  • 5
  • 8
  • 5
  • 3
  • 3
  • 5
  • 5
  • 22
  • 6
  • 3
  • 6
  • 3
  • 3
  • 18
  • 5
  • 4
  • 7
  • 7
  • 9
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 61
  • 4
  • 3
  • 4
  • 6
  • 3
  • 6
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 73
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 7
  • 9
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 14
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 8
  • 7
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 10
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 13
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 11
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 4
  • 5
  • 15
  • 28
  • 11
  • 3
  • 6
  • 3
  • 14
  • 9
  • 3
  • 4
  • 7
  • 3
  • 23
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 15
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 9
  • 5
  • 3
  • 3
  • 9
  • 5
  • 9
  • 5
  • 9
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 21
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 18
  • 7
  • 5
  • 3
  • 4
  • 12
  • 27
  • 24
  • 3
  • 3
  • 5
  • 4
  • 10
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 20
  • 3
  • 83
  • 4
  • 30
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 20
  • 19
  • 18
  • 3
  • 3
  • 3
  • 4
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 10
  • 11
  • 8
  • 5
  • 3
  • 4
  • 5
  • 4
  • 4
  • 9
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 17
  • 7
  • 10
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 7
  • 6
  • 7
  • 3
  • 7
  • 3
  • 19
  • 4
  • 4
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 3
  • 12
  • 4
  • 8
  • 5
  • 6
  • 5
  • 6
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
Verlag
  • 1144
  • 172
  • 936
  • 34
  • 7
Preis
  • 101
  • 1955
  • 237
Sprachen
  • 2293
Verfügbarkeit
  • 2289
  • 4
Katalog
  • 2293
  • 20
2.293  Treffer  für „Theoretical Computer Science and General Issues“
    Dhaenens / Jourdan / Marmion | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Dhaenens / Jourdan / Marmion Learning and Intelligent Optimization

    9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19083-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boyanov / Dimova / Georgiev | Numerical Methods and Applications | Buch | Sack Fachmedien

    Boyanov / Dimova / Georgiev Numerical Methods and Applications

    6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70940-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dress / Zhu / Xu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Dress / Zhu / Xu Combinatorial Optimization and Applications

    First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73555-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Skutella | Approximation and Online Algorithms | eBook | Sack Fachmedien
    E-Book

    Kaklamanis / Skutella Approximation and Online Algorithms

    5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
    2008
    Verlag: Springer
    ISBN: 978-3-540-77918-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aceto / Damgaard / Goldberg | Automata, Languages and Programming | eBook | Sack Fachmedien
    E-Book

    Aceto / Damgaard / Goldberg Automata, Languages and Programming

    35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70575-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | eBook | Sack Fachmedien
    E-Book

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-73449-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Comon-Lundh / Kirchner | Rewriting, Computation and Proof | eBook | Sack Fachmedien
    E-Book

    Comon-Lundh / Kirchner Rewriting, Computation and Proof

    Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
    2007
    Verlag: Springer
    ISBN: 978-3-540-73147-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Erlebach / Kaklamanis | Approximation and Online Algorithms | eBook | Sack Fachmedien
    E-Book

    Erlebach / Kaklamanis Approximation and Online Algorithms

    4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers
    2007
    Verlag: Springer
    ISBN: 978-3-540-69514-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Li / Cardei / Huang | Combinatorial Optimization and Applications | eBook | Sack Fachmedien
    E-Book

    Li / Cardei / Huang Combinatorial Optimization and Applications

    13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36412-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barbero / Skachek / Ytrehus | Coding Theory and Applications | eBook | Sack Fachmedien
    E-Book

    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 International Publishing
    ISBN: 978-3-319-66278-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kaykobad / Petreschi | WALCOM: Algorithms and Computation | eBook | Sack Fachmedien
    E-Book

    Kaykobad / Petreschi WALCOM: Algorithms and Computation

    10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30139-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Poon / Rahman / Yen | WALCOM: Algorithms and Computation | eBook | Sack Fachmedien
    E-Book

    Poon / Rahman / Yen WALCOM: Algorithms and Computation

    11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29–31, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53925-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blume / Kobayashi / Vidal-Oriola | Functional and Logic Programming | eBook | Sack Fachmedien
    E-Book

    Blume / Kobayashi / Vidal-Oriola Functional and Logic Programming

    10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-12251-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    KATOH / Kumar | WALCOM: Algorithms and Computation | eBook | Sack Fachmedien
    E-Book

    KATOH / Kumar WALCOM: Algorithms and Computation

    5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19094-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aloni / Kimmelman / Roelofsen | Logic, Language and Meaning | eBook | Sack Fachmedien
    E-Book

    Aloni / Kimmelman / Roelofsen Logic, Language and Meaning

    18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31482-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bui / Ong / Hoai | Simulated Evolution and Learning | eBook | Sack Fachmedien
    E-Book

    Bui / Ong / Hoai Simulated Evolution and Learning

    9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34859-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dehne / Sack / Stege | Algorithms and Data Structures | eBook | Sack Fachmedien
    E-Book

    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 International Publishing
    ISBN: 978-3-319-21840-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lipshteyn / Levit / McConnell | Graph Theory, Computational Intelligence and Thought | eBook | Sack Fachmedien
    E-Book

    Lipshteyn / Levit / McConnell Graph Theory, Computational Intelligence and Thought

    Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-02029-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Raskin / Chechik | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Raskin / Chechik Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49673-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulla / Leino | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems

    17th International Conference, TACAS 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-19834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Piterman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote 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 I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72015-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Raskin | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49674-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Snoeyink / Lu / Su | Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | eBook | Sack Fachmedien
    E-Book

    Snoeyink / Lu / Su Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29700-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Abdulla / Leino | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems

    17th International Conference, TACAS 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-19835-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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