Ergebnisse filtern
Fachgebiet
Medium
  • 1187
  • 1154
Erscheinungsjahr
  • 12
  • 112
  • 129
  • 149
  • 142
  • 127
  • 135
  • 140
  • 141
  • 163
  • 159
  • 137
  • 141
  • 136
  • 142
  • 123
  • 115
  • 137
  • 1
Autoren
  • 2
  • 4
  • 2
  • 3
  • 2
  • 10
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 12
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 65
  • 3
  • 2
  • 2
  • 3
  • 5
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 16
  • 2
  • 6
  • 2
  • 2
  • 18
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 4
  • 4
  • 5
  • 3
  • 5
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 12
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 13
  • 4
  • 2
  • 5
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 3
  • 3
  • 15
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 4
  • 7
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 8
  • 4
  • 2
  • 4
  • 36
  • 12
  • 7
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 4
  • 18
  • 2
  • 2
  • 9
  • 2
  • 3
  • 10
  • 2
  • 2
  • 4
  • 4
  • 8
  • 2
  • 2
  • 6
  • 6
  • 8
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 10
  • 7
  • 6
  • 4
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 16
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 8
  • 2
  • 27
  • 2
  • 9
  • 2
  • 76
  • 2
  • 6
  • 4
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 5
  • 6
  • 5
  • 3
  • 4
  • 4
  • 3
  • 7
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 5
  • 5
  • 6
  • 3
  • 4
  • 5
  • 6
  • 3
  • 8
  • 11
  • 3
  • 7
  • 7
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 5
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 4
  • 3
  • 9
  • 3
  • 8
  • 13
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 7
  • 3
  • 4
  • 18
  • 5
  • 3
  • 3
  • 8
  • 7
  • 5
  • 5
  • 3
  • 8
  • 5
  • 4
  • 9
  • 11
  • 5
  • 3
  • 4
  • 5
  • 10
  • 3
  • 4
  • 4
  • 3
  • 3
  • 12
  • 8
  • 6
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 7
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 9
  • 13
  • 3
  • 6
  • 7
  • 3
  • 8
  • 4
  • 5
  • 4
  • 3
  • 6
  • 8
  • 3
  • 6
  • 4
  • 3
  • 11
  • 5
  • 12
  • 4
  • 9
  • 4
  • 7
  • 6
  • 4
  • 5
  • 3
  • 4
  • 3
  • 21
  • 8
  • 4
  • 4
  • 3
  • 3
  • 27
  • 4
  • 3
  • 3
  • 7
  • 6
  • 5
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 56
  • 5
  • 3
  • 3
  • 3
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 6
  • 11
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 66
  • 3
  • 5
  • 3
  • 5
  • 4
  • 4
  • 3
  • 8
  • 7
  • 8
  • 4
  • 6
  • 6
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 11
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 7
  • 9
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 4
  • 4
  • 5
  • 3
  • 4
  • 4
  • 17
  • 7
  • 5
  • 4
  • 5
  • 6
  • 3
  • 4
  • 3
  • 9
  • 4
  • 3
  • 8
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 7
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 4
  • 15
  • 23
  • 11
  • 3
  • 5
  • 4
  • 9
  • 9
  • 6
  • 3
  • 4
  • 30
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 20
  • 5
  • 9
  • 3
  • 7
  • 7
  • 3
  • 6
  • 3
  • 3
  • 11
  • 3
  • 9
  • 4
  • 9
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 9
  • 19
  • 3
  • 3
  • 3
  • 6
  • 4
  • 7
  • 3
  • 3
  • 4
  • 5
  • 20
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 14
  • 22
  • 24
  • 3
  • 3
  • 4
  • 5
  • 4
  • 9
  • 8
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 18
  • 74
  • 5
  • 25
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 5
  • 3
  • 5
  • 17
  • 17
  • 18
  • 3
  • 3
  • 3
  • 12
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 13
  • 13
  • 14
  • 3
  • 7
  • 5
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 4
  • 7
  • 3
  • 3
  • 18
  • 10
  • 7
  • 3
  • 7
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 5
  • 3
  • 6
  • 14
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
Verlag
  • 1158
  • 193
  • 945
  • 40
  • 5
