Ergebnisse filtern
Fachgebiet
Medium
  • 1150
  • 346
Erscheinungsjahr
  • 6
  • 80
  • 94
  • 96
  • 95
  • 86
  • 90
  • 95
  • 98
  • 100
  • 113
  • 103
  • 111
  • 68
  • 65
  • 68
  • 59
  • 69
Autoren
  • 1
  • 4
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 48
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 10
  • 2
  • 3
  • 10
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 7
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 6
  • 6
  • 9
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 3
  • 18
  • 17
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 7
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 12
  • 2
  • 8
  • 2
  • 54
  • 5
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 3
  • 7
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 10
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 19
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 16
  • 2
  • 12
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 6
  • 3
  • 2
  • 4
  • 5
  • 2
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 15
  • 2
  • 6
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 41
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 49
  • 2
  • 5
  • 4
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 8
  • 15
  • 13
  • 3
  • 6
  • 11
  • 2
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 2
  • 2
  • 17
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 10
  • 15
  • 6
  • 3
  • 2
  • 9
  • 13
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 53
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 12
  • 12
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 10
  • 4
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 10
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1308
  • 175
  • 1
  • 2
  • 10
Preis
  • 68
  • 1228
  • 200
Sprachen
  • 1496
Verfügbarkeit
  • 1496
Katalog
  • 1496
  • 16
1.496  Treffer  für „Theoretical Computer Science and General Issues“
    Giese / König | Graph Transformation | Buch | Sack Fachmedien

    Giese / König Graph Transformation

    7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09107-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cowling / Merz | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Cowling / Merz Evolutionary Computation in Combinatorial Optimization

    10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12138-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparcia-Alcazar / Ekart / Silva | Genetic Programming | Buch | Sack Fachmedien

    Esparcia-Alcazar / Ekart / Silva Genetic Programming

    13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12147-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McGeoch | Experimental Algorithms | Buch | Sack Fachmedien

    McGeoch Experimental Algorithms

    7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68548-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foret / Muskens / Pogodalla | Formal Grammar | Buch | Sack Fachmedien

    Foret / Muskens / Pogodalla Formal Grammar

    22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56342-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manna / Peled | Time for Verification | eBook | Sack Fachmedien
    E-Book

    Manna / Peled Time for Verification

    Essays in Memory of Amir Pnueli
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13754-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kalas / Mittermeir | Informatics in Schools: Contributing to 21st Century Education | Buch | Sack Fachmedien

    Kalas / Mittermeir Informatics in Schools: Contributing to 21st Century Education

    5th International Conference, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwok / Lu / Zhang | Advances in Neural Networks -- ISNN 2010 | Buch | Sack Fachmedien

    Kwok / Lu / Zhang Advances in Neural Networks -- ISNN 2010

    7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13277-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / Doya / Miyamoto | Neural Information Processing | Buch | Sack Fachmedien

    Ishikawa / Doya / Miyamoto Neural Information Processing

    14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69159-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benmansour / Sifaleras / Mladenovic | Variable Neighborhood Search | Buch | Sack Fachmedien

    Benmansour / Sifaleras / Mladenovic Variable Neighborhood Search

    7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-44931-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lutton / Legrand / Parrend | Artificial Evolution | Buch | Sack Fachmedien

    Lutton / Legrand / Parrend Artificial Evolution

    13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25-27, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78132-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | Buch | Sack Fachmedien

    Dolev / Oltean Optical Supercomputing

    4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38249-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Ulidowski | CONCUR 2012- Concurrency Theory | Buch | Sack Fachmedien

    Koutny / Ulidowski CONCUR 2012- Concurrency Theory

    23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32939-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yokota / Weiland / Keyes | High Performance Computing | Buch | Sack Fachmedien

    Yokota / Weiland / Keyes High Performance Computing

    33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92039-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeida / Blesa Aguilera / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Almeida / Blesa Aguilera / Blum Hybrid Metaheuristics

    Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46384-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yen / Polycarpou | Advances in Neural Networks - ISNN 2012 | Buch | Sack Fachmedien

    Wang / Yen / Polycarpou Advances in Neural Networks - ISNN 2012

    9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31361-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Victor | Parallel Computing Technologies | Buch | Sack Fachmedien

    Victor Parallel Computing Technologies

    8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28126-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73939-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brankovic / Ryan / Smyth | Combinatorial Algorithms | Buch | Sack Fachmedien

    Brankovic / Ryan / Smyth Combinatorial Algorithms

    28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78824-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reussner / Stafford / Szyperski | Architecting Systems with Trustworthy Components | Buch | Sack Fachmedien

    Reussner / Stafford / Szyperski Architecting Systems with Trustworthy Components

    International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35800-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov Large-Scale Scientific Computing

    11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73440-8
    Medium: Buch
    87,74 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Owens | Trends in Functional Programming | Buch | Sack Fachmedien

    Wang / Owens Trends in Functional Programming

    18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89718-9
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Priami / Quaglia | Global Computing | Buch | Sack Fachmedien

    Priami / Quaglia Global Computing

    IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24101-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arik / Huang / Lai | Neural Information Processing | Buch | Sack Fachmedien

    Arik / Huang / Lai Neural Information Processing

    22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer / Geldenhuys | Model Checking Software | Buch | Sack Fachmedien

    Fischer / Geldenhuys Model Checking Software

    22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23403-8
    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