Ergebnisse filtern
Fachgebiet
Medium
  • 1157
Erscheinungsjahr
  • 4
  • 66
  • 62
  • 63
  • 74
  • 75
  • 62
  • 70
  • 64
  • 79
  • 81
  • 68
  • 75
  • 62
  • 62
  • 63
  • 62
  • 65
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 40
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 3
  • 1
  • 4
  • 1
  • 1
  • 5
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 15
  • 9
  • 1
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 8
  • 1
  • 2
  • 5
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 11
  • 5
  • 2
  • 46
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 10
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 12
  • 2
  • 2
  • 11
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 36
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 42
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 4
  • 7
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 10
  • 11
  • 10
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 15
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 12
  • 12
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 2
  • 3
  • 3
  • 2
  • 11
  • 2
  • 45
  • 2
  • 17
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 15
  • 8
  • 11
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 7
  • 7
  • 6
  • 2
  • 2
  • 3
  • 3
  • 6
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
Verlag
  • 1146
  • 1
  • 10
Preis
  • 52
  • 909
  • 196
Sprachen
  • 1157
Verfügbarkeit
  • 1157
Katalog
  • 1157
  • 16
1.157  Treffer  für „Theoretical Computer Science and General Issues“
    Auger / Fonseca / Lourenço | Parallel Problem Solving from Nature - PPSN XV | Buch | Sack Fachmedien

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

    15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99258-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bošnacki / Bošnacki / Wijs | Model Checking Software | Buch | Sack Fachmedien

    Bošnacki / Bošnacki / Wijs 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
    ISBN: 978-3-319-32581-1
    Medium: Buch
    53,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ijspeert / Masuzawa / Kusumoto | Biologically Inspired Approaches to Advanced Information Technology | Buch | Sack Fachmedien

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

    Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31253-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Fournet | Trustworthy Global Computing | Buch | Sack Fachmedien

    Barthe / Fournet Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78662-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liefooghe / Paquete | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Liefooghe / Paquete Evolutionary Computation in Combinatorial Optimization

    19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-16710-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürgensen / Reis | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Jürgensen / Reis Descriptional Complexity of Formal Systems

    15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39309-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Mo | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi / Mo Advances in Swarm Intelligence

    4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38702-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Collet / Monmarché / Legrand | Artificial Evolution | Buch | Sack Fachmedien

    Collet / Monmarché / Legrand Artificial Evolution

    9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14155-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaefer / Cotta / Kolodziej | Parallel Problem Solving from Nature, PPSN XI | Buch | Sack Fachmedien

    Schaefer / Cotta / Kolodziej Parallel Problem Solving from Nature, PPSN XI

    11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15843-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Festa | Experimental Algorithms | Buch | Sack Fachmedien

    Festa Experimental Algorithms

    9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13192-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hurd / Melham | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno / Madrenas / Cosp | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Moreno / Madrenas / Cosp Evolvable Systems: From Biology to Hardware

    6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pelc | Distributed Computing | Buch | Sack Fachmedien

    Pelc Distributed Computing

    21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75141-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carlet / Sunar | Arithmetic of Finite Fields | Buch | Sack Fachmedien

    Carlet / Sunar Arithmetic of Finite Fields

    First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73073-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Bereg | Frontiers in Algorithmics | Buch | Sack Fachmedien

    Zhu / Bereg Frontiers in Algorithmics

    10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39816-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zsók / Porkoláb / Horváth | Central European Functional Programming School | Buch | Sack Fachmedien

    Zsók / Porkoláb / Horváth Central European Functional Programming School

    6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-28345-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Edelkamp | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Edelkamp Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diamantaras / Duch / Iliadis | Artificial Neural Networks - ICANN 2010 | Buch | Sack Fachmedien

    Diamantaras / Duch / Iliadis Artificial Neural Networks - ICANN 2010

    20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15818-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Napoli / Hermanns / Iliev | High-Performance Scientific Computing | Buch | Sack Fachmedien

    Di Napoli / Hermanns / Iliev High-Performance Scientific Computing

    First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-53861-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gadducci / Kehrer | Graph Transformation | Buch | Sack Fachmedien

    Gadducci / Kehrer Graph Transformation

    13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-51371-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sadayappan / Chamberlain / Juckeland | High Performance Computing | Buch | Sack Fachmedien

    Sadayappan / Chamberlain / Juckeland High Performance Computing

    35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22-25, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50742-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Idoumghar / Legrand / Liefooghe | Artificial Evolution | Buch | Sack Fachmedien

    Idoumghar / Legrand / Liefooghe Artificial Evolution

    14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29-30, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45714-3
    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
    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

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular