Ergebnisse filtern
Fachgebiet
Medium
  • 8196
Erscheinungsjahr
  • 297
  • 621
  • 486
  • 303
  • 304
  • 318
  • 301
  • 291
  • 311
  • 297
  • 290
  • 302
  • 222
  • 44
  • 74
  • 221
  • 219
  • 214
  • 145
  • 214
  • 323
  • 285
  • 243
  • 245
  • 175
  • 169
  • 126
  • 141
  • 131
  • 114
  • 111
  • 92
  • 72
  • 83
  • 56
  • 54
  • 44
  • 45
  • 31
  • 27
  • 17
  • 12
  • 14
  • 25
  • 18
  • 11
  • 7
  • 12
  • 10
  • 13
  • 12
  • 4
Autoren
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 6
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 14
  • 3
  • 20
  • 4
  • 3
  • 38
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 6
  • 6
  • 3
  • 5
  • 5
  • 4
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 39
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 12
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 9
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 24
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 14
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 3
  • 3
  • 5
  • 8
  • 4
  • 5
  • 3
  • 6
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 9
  • 4
  • 4
  • 10
  • 5
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 39
  • 13
  • 9
  • 5
  • 3
  • 4
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 9
  • 5
  • 4
  • 8
  • 4
  • 3
  • 3
  • 8
  • 4
  • 5
  • 6
  • 4
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 7
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 8
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 7
  • 4
  • 5
  • 12
  • 11
  • 4
  • 8
  • 6
  • 4
  • 6
  • 20
  • 4
  • 11
  • 10
  • 4
  • 8
  • 7
  • 4
  • 4
  • 15
  • 4
  • 8
  • 4
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 11
  • 8
  • 8
  • 6
  • 4
  • 4
  • 8
  • 6
  • 10
  • 6
  • 4
  • 4
  • 5
  • 6
  • 7
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 8
  • 14
  • 4
  • 11
  • 4
  • 4
  • 8
  • 7
  • 8
  • 5
  • 7
  • 13
  • 5
  • 5
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 5
  • 6
  • 6
  • 4
  • 8
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 9
  • 6
  • 5
  • 37
  • 32
  • 8
  • 9
  • 4
  • 8
  • 10
  • 4
  • 4
  • 24
  • 11
  • 5
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 20
  • 5
  • 6
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 10
  • 43
  • 8
  • 4
  • 5
  • 9
  • 4
  • 11
  • 10
  • 4
  • 5
  • 6
  • 8
  • 4
  • 10
  • 10
  • 4
  • 5
  • 7
  • 6
  • 5
  • 8
  • 4
  • 5
  • 6
  • 4
  • 11
  • 33
  • 16
  • 4
  • 17
  • 20
  • 70
  • 4
  • 7
  • 5
  • 5
  • 5
  • 11
  • 4
  • 8
  • 9
  • 5
  • 5
  • 14
  • 5
  • 4
  • 4
  • 6
  • 10
  • 4
  • 28
  • 5
  • 6
  • 4
  • 5
  • 7
  • 11
  • 9
  • 39
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 15
  • 4
  • 4
  • 4
  • 23
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 12
  • 4
  • 5
  • 12
  • 4
  • 5
  • 4
  • 4
  • 15
  • 5
  • 5
  • 6
  • 5
  • 4
  • 6
  • 14
  • 13
  • 9
  • 13
  • 7
  • 13
  • 8
  • 12
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 10
  • 6
  • 4
  • 5
  • 8
  • 4
  • 9
  • 11
  • 21
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 10
  • 4
  • 9
  • 5
  • 5
  • 8
  • 18
  • 5
  • 18
  • 6
  • 4
  • 15
  • 6
  • 4
  • 8
  • 9
  • 4
  • 4
  • 24
  • 4
  • 19
  • 36
  • 10
  • 6
  • 4
  • 7
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 5
  • 6
  • 8
  • 13
  • 4
  • 7
  • 8
  • 4
  • 10
  • 7
  • 9
  • 4
  • 4
  • 9
  • 8
  • 6
  • 4
  • 6
  • 11
  • 4
  • 10
  • 21
  • 4
  • 4
  • 8
  • 5
  • 6
  • 5
  • 4
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 4
  • 5
  • 5
  • 10
  • 4
  • 16
  • 4
  • 34
  • 15
  • 4
  • 5
  • 4
  • 5
  • 13
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 11
  • 18
  • 5
  • 10
  • 6
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 38
  • 4
  • 11
  • 4
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 62
  • 6
  • 4
  • 7
  • 5
  • 9
  • 6
  • 4
  • 9
  • 34
  • 5
  • 8
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 6
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 10
  • 5
  • 11
  • 9
  • 8
  • 5
  • 13
  • 7
  • 12
  • 5
  • 4
  • 6
  • 4
  • 4
  • 18
  • 12
  • 5
  • 7
  • 7
  • 4
  • 16
  • 5
  • 8
  • 13
  • 8
  • 6
  • 4
  • 9
  • 13
  • 7
  • 4
  • 4
  • 11
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 8
  • 5
  • 4
  • 12
  • 6
  • 4
  • 4
  • 8
  • 20
  • 9
  • 5
  • 4
  • 7
  • 12
  • 6
  • 6
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 7
  • 9
  • 7
  • 8
  • 4
  • 8
  • 5
  • 18
  • 5
  • 4
  • 6
  • 48
  • 4
  • 10
  • 6
  • 9
  • 5
  • 4
  • 4
  • 12
  • 4
  • 8
  • 7
  • 9
  • 13
  • 16
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 4
  • 6
  • 8
  • 5
  • 10
  • 4
  • 13
  • 7
  • 7
  • 4
  • 6
  • 8
  • 4
  • 7
  • 7
  • 11
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 7
  • 6
  • 4
  • 4
  • 13
  • 6
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 5
  • 8
  • 7
  • 11
  • 7
  • 10
  • 19
  • 6
  • 33
  • 9
  • 4
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 8
  • 14
  • 10
  • 9
  • 14
  • 6
  • 11
  • 16
  • 51
  • 14
  • 18
  • 9
  • 6
  • 20
  • 4
  • 5
  • 5
  • 42
  • 9
  • 16
  • 9
  • 4
  • 4
  • 10
  • 13
  • 4
  • 5
  • 11
  • 7
  • 4
  • 4
  • 7
  • 6
  • 7
  • 4
  • 5
  • 4
  • 10
  • 6
  • 5
  • 4
  • 5
  • 8
  • 7
  • 7
  • 25
  • 4
  • 14
  • 13
  • 7
  • 6
  • 6
  • 5
  • 18
  • 6
  • 4
  • 9
  • 15
  • 9
  • 8
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 9
  • 18
  • 6
  • 13
  • 4
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 5
  • 4
  • 6
  • 5
  • 6
  • 32
  • 8
  • 5
  • 4
  • 19
  • 16
  • 4
  • 45
  • 7
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 6
  • 20
  • 16
  • 8
  • 8
  • 5
  • 4
  • 10
