Ergebnisse filtern
Fachgebiet
Medium
  • 1176
  • 1150
Erscheinungsjahr
  • 12
  • 113
  • 123
  • 160
  • 138
  • 129
  • 139
  • 141
  • 146
  • 145
  • 158
  • 138
  • 144
  • 118
  • 135
  • 120
  • 121
  • 145
  • 1
Autoren
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 8
  • 2
  • 4
  • 3
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 66
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 4
  • 13
  • 6
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 10
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 6
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 6
  • 4
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 8
  • 4
  • 2
  • 7
  • 2
  • 11
  • 3
  • 15
  • 7
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 6
  • 33
  • 14
  • 8
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 17
  • 2
  • 4
  • 10
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 6
  • 5
  • 9
  • 3
  • 6
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 6
  • 5
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 6
  • 5
  • 5
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 10
  • 6
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 5
  • 13
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 12
  • 5
  • 27
  • 2
  • 2
  • 8
  • 3
  • 80
  • 2
  • 5
  • 4
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 5
  • 5
  • 5
  • 5
  • 3
  • 5
  • 8
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 6
  • 3
  • 5
  • 9
  • 4
  • 3
  • 4
  • 4
  • 11
  • 13
  • 3
  • 3
  • 7
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 10
  • 4
  • 8
  • 3
  • 3
  • 3
  • 4
  • 5
  • 19
  • 6
  • 3
  • 3
  • 8
  • 4
  • 4
  • 14
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 8
  • 4
  • 5
  • 5
  • 4
  • 7
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 8
  • 4
  • 18
  • 3
  • 3
  • 4
  • 12
  • 7
  • 4
  • 6
  • 3
  • 8
  • 3
  • 7
  • 8
  • 15
  • 5
  • 3
  • 4
  • 4
  • 8
  • 3
  • 7
  • 3
  • 15
  • 9
  • 4
  • 7
  • 6
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 7
  • 3
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 11
  • 17
  • 3
  • 5
  • 9
  • 9
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 10
  • 5
  • 7
  • 4
  • 3
  • 10
  • 3
  • 9
  • 3
  • 5
  • 8
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 22
  • 4
  • 7
  • 3
  • 4
  • 5
  • 3
  • 3
  • 26
  • 5
  • 13
  • 5
  • 8
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 59
  • 5
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 3
  • 12
  • 67
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 10
  • 5
  • 7
  • 3
  • 3
  • 4
  • 5
  • 5
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 3
  • 7
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 12
  • 8
  • 3
  • 8
  • 4
  • 3
  • 6
  • 5
  • 6
  • 3
  • 3
  • 13
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 13
  • 25
  • 16
  • 6
  • 4
  • 19
  • 6
  • 3
  • 3
  • 7
  • 4
  • 23
  • 4
  • 5
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 15
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 6
  • 3
  • 10
  • 6
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 8
  • 18
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 22
  • 10
  • 4
  • 3
  • 4
  • 3
  • 3
  • 11
  • 4
  • 25
  • 22
  • 3
  • 3
  • 3
  • 6
  • 3
  • 11
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 3
  • 18
  • 4
  • 79
  • 3
  • 25
  • 3
  • 5
  • 4
  • 3
  • 6
  • 5
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 22
  • 18
  • 14
  • 3
  • 4
  • 3
  • 12
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 8
  • 5
  • 4
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 12
  • 12
  • 12
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 5
  • 4
  • 7
  • 3
  • 4
  • 18
  • 7
  • 7
  • 3
  • 3
  • 3
  • 12
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 6
  • 3
  • 3
  • 8
  • 16
  • 5
  • 6
  • 3
  • 3
  • 3
  • 12
  • 3
  • 5
  • 5
  • 4
  • 3
  • 7
  • 3
  • 5
  • 13
  • 3
  • 9
  • 7
  • 3
  • 3
  • 4
  • 7
  • 5
  • 3
  • 3
  • 6
  • 3
  • 6
  • 3
  • 4
Verlag
  • 1145
  • 179
  • 956
  • 38
  • 8
Preis
  • 110
  • 1970
  • 246
Sprachen
  • 2326
  • 1
Verfügbarkeit
  • 2322
  • 4
Katalog
  • 2326
  • 21
