Ergebnisse filtern
Fachgebiet
Medium
  • 1857
  • 1
Erscheinungsjahr
  • 1
  • 119
  • 87
  • 90
  • 73
  • 45
  • 62
  • 71
  • 29
  • 59
  • 41
  • 48
  • 55
  • 51
  • 43
  • 19
  • 36
  • 55
  • 124
  • 147
  • 65
  • 25
  • 50
  • 23
  • 33
  • 19
  • 17
  • 48
  • 40
  • 43
  • 47
  • 43
  • 34
  • 25
  • 26
  • 17
  • 22
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 7
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 2
  • 3
  • 8
  • 4
  • 2
  • 19
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 20
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 7
  • 6
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 8
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 8
  • 5
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 17
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 15
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 2
  • 2
  • 32
  • 5
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 9
  • 4
  • 3
  • 5
  • 6
  • 2
  • 29
  • 5
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 18
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 28
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 12
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 9
  • 3
  • 2
  • 4
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 7
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 14
  • 7
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 14
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 14
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 8
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 8
  • 2
  • 36
  • 4
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 9
  • 12
  • 2
  • 5
  • 5
  • 2
  • 5
  • 3
  • 2
  • 4
  • 6
  • 9
  • 12
  • 2
  • 10
  • 2
  • 2
  • 6
  • 6
  • 9
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 3
  • 2
  • 2
  • 28
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 9
  • 5
Verlag
  • 4
  • 386
  • 756
  • 8
  • 254
  • 322
  • 91
  • 16
  • 1
  • 3
  • 1
  • 12
  • 1
  • 3
Preis
  • 1
  • 30
  • 983
  • 844
Sprachen
  • 1858
Verfügbarkeit
  • 1855
  • 3
Katalog
  • 1858
  • 144
1.858  Treffer  für „Lecture Notes in Computer Science“
    Krishnaswamy / Raz / Pfeifer | Real-Time Mobile Multimedia Services | Buch | Sack Fachmedien

    Krishnaswamy / Raz / Pfeifer Real-Time Mobile Multimedia Services

    10th IFIP/IEEE International Conference on Management, of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75868-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Principles and Practice of Constraint Programming - CP97 | Buch | Sack Fachmedien

    Smolka Principles and Practice of Constraint Programming - CP97

    Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63753-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nipkow Rewriting Techniques and Applications

    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovacs / Llorà / Wilson | Learning Classifier Systems | Buch | Sack Fachmedien

    Kovacs / Llorà / Wilson Learning Classifier Systems

    International Workshops, IWLCS 2003-2005, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71230-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sandoval / Graña / Prieto | Computational and Ambient Intelligence | Buch | Sack Fachmedien

    Sandoval / Graña / Prieto Computational and Ambient Intelligence

    9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73006-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helmy / Pfeifer / Jennings | Autonomic Management of Mobile Multimedia Services | Buch | Sack Fachmedien

    Helmy / Pfeifer / Jennings Autonomic Management of Mobile Multimedia Services

    9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-47654-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Maluszynski / Lorho | Programming Languages Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Maluszynski / Lorho Programming Languages Implementation and Logic Programming

    International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50820-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Das / Stojmenovic | Mobile Ad-hoc and Sensor Networks | Buch | Sack Fachmedien

    Cao / Das / Stojmenovic Mobile Ad-hoc and Sensor Networks

    Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-49932-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Zemor / Litsyn | Algebraic Coding | Buch | Sack Fachmedien

    Cohen / Zemor / Litsyn Algebraic Coding

    First French-Soviet Workshop, Paris, July 22-24, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55130-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choudhury / Suginuma / Quigley | Location and Context Awareness | Buch | Sack Fachmedien

    Choudhury / Suginuma / Quigley Location and Context Awareness

    4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01720-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomez-Sanz / Luck | Agent-Oriented Software Engineering IX | Buch | Sack Fachmedien

    Gomez-Sanz / Luck Agent-Oriented Software Engineering IX

    9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-01337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baltes / Shiry / Lagoudakis | RoboCup 2009: Robot Soccer World Cup XIII | Buch | Sack Fachmedien

    Baltes / Shiry / Lagoudakis RoboCup 2009: Robot Soccer World Cup XIII

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11875-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sendhoff / Körner / Sporns | Creating Brain-Like Intelligence | Buch | Sack Fachmedien

    Sendhoff / Körner / Sporns Creating Brain-Like Intelligence

    From Basic Principles to Complex Intelligent Systems
    2009
    Verlag: Springer
    ISBN: 978-3-642-00615-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casares-Giner / Manzoni / Pont | NETWORKING 2011 Workshops | Buch | Sack Fachmedien

    Casares-Giner / Manzoni / Pont NETWORKING 2011 Workshops

    International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers
    2011
    Verlag: Springer
    ISBN: 978-3-642-23040-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lehnert | Energy-Aware Communications | Buch | Sack Fachmedien

    Lehnert Energy-Aware Communications

    17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-23540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dix / Przymusinski / Moniz Pereira | Non-Monotonic Extensions of Logic Programming | Buch | Sack Fachmedien

    Dix / Przymusinski / Moniz Pereira Non-Monotonic Extensions of Logic Programming

    Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62843-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Covaci | Active Networks | Buch | Sack Fachmedien

    Covaci Active Networks

    First International Working Conference, IWAN'99, Berlin, Germany, June 30 - July 2, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66238-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Schmitt / Hähnle | Verification of Object-Oriented Software. The KeY Approach | Buch | Sack Fachmedien

    Beckert / Schmitt / Hähnle Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swart / Roubens / Orlowska | Theory and Applications of Relational Structures as Knowledge Instruments II | Buch | Sack Fachmedien

    Swart / Roubens / Orlowska Theory and Applications of Relational Structures as Knowledge Instruments II

    International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69223-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Luck | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Padgham / Luck Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swierstra / Hermenegildo | Programming Languages: Implementations, Logics and Programs | Buch | Sack Fachmedien

    Swierstra / Hermenegildo Programming Languages: Implementations, Logics and Programs

    7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60359-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weske / Godart / Hacid | Web Information Systems Engineering ¿ WISE 2007 Workshops | Buch | Sack Fachmedien

    Weske / Godart / Hacid Web Information Systems Engineering ¿ WISE 2007 Workshops

    WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77009-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moniz Pereira / Alferes | Reasoning with Logic Programming | Buch | Sack Fachmedien

    Moniz Pereira / Alferes Reasoning with Logic Programming

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61488-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jampel / Maher / Freuder | Over-Constrained Systems | Buch | Sack Fachmedien

    Jampel / Maher / Freuder Over-Constrained Systems

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coppo / Berardi | Types for Proofs and Programs | Buch | Sack Fachmedien

    Coppo / Berardi Types for Proofs and Programs

    International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61780-8
    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