Preis
  • 104
  • 1994
  • 243
Sprachen
  • 2341
  • 1
Verfügbarkeit
  • 2337
  • 4
Katalog
  • 2341
  • 20
2.341  Treffer  für „Theoretical Computer Science and General Issues“
    Cheng / Ozawa / Leung | Neural Information Processing | Buch | Sack Fachmedien

    Cheng / Ozawa / Leung Neural Information Processing

    25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VII
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-04238-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deng / Xue / Hopcroft | Frontiers in Algorithmics | Buch | Sack Fachmedien

    Deng / Xue / Hopcroft Frontiers in Algorithmics

    Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02269-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Zavattaro | CONCUR 2009 - Concurrency Theory | Buch | Sack Fachmedien

    Bravetti / Zavattaro CONCUR 2009 - Concurrency Theory

    20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04080-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keidar | Distributed Computing | Buch | Sack Fachmedien

    Keidar Distributed Computing

    23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04354-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oltean / Dolev | Optical Supercomputing | Buch | Sack Fachmedien

    Oltean / Dolev Optical Supercomputing

    Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10441-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson / Kaklamanis | Trustworthy Global Computing | Buch | Sack Fachmedien

    Nielson / Kaklamanis Trustworthy Global Computing

    4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-00944-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Gaspero / Schaerf | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Blum / Gaspero / Schaerf Hybrid Metaheuristics

    6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04917-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Landau / Ferragina | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Landau / Ferragina Combinatorial Pattern Matching

    19th Annual Symposium, CPM 2008 Pisa, Italy, June 18-20, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69066-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preparata / Fang | Frontiers in Algorithmics | Buch | Sack Fachmedien

    Preparata / Fang Frontiers in Algorithmics

    First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73813-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12534-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahin / Winfield / Spears | Swarm Robotics | Buch | Sack Fachmedien

    Sahin / Winfield / Spears Swarm Robotics

    Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higashino | Principles of Distributed Systems | Buch | Sack Fachmedien

    Higashino Principles of Distributed Systems

    8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27324-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freivalds / Arge | Algorithm Theory - SWAT 2006 | Buch | Sack Fachmedien

    Freivalds / Arge Algorithm Theory - SWAT 2006

    10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wright / Schmitt / Vose | Foundations of Genetic Algorithms | Buch | Sack Fachmedien

    Wright / Schmitt / Vose Foundations of Genetic Algorithms

    8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27237-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aluru / Prasanna / Parashar | High Performance Computing - HiPC 2007 | Buch | Sack Fachmedien

    Aluru / Prasanna / Parashar High Performance Computing - HiPC 2007

    14th International Conference, Goa, India, December 18-21, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77219-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Labarta / Sato / Joe | High-Performance Computing | Buch | Sack Fachmedien

    Labarta / Sato / Joe High-Performance Computing

    6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roggenbach | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Roggenbach Recent Trends in Algebraic Development Techniques

    25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-73784-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mladenovic / Omar / Sleptchenko | Variable Neighborhood Search | Buch | Sack Fachmedien

    Mladenovic / Omar / Sleptchenko Variable Neighborhood Search

    8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-69624-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis | Experimental Algorithms | Buch | Sack Fachmedien

    Bampis Experimental Algorithms

    14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20085-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Houdt / Agha | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Van Houdt / Agha Quantitative Evaluation of Systems

    13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43424-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hage / Serrano | Trends in Functional Programming | Buch | Sack Fachmedien

    Hage / Serrano Trends in Functional Programming

    16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39109-0
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-62931-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber / Lambers | Graph Transformation | Buch | Sack Fachmedien

    Weber / Lambers Graph Transformation

    11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92990-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Schloer / Karl / Yehia | Architecture of Computing Systems - ARCS 2010 | eBook | Sack Fachmedien
    E-Book

    Müller-Schloer / Karl / Yehia Architecture of Computing Systems - ARCS 2010

    23rd International Conference, Hannover, Germany, February 22-25, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11950-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Van Eekelen / Geuvers / Schmaltz | Interactive Theorem Proving | eBook | Sack Fachmedien
    E-Book

    Van Eekelen / Geuvers / Schmaltz Interactive Theorem Proving

    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22863-6
    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