Ergebnisse filtern
Fachgebiet
Medium
  • 1256
Erscheinungsjahr
  • 2
  • 61
  • 115
  • 17
  • 15
  • 3
  • 4
  • 14
  • 7
  • 13
  • 15
  • 18
  • 24
  • 23
  • 34
  • 29
  • 3
  • 24
  • 40
  • 123
  • 112
  • 57
  • 21
  • 46
  • 18
  • 25
  • 15
  • 15
  • 48
  • 43
  • 46
  • 48
  • 39
  • 33
  • 21
  • 25
  • 17
  • 17
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 7
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 3
  • 1
  • 1
  • 24
  • 2
  • 1
  • 7
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 24
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 75
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 24
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 76
  • 7
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 76
  • 2
  • 3
  • 5
  • 3
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 8
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 24
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 3
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 3
  • 8
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 6
  • 5
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 5
  • 5
  • 5
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
Verlag
  • 1241
  • 15
Preis
  • 1
  • 21
  • 937
  • 297
Sprachen
  • 1256
  • 1
Verfügbarkeit
  • 1256
Katalog
  • 1256
  • 99
1.256  Treffer  für „Lecture Notes in Computer Science“
    Huang / Wu / Liu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Huang / Wu / Liu Intelligent Robotics and Applications

    10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part III
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-65297-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Souza / Dini / Lorenz | Telecommunications and Networking - ICT 2004 | Buch | Sack Fachmedien

    De Souza / Dini / Lorenz Telecommunications and Networking - ICT 2004

    11th International Conference on Telecommunications Fortaleza, Brazil, August 1-6, 2004 Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22571-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Niemeegers / Heemstra de Groot | Personal Wireless Communications | Buch | Sack Fachmedien

    Niemeegers / Heemstra de Groot Personal Wireless Communications

    IFIP TC6 9th International Conference, PWC 2004, Delft, The Netherlands, September 21-23, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23162-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puliafito / Bruneo / Distefano | Ad-hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Puliafito / Bruneo / Distefano Ad-hoc, Mobile, and Wireless Networks

    16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67909-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    König-Ries / Makki / Pissinou | Developing an Infrastructure for Mobile and Wireless Systems | Buch | Sack Fachmedien

    König-Ries / Makki / Pissinou Developing an Infrastructure for Mobile and Wireless Systems

    NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00289-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karl / Willig / Wolisz | Wireless Sensor Networks | Buch | Sack Fachmedien

    Karl / Willig / Wolisz Wireless Sensor Networks

    First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20825-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sipper / Mange / Perez-Uribe | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Sipper / Mange / Perez-Uribe Evolvable Systems: From Biology to Hardware

    Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Günther | Efficient Structures for Geometric Data Management | Buch | Sack Fachmedien

    Günther Efficient Structures for Geometric Data Management

    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50463-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crestani / Dunlop / Mizzaro | Mobile and Ubiquitous Information Access | Buch | Sack Fachmedien

    Crestani / Dunlop / Mizzaro Mobile and Ubiquitous Information Access

    Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21003-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vosselman | Relational Matching | Buch | Sack Fachmedien

    Vosselman Relational Matching

    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55798-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kassab / Berbineau / Vinel | Communication Technologies for Vehicles | Buch | Sack Fachmedien

    Kassab / Berbineau / Vinel Communication Technologies for Vehicles

    8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-17764-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulz | Word Equations and Related Topics | Buch | Sack Fachmedien

    Schulz Word Equations and Related Topics

    1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55124-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frank / Campari | Spatial Information Theory: A Theoretical Basis for GIS | Buch | Sack Fachmedien

    Frank / Campari Spatial Information Theory: A Theoretical Basis for GIS

    A Theoretical Basis for GIS. European Conference, COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57207-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moore / Luk | Field-Programmable Logic and Applications | Buch | Sack Fachmedien

    Moore / Luk Field-Programmable Logic and Applications

    5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60294-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '86 | Buch | Sack Fachmedien

    Wada Logic Programming '86

    Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18024-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Rigoll / Meshcheryakov | Interactive Collaborative Robotics | Buch | Sack Fachmedien

    Ronzhin / Rigoll / Meshcheryakov Interactive Collaborative Robotics

    First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-43954-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Campbell | Artificial Intelligence and Symbolic Mathematical Computing | Buch | Sack Fachmedien

    Calmet / Campbell Artificial Intelligence and Symbolic Mathematical Computing

    International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57322-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sottilare / Schwarz | Adaptive Instructional Systems | Buch | Sack Fachmedien

    Sottilare / Schwarz Adaptive Instructional Systems

    7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92966-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sottilare / Schwarz | Adaptive Instructional Systems | Buch | Sack Fachmedien

    Sottilare / Schwarz Adaptive Instructional Systems

    7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92969-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andreasen / Christiansen / Larsen | Flexible Query Answering Systems | Buch | Sack Fachmedien

    Andreasen / Christiansen / Larsen Flexible Query Answering Systems

    Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65082-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grossman / Nerode / Ravn | Hybrid Systems | Buch | Sack Fachmedien

    Grossman / Nerode / Ravn Hybrid Systems

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57318-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koskimies | Compiler Construction | Buch | Sack Fachmedien

    Koskimies Compiler Construction

    7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64304-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rucklidge | Efficient Visual Recognition Using the Hausdorff Distance | Buch | Sack Fachmedien

    Rucklidge Efficient Visual Recognition Using the Hausdorff Distance

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61993-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joyce / Seger | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Joyce / Seger Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boral / Faudemay | Database Machines | Buch | Sack Fachmedien

    Boral / Faudemay Database Machines

    Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51324-7
    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