Ergebnisse filtern
Fachgebiet
Medium
  • 1216
Erscheinungsjahr
  • 58
  • 117
  • 17
  • 15
  • 6
  • 2
  • 17
  • 11
  • 11
  • 14
  • 16
  • 21
  • 26
  • 24
  • 28
  • 3
  • 17
  • 46
  • 121
  • 105
  • 50
  • 22
  • 47
  • 19
  • 26
  • 16
  • 11
  • 49
  • 43
  • 45
  • 43
  • 34
  • 31
  • 22
  • 25
  • 16
  • 16
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 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
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 24
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 24
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 75
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 5
  • 2
  • 5
  • 2
  • 9
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 24
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 76
  • 8
  • 5
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 76
  • 2
  • 2
  • 3
  • 5
  • 4
  • 76
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 8
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 24
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 76
  • 3
  • 6
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 8
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 2
  • 2
  • 5
  • 5
  • 5
  • 5
  • 5
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
Verlag
  • 1205
  • 11
Preis
  • 1
  • 20
  • 894
  • 301
Sprachen
  • 1216
Verfügbarkeit
  • 1215
  • 1
Katalog
  • 1216
  • 94
1.216  Treffer  für „Lecture Notes in Computer Science“
    Vounckx / Azemard / Maurine | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Vounckx / Azemard / Maurine Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39094-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Wang / Zhou | Internet of Vehicles - Technologies and Services | Buch | Sack Fachmedien

    Hsu / Wang / Zhou Internet of Vehicles - Technologies and Services

    Third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-51968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Awan / Younas / Ünal | Mobile Web and Intelligent Information Systems | Buch | Sack Fachmedien

    Awan / Younas / Ünal Mobile Web and Intelligent Information Systems

    16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-27191-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Takabi / Guo | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Takabi / Guo Wireless Artificial Intelligent Computing Systems and Applications

    18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-71469-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leong / Lee / Li | Mobile Data Access | Buch | Sack Fachmedien

    Leong / Lee / Li Mobile Data Access

    First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66878-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Althoefer / Konstantinova / Zhang | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Althoefer / Konstantinova / Zhang Towards Autonomous Robotic Systems

    20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23806-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kraetzschmar | Distributed Reason Maintenance for Multiagent Systems | Buch | Sack Fachmedien

    Kraetzschmar Distributed Reason Maintenance for Multiagent Systems

    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63606-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ide / Kompatsiaris / Xu | MultiMedia Modeling | Buch | Sack Fachmedien

    Ide / Kompatsiaris / Xu MultiMedia Modeling

    31st International Conference on Multimedia Modeling, MMM 2025, Nara, Japan, January 8-10, 2025, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-962060-9
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Tretmans / Grieskamp | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems

    19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73065-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Pung / Bu Sung Lee | NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet | Buch | Sack Fachmedien

    Das / Pung / Bu Sung Lee NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet

    7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79548-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chong | Information Networking: Wireless Communications Technologies and Network Applications | Buch | Sack Fachmedien

    Chong Information Networking: Wireless Communications Technologies and Network Applications

    International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002. Revised Papers. Part II
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44255-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brusilovsky / Kobsa / Nejdl | The Adaptive Web | Buch | Sack Fachmedien

    Brusilovsky / Kobsa / Nejdl The Adaptive Web

    Methods and Strategies of Web Personalization
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72078-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thayse | Boolean Calculus of Differences | Buch | Sack Fachmedien

    Thayse Boolean Calculus of Differences

    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10286-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Neele / Wijs | Model Checking Software | Buch | Sack Fachmedien

    Neele / Wijs Model Checking Software

    30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haeberer | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Haeberer Algebraic Methodology and Software Technology

    7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65462-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lorenz | Networking - ICN 2001 | Buch | Sack Fachmedien

    Lorenz Networking - ICN 2001

    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42302-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cate / Zeevat | Logic, Language, and Computation | Buch | Sack Fachmedien

    Cate / Zeevat Logic, Language, and Computation

    6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75143-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgeth / Kleefeld / Naegel | Mathematical Morphology and Its Applications to Signal and Image Processing | Buch | Sack Fachmedien

    Burgeth / Kleefeld / Naegel Mathematical Morphology and Its Applications to Signal and Image Processing

    14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-20866-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia | Artificial Intelligence: Methodology, Systems, and Applications | Buch | Sack Fachmedien

    Giunchiglia Artificial Intelligence: Methodology, Systems, and Applications

    8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64993-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dierkes / Pecheur | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Dierkes / Pecheur Formal Methods for Industrial Critical Systems

    18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41009-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonomi / Mandal / Robinson | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Bonomi / Mandal / Robinson Stabilization, Safety, and Security of Distributed Systems

    27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11126-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Bhanja | Field-Coupled Nanocomputing | Buch | Sack Fachmedien

    Anderson / Bhanja Field-Coupled Nanocomputing

    Paradigms, Progress, and Perspectives
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43721-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gimenez / Paulin-Mohring | Types for Proofs and Programs | Buch | Sack Fachmedien

    Gimenez / Paulin-Mohring Types for Proofs and Programs

    International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Heutte / Loog | Advanced Intelligent Computing Theories and Applications | Buch | Sack Fachmedien

    Huang / Heutte / Loog Advanced Intelligent Computing Theories and Applications

    Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74201-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular