Ergebnisse filtern
Fachgebiet
Medium
  • 1190
Erscheinungsjahr
  • 7
  • 58
  • 59
  • 71
  • 76
  • 71
  • 69
  • 71
  • 69
  • 81
  • 70
  • 72
  • 75
  • 75
  • 58
  • 70
  • 68
  • 70
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
  • 2
  • 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
  • 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
  • 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
  • 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
  • 3
  • 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
  • 4
  • 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
  • 1180
  • 1
  • 1
  • 8
Preis
  • 46
  • 930
  • 214
Sprachen
  • 1190
Verfügbarkeit
  • 1188
  • 2
Katalog
  • 1190
  • 16
1.190  Treffer  für „Theoretical Computer Science and General Issues“
    Rahman / Nakano | WALCOM: Algorithm and Computation | Buch | Sack Fachmedien

    Rahman / Nakano WALCOM: Algorithm and Computation

    6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28075-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Solis-Oba / Sack | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Solis-Oba / Sack Algorithms and Data Structures

    13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Durand-Lose / Nagy | Machines, Computations, and Universality | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-23110-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicosia / Pardalos | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Nicosia / Pardalos Learning and Intelligent Optimization

    7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-44972-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nikolov / Kolkovska / Georgiev | Numerical Methods and Applications | Buch | Sack Fachmedien

    Nikolov / Kolkovska / Georgiev Numerical Methods and Applications

    9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-10691-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sanità / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Sanità / Skutella Approximation and Online Algorithms

    13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28683-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Even / Rawitz | Design and Analysis of Algorithms | Buch | Sack Fachmedien

    Even / Rawitz Design and Analysis of Algorithms

    First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34861-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopal / Jäger / Steila | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Gopal / Jäger / Steila Theory and Applications of Models of Computation

    14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55910-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Meyer | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics

    6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34141-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertels / Cardoso / Vassiliadis | Reconfigurable Computing: Architectures and Applications | Buch | Sack Fachmedien

    Bertels / Cardoso / Vassiliadis Reconfigurable Computing: Architectures and Applications

    Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36708-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Suganthan / Das | Swarm, Evolutionary, and Memetic Computing | Buch | Sack Fachmedien

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

    5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-20293-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergeyev / Kvasov | Numerical Computations: Theory and Algorithms | Buch | Sack Fachmedien

    Sergeyev / Kvasov Numerical Computations: Theory and Algorithms

    Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-40615-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doty / Dietz | DNA Computing and Molecular Programming | Buch | Sack Fachmedien

    Doty / Dietz DNA Computing and Molecular Programming

    24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00029-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amos / Condon | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Amos / Condon Unconventional Computation and Natural Computation

    15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41311-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek | Rewriting and Typed Lambda Calculi | Buch | Sack Fachmedien

    Dowek Rewriting and Typed Lambda Calculi

    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08917-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lai / Wang / Jiang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Lai / Wang / Jiang Algorithms and Architectures for Parallel Processing

    21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95383-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lai / Wang / Jiang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Lai / Wang / Jiang Algorithms and Architectures for Parallel Processing

    21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95387-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maneth | Implementation and Application of Automata | Buch | Sack Fachmedien

    Maneth Implementation and Application of Automata

    14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02978-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brodnik / Tort | Informatics in Schools: Improvement of Informatics Knowledge and Perception | Buch | Sack Fachmedien

    Brodnik / Tort Informatics in Schools: Improvement of Informatics Knowledge and Perception

    9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46746-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Mendis / Bouzerdoum | Neural Information Processing. Models and Applications | Buch | Sack Fachmedien

    Wong / Mendis / Bouzerdoum Neural Information Processing. Models and Applications

    17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II
    2010
    Verlag: Springer
    ISBN: 978-3-642-17533-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lai / Wang / Jiang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Lai / Wang / Jiang Algorithms and Architectures for Parallel Processing

    21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95390-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Qu / Stojmenovic | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Sun / Qu / Stojmenovic Algorithms and Architectures for Parallel Processing

    14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11193-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Damiani / de Liguoro | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Damiani / de Liguoro Types for Proofs and Programs

    International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02443-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Cooper / Zhu | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Cai / Cooper / Zhu Theory and Applications of Models of Computation

    4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72503-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45230-1
    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