Ergebnisse filtern
Fachgebiet
Medium
  • 1192
Erscheinungsjahr
  • 7
  • 58
  • 59
  • 71
  • 76
  • 71
  • 69
  • 71
  • 69
  • 81
  • 70
  • 72
  • 75
  • 75
  • 58
  • 71
  • 68
  • 71
Autoren
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 2
  • 3
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 38
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 5
  • 1
  • 5
  • 4
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 18
  • 8
  • 6
  • 5
  • 8
  • 2
  • 7
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 2
  • 9
  • 2
  • 12
  • 3
  • 47
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 4
  • 4
  • 6
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 7
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 10
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 8
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 10
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 10
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 29
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 39
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 8
  • 9
  • 8
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 10
  • 2
  • 2
  • 3
  • 4
  • 14
  • 4
  • 3
  • 2
  • 3
  • 9
  • 14
  • 5
  • 7
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 9
  • 2
  • 46
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 6
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 7
  • 5
  • 6
  • 2
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 2
  • 3
  • 8
  • 2
  • 5
  • 5
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
Verlag
  • 1181
  • 1
  • 1
  • 9
Preis
  • 46
  • 930
  • 216
Sprachen
  • 1192
Verfügbarkeit
  • 1190
  • 2
Katalog
  • 1192
  • 16
1.192  Treffer  für „Theoretical Computer Science and General Issues“
    Raghavendra / Raskhodnikova / Jansen | Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Raghavendra / Raskhodnikova / Jansen Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

    16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40327-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paschos / Widmayer | Algorithms and Complexity | Buch | Sack Fachmedien

    Paschos / Widmayer Algorithms and Complexity

    9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-18172-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fu / Du | Computing and Combinatorics | Buch | Sack Fachmedien

    Fu / Du Computing and Combinatorics

    17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22684-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezhanishvili / Löbner / Marra | Logic, Language, and Computation | Buch | Sack Fachmedien

    Bezhanishvili / Löbner / Marra Logic, Language, and Computation

    9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36975-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hobbs / Goscinski / Zhou | Distributed and Parallel Computing | Buch | Sack Fachmedien

    Hobbs / Goscinski / Zhou Distributed and Parallel Computing

    6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29235-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Lloyd | Dependable and Historic Computing | Buch | Sack Fachmedien

    Jones / Lloyd Dependable and Historic Computing

    Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24540-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Zhou / Zhao | Embedded Software and Systems | Buch | Sack Fachmedien

    Yang / Zhou / Zhao Embedded Software and Systems

    Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30881-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / McDermott / Carballal | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Machado / McDermott / Carballal Evolutionary and Biologically Inspired Music, Sound, Art and Design

    Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36954-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wu / Das | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Liu / Wu / Das Wireless Algorithms, Systems, and Applications

    16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-85927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Jansen / Kenyon | Efficient Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Jansen / Kenyon Efficient Approximation and Online Algorithms

    Recent Progress on Classical Combinatorial Optimization Problems and New Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32212-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boreale / Corradini / Loreti | Models, Languages, and Tools for Concurrent and Distributed Programming | Buch | Sack Fachmedien

    Boreale / Corradini / Loreti Models, Languages, and Tools for Concurrent and Distributed Programming

    Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21484-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biagioni / Zheng / Cheng | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Biagioni / Zheng / Cheng Wireless Algorithms, Systems, and Applications

    14th International Conference, WASA 2019, Honolulu, HI, USA, June 24-26, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23596-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson / Ciesielski / Correia | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Johnson / Ciesielski / Correia Evolutionary and Biologically Inspired Music, Sound, Art and Design

    5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31007-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dams / Hannemann / Steffen | Concurrency, Compositionality, and Correctness | Buch | Sack Fachmedien

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11511-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Daescu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Wu / Daescu Combinatorial Optimization and Applications

    4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17457-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ölveczky Rewriting Logic and Its Applications

    8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16309-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beliczynski / Dzielinski / Iwanowski | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Beliczynski / Dzielinski / Iwanowski Adaptive and Natural Computing Algorithms

    8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71590-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lipshteyn / Levit / McConnell | Graph Theory, Computational Intelligence and Thought | Buch | Sack Fachmedien

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

    Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02028-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheung / Fong / Wang | Hybrid Learning and Continuing Education | Buch | Sack Fachmedien

    Cheung / Fong / Wang Hybrid Learning and Continuing Education

    6th International conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39749-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon-Lundh / Kirchner | Rewriting, Computation and Proof | Buch | Sack Fachmedien

    Comon-Lundh / Kirchner Rewriting, Computation and Proof

    Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73146-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cygan / Heggernes | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Cygan / Heggernes Parameterized and Exact Computation

    9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13523-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Das / Suganthan | Swarm, Evolutionary, and Memetic Computing | Buch | Sack Fachmedien

    Panigrahi / Das / Suganthan Swarm, Evolutionary, and Memetic Computing

    Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35379-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Piterman / Smolka | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Piterman / Smolka 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
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36741-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 I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72015-5
    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