2.326  Treffer  für „Theoretical Computer Science and General Issues“
    Beckmann / Tucker / Berger | Logical Approaches to Computational Barriers | Buch | Sack Fachmedien

    Beckmann / Tucker / Berger Logical Approaches to Computational Barriers

    Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35466-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Fei / Sun | Advances in Neural Networks - ISNN 2007 | Buch | Sack Fachmedien

    Liu / Fei / Sun Advances in Neural Networks - ISNN 2007

    4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72394-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Edelkamp / Bosnacki | Model Checking Software | Buch | Sack Fachmedien

    Edelkamp / Bosnacki Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ijspeert / Kusumoto / Masuzawa | Biologically Inspired Approaches to Advanced Information Technology | Buch | Sack Fachmedien

    Ijspeert / Kusumoto / Masuzawa Biologically Inspired Approaches to Advanced Information Technology

    Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-31253-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maragria / Steffen | Leveraging Applications of Formal Methods | eBook | Sack Fachmedien
    E-Book

    Maragria / Steffen Leveraging Applications of Formal Methods

    First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-48929-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tovar / Tsigas / Fouchal | Principles of Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Tovar / Tsigas / Fouchal Principles of Distributed Systems

    11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-77096-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pasareanu | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Pasareanu Model Checking Software

    16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02652-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dolev / Oltean / Haist | Optical SuperComputing | Buch | Sack Fachmedien

    Dolev / Oltean / Haist Optical SuperComputing

    First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85672-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bell / Potapov / Totzke | Reachability Problems | Buch | Sack Fachmedien

    Bell / Potapov / Totzke Reachability Problems

    15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-89715-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abate / Boldo | Numerical Software Verification | Buch | Sack Fachmedien

    Abate / Boldo Numerical Software Verification

    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63500-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Gaudel / Feliachi | Unifying Theories of Programming | eBook | Sack Fachmedien
    E-Book

    Wolff / Gaudel / Feliachi Unifying Theories of Programming

    4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-35705-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    McCarthy | Trends in Functional Programming | eBook | Sack Fachmedien
    E-Book

    McCarthy Trends in Functional Programming

    14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45340-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    McCarthy | Trends in Functional Programming | Buch | Sack Fachmedien

    McCarthy Trends in Functional Programming

    14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-642-45339-7
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tenbrink / Wood / Stell | Spatial Information Theory | Buch | Sack Fachmedien

    Tenbrink / Wood / Stell Spatial Information Theory

    11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013, Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-01789-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echahed / Minas | Graph Transformation | eBook | Sack Fachmedien
    E-Book

    Echahed / Minas Graph Transformation

    9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40530-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Abate / Boldo | Numerical Software Verification | eBook | Sack Fachmedien
    E-Book

    Abate / Boldo Numerical Software Verification

    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63501-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mäkinen / Salmela / Puglisi | Combinatorial Algorithms | Buch | Sack Fachmedien

    Mäkinen / Salmela / Puglisi Combinatorial Algorithms

    27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44542-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunkel / Balaji / Dongarra | High Performance Computing | eBook | Sack Fachmedien
    E-Book

    Kunkel / Balaji / Dongarra High Performance Computing

    31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41321-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wijs / Bošnacki / Bošnacki | Model Checking Software | Buch | Sack Fachmedien

    Wijs / Bošnacki / Bošnacki Model Checking Software

    23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-32581-1
    Medium: Buch
    53,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bereg / Zhu | Frontiers in Algorithmics | Buch | Sack Fachmedien

    Bereg / Zhu Frontiers in Algorithmics

    10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39816-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Westfechtel / Parisi-Presicce | Graph Transformation | Buch | Sack Fachmedien

    Westfechtel / Parisi-Presicce Graph Transformation

    8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21144-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guerra / Orejas | Graph Transformation | eBook | Sack Fachmedien
    E-Book

    Guerra / Orejas Graph Transformation

    12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23611-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cotta / van Hemert | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Cotta / van Hemert Evolutionary Computation in Combinatorial Optimization

    8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78603-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Auger / Fonseca / Lourenço | Parallel Problem Solving from Nature – PPSN XV | eBook | Sack Fachmedien
    E-Book

    Auger / Fonseca / Lourenço Parallel Problem Solving from Nature – PPSN XV

    15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99259-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Havelund / Majumdar / Palsberg | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85114-1
    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