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“
    Skrzypczak / Hofman | Developments in Language Theory | Buch | Sack Fachmedien

    Skrzypczak / Hofman Developments in Language Theory

    23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24885-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hannig / Cardoso / Teich | Architecture of Computing Systems -- ARCS 2016 | Buch | Sack Fachmedien

    Hannig / Cardoso / Teich Architecture of Computing Systems -- ARCS 2016

    29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30694-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colbourn / Pisanti / Grossi | Combinatorial Algorithms | Buch | Sack Fachmedien

    Colbourn / Pisanti / Grossi Combinatorial Algorithms

    30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25004-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí-Oliet / Palomino | Recent Trends in Algebraic Development Techniques | eBook | Sack Fachmedien
    E-Book

    Martí-Oliet / Palomino Recent Trends in Algebraic Development Techniques

    21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-37635-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tan / Shi | Advances in Swarm Intelligence | eBook | Sack Fachmedien
    E-Book

    Tan / Shi Advances in Swarm Intelligence

    12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-78811-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bansal / Finocchi | Algorithms - ESA 2015 | eBook | Sack Fachmedien
    E-Book

    Bansal / Finocchi Algorithms - ESA 2015

    23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48350-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hunold / Lankes / Costan | Euro-Par 2015: Parallel Processing Workshops | Buch | Sack Fachmedien

    Hunold / Lankes / Costan Euro-Par 2015: Parallel Processing Workshops

    Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27307-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marinaro / Scarpetta / Yamaguchi | Dynamic Brain - from Neural Spikes to Behaviors | Buch | Sack Fachmedien

    Marinaro / Scarpetta / Yamaguchi Dynamic Brain - from Neural Spikes to Behaviors

    12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-88852-9
    Medium: Buch
    39,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preparata / Yin / Wu | Frontiers in Algorithmics | Buch | Sack Fachmedien

    Preparata / Yin / Wu Frontiers in Algorithmics

    Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69310-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gedeon / Wong / Lee | Neural Information Processing | eBook | Sack Fachmedien
    E-Book

    Gedeon / Wong / Lee Neural Information Processing

    26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part I
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36708-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kulikov / Goldberg | Experimental Algorithms | Buch | Sack Fachmedien

    Kulikov / Goldberg Experimental Algorithms

    15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-38850-2
    Medium: Buch
    53,49 € (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
    Sekanina / Hu / García-Sánchez | Genetic Programming | Buch | Sack Fachmedien

    Sekanina / Hu / García-Sánchez Genetic Programming

    22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-16669-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekanina / Hu / Lourenço | Genetic Programming | eBook | Sack Fachmedien
    E-Book

    Sekanina / Hu / Lourenço Genetic Programming

    22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-16670-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Soloviev / Asher | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Soloviev / Asher Logical Aspects of Computational Linguistics

    8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-43741-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winkler | Algebraic Informatics | Buch | Sack Fachmedien

    Winkler Algebraic Informatics

    4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-21492-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Takahashi / Deb / Wanner | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Takahashi / Deb / Wanner Evolutionary Multi-Criterion Optimization

    6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19892-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Fornaciari / Brinkschulte | Architecture of Computing Systems - ARCS 2011 | Buch | Sack Fachmedien

    Berekovic / Fornaciari / Brinkschulte Architecture of Computing Systems - ARCS 2011

    24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-19136-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gudmundsson | Algorithm Theory - SWAT 2008 | Buch | Sack Fachmedien

    Gudmundsson Algorithm Theory - SWAT 2008

    11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-69900-2
    Medium: Buch
    99,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Talbi / Liardet / Collet | Artificial Evolution | Buch | Sack Fachmedien

    Talbi / Liardet / Collet Artificial Evolution

    7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33589-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Eekelen / Geuvers / Schmaltz | Interactive Theorem Proving | Buch | Sack Fachmedien

    Van Eekelen / Geuvers / Schmaltz Interactive Theorem Proving

    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22862-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apostolico / Park / Crochemore | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Apostolico / Park / Crochemore Combinatorial Pattern Matching

    16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26201-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Hurd | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Melham / Hurd Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28372-0
    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