Verlag
  • 1050
  • 3406
  • 2670
  • 1
  • 1
  • 97
  • 870
  • 101
Preis
  • 40
  • 342
  • 6400
  • 1414
Sprachen
  • 8191
  • 16
  • 14
Verfügbarkeit
  • 8169
  • 27
Katalog
  • 8196
  • 490
8.196  Treffer  für „Lecture Notes in Computer Science“
    Guelfi | Rapid Integration of Software Engineering Techniques | Buch | Sack Fachmedien

    Guelfi Rapid Integration of Software Engineering Techniques

    First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25812-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gellersen / Schmidt / Want | Pervasive Computing | Buch | Sack Fachmedien

    Gellersen / Schmidt / Want Pervasive Computing

    Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26008-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauber / Tjoa / Christodoulakis | Research and Advanced Technology for Digital Libraries | Buch | Sack Fachmedien

    Rauber / Tjoa / Christodoulakis Research and Advanced Technology for Digital Libraries

    9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28767-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yung / Patrick | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Yung / Patrick Financial Cryptography and Data Security

    9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26656-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallagher / Maire / Hogan | Intelligent Data Engineering and Automated Learning - IDEAL 2005 | Buch | Sack Fachmedien

    Gallagher / Maire / Hogan Intelligent Data Engineering and Automated Learning - IDEAL 2005

    6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26972-4
    Medium: Buch
    106,99 € (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
    Costa / d'Amato / Fanizzi | Uncertainty Reasoning for the Semantic Web I | Buch | Sack Fachmedien

    Costa / d'Amato / Fanizzi Uncertainty Reasoning for the Semantic Web I

    ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89764-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Zhang | Secure Transaction Protocol Analysis | Buch | Sack Fachmedien

    Chen / Zhang Secure Transaction Protocol Analysis

    Models and Applications
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85073-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petkovic / Jonker | Secure Data Management | Buch | Sack Fachmedien

    Petkovic / Jonker Secure Data Management

    5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85258-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adve / Petersen / Garzarán | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Adve / Petersen / Garzarán Languages and Compilers for Parallel Computing

    20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85260-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruschi / Flegel | Detection of Intrusions and Malware, and Vulnerability Assessment | Buch | Sack Fachmedien

    Bruschi / Flegel Detection of Intrusions and Malware, and Vulnerability Assessment

    6th International Conference, DIMVA 2009, Milan, Italy, July 9-10, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02917-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lukose | Multi-Agent Systems for Society | Buch | Sack Fachmedien

    Lukose Multi-Agent Systems for Society

    8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-03337-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papazoglou / Metzger / Pohl | Service Research Challenges and Solutions for the Future Internet | Buch | Sack Fachmedien

    Papazoglou / Metzger / Pohl Service Research Challenges and Solutions for the Future Internet

    S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17598-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daescu / Wu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Daescu / Wu Combinatorial Optimization and Applications

    4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17457-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Vinciarelli / Nijholt | Analysis of Verbal and Nonverbal Communication and Enactment.The Processing Issues | Buch | Sack Fachmedien

    Esposito / Vinciarelli / Nijholt Analysis of Verbal and Nonverbal Communication and Enactment.The Processing Issues

    COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers
    2011
    Verlag: Springer
    ISBN: 978-3-642-25774-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caivano / Visaggio / Oivo | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Caivano / Visaggio / Oivo Product-Focused Software Process Improvement

    12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-21842-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Musuvathi / Groce | Model Checking Software | Buch | Sack Fachmedien

    Musuvathi / Groce Model Checking Software

    18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22305-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang / Mueller / Hwang | Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications | Buch | Sack Fachmedien

    Chang / Mueller / Hwang Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications

    6th International Conference on E-learning and Games, Edutainment 2011, Taipei, Taiwan, September 7-9, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-23455-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakai / Chakraborty / Slezak | Transactions on Rough Sets XIV | Buch | Sack Fachmedien

    Sakai / Chakraborty / Slezak Transactions on Rough Sets XIV

    2011
    Verlag: Springer
    ISBN: 978-3-642-21562-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Hermann | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Hermann Logic for Programming, Artificial Intelligence, and Reasoning

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tari | On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE | Buch | Sack Fachmedien

    Tari On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

    OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48274-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morvan / Bouchitte | Orders, Algorithms and Applications | Buch | Sack Fachmedien

    Morvan / Bouchitte Orders, Algorithms and Applications

    International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58274-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Melham | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Algorithms - ESA '94 | Buch | Sack Fachmedien

    Leeuwen Algorithms - ESA '94

    Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58434-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kloks | Treewidth | Buch | Sack Fachmedien

    Kloks Treewidth

    Computations and Approximations
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58356-1
    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