Ergebnisse filtern
Fachgebiet
Medium
  • 2050
  • 1
Erscheinungsjahr
  • 52
  • 143
  • 187
  • 76
  • 82
  • 69
  • 43
  • 52
  • 62
  • 31
  • 55
  • 33
  • 42
  • 60
  • 62
  • 45
  • 20
  • 36
  • 49
  • 134
  • 134
  • 56
  • 25
  • 54
  • 25
  • 32
  • 18
  • 18
  • 43
  • 38
  • 41
  • 45
  • 43
  • 36
  • 25
  • 23
  • 15
  • 21
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 9
  • 2
  • 14
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 18
  • 2
  • 5
  • 6
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 24
  • 5
  • 2
  • 8
  • 2
  • 3
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 27
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 24
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 5
  • 5
  • 4
  • 2
  • 5
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 28
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 7
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 19
  • 2
  • 3
  • 2
  • 8
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 77
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 31
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 11
  • 4
  • 3
  • 4
  • 4
  • 2
  • 31
  • 4
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 4
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 9
  • 17
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 30
  • 3
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 14
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 24
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 76
  • 6
  • 5
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 4
  • 2
  • 76
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 12
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 5
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 8
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 4
  • 8
  • 4
  • 24
  • 3
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 76
  • 5
  • 3
  • 5
  • 5
  • 3
  • 5
  • 6
  • 3
  • 8
  • 38
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 8
  • 14
  • 12
  • 5
  • 5
  • 5
  • 6
  • 5
  • 3
  • 6
  • 9
  • 14
  • 10
  • 3
  • 3
  • 6
  • 15
  • 9
  • 5
  • 4
  • 4
  • 3
  • 4
  • 16
  • 4
  • 5
  • 29
  • 9
  • 3
  • 9
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 7
Verlag
  • 1
  • 2
  • 2010
  • 1
  • 1
  • 13
  • 4
  • 3
  • 14
  • 1
  • 1
Preis
  • 1
  • 30
  • 1066
  • 954
Sprachen
  • 2051
Verfügbarkeit
  • 2049
  • 2
Eigenschaften
  • 2
Katalog
  • 2051
  • 132
2.051  Treffer  für „Lecture Notes in Computer Science“
    Dehne / Fiala / Koczkodaj | Advances in Computing and Information - ICCI '91 | Buch | Sack Fachmedien

    Dehne / Fiala / Koczkodaj Advances in Computing and Information - ICCI '91

    International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54029-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Zurada | Advances in Neural Networks - ISNN 2006 /3 | Buch | Sack Fachmedien

    Wang / Yi / Zurada Advances in Neural Networks - ISNN 2006 /3

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-34482-7
    Medium: Buch
    129,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali / Kwon / Lee | Current Approaches in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Ali / Kwon / Lee Current Approaches in Applied Artificial Intelligence

    28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19065-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butz / Sigaud / Pezzulo | Anticipatory Behavior in Adaptive Learning Systems | Buch | Sack Fachmedien

    Butz / Sigaud / Pezzulo Anticipatory Behavior in Adaptive Learning Systems

    From Brains to Individual and Social Behavior
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74261-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grundy / Newey | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Grundy / Newey Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64987-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwenker / Marinai | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    Schwenker / Marinai Artificial Neural Networks in Pattern Recognition

    Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37951-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlbach | GWAI-92: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Ohlbach GWAI-92: Advances in Artificial Intelligence

    16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56667-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donald | Error Detection and Recovery in Robotics | Buch | Sack Fachmedien

    Donald Error Detection and Recovery in Robotics

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-0-387-96909-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lazo / Sanfeliu | Progress in Pattern Recognition, Image Analysis and Applications | Buch | Sack Fachmedien

    Lazo / Sanfeliu Progress in Pattern Recognition, Image Analysis and Applications

    10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29850-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furukawa / Tanaka / Fujisaki | Logic Programming '87 | Buch | Sack Fachmedien

    Furukawa / Tanaka / Fujisaki Logic Programming '87

    Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19426-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ossowski | Co-ordination in Artificial Agent Societies | Buch | Sack Fachmedien

    Ossowski Co-ordination in Artificial Agent Societies

    Social Structures and Its Implications for Autonomous Problem-Solving Agents
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65495-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bancilhon / Thanos / Tsichritzis | Advances in Database Technology - EDBT '90 | Buch | Sack Fachmedien

    Bancilhon / Thanos / Tsichritzis Advances in Database Technology - EDBT '90

    International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings.
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52291-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann / Kang / Richards | Advances in Knowledge Acquisition and Management | Buch | Sack Fachmedien

    Hoffmann / Kang / Richards Advances in Knowledge Acquisition and Management

    Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68955-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meier / Mast / Luperfoy | Dialogue Processing in Spoken Language Systems | Buch | Sack Fachmedien

    Meier / Mast / Luperfoy Dialogue Processing in Spoken Language Systems

    ECAI'96, Workshop, Budapest, Hungary, August 13, 1996, Revised Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchon-Meunier / Yager / Zadeh | Advances in Intelligent Computing - IPMU '94 | Buch | Sack Fachmedien

    Bouchon-Meunier / Yager / Zadeh Advances in Intelligent Computing - IPMU '94

    5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60116-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pirotte / Delobel / Gottlob | Advances in Database Technology - EDBT '92 | Buch | Sack Fachmedien

    Pirotte / Delobel / Gottlob Advances in Database Technology - EDBT '92

    3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55270-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Chai | Advances in Swarm Intelligence, Part II | Buch | Sack Fachmedien

    Tan / Shi / Chai Advances in Swarm Intelligence, Part II

    Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21523-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akman | Unobstructed Shortest Paths in Polyhedral Environments | Buch | Sack Fachmedien

    Akman Unobstructed Shortest Paths in Polyhedral Environments

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17629-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Fei / Hou | Advances in Neural Networks - ISNN 2007 | Buch | Sack Fachmedien

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

    4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72394-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali / Bosse / Hindriks | Recent Trends in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Ali / Bosse / Hindriks Recent Trends in Applied Artificial Intelligence

    26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38576-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freitag / Decker / Kifer | Transactions and Change in Logic Databases | Buch | Sack Fachmedien

    Freitag / Decker / Kifer Transactions and Change in Logic Databases

    International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97)
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65305-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahaman / Chattopadhyay | Progress in VLSI Design and Test | Buch | Sack Fachmedien

    Rahaman / Chattopadhyay Progress in VLSI Design and Test

    16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31493-3
    Medium: Buch
    53,49 € (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
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schek / Saltor / Ramos | Advances in Database Technology - EDBT '98 | Buch | Sack Fachmedien

    Schek / Saltor / Ramos Advances in Database Technology - EDBT '98

    6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64264-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