Ergebnisse filtern
Fachgebiet
Medium
  • 3228
  • 4
Erscheinungsjahr
  • 118
  • 295
  • 172
  • 160
  • 126
  • 95
  • 116
  • 139
  • 82
  • 113
  • 82
  • 98
  • 108
  • 106
  • 80
  • 56
  • 78
  • 57
  • 154
  • 153
  • 69
  • 42
  • 73
  • 57
  • 66
  • 37
  • 44
  • 62
  • 57
  • 55
  • 50
  • 49
  • 41
  • 27
  • 31
  • 21
  • 26
  • 11
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 5
  • 3
  • 12
  • 3
  • 2
  • 7
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 14
  • 2
  • 2
  • 7
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 12
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 7
  • 2
  • 6
  • 9
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 24
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 2
  • 28
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 24
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 23
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 20
  • 3
  • 4
  • 3
  • 7
  • 12
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 5
  • 8
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 12
  • 3
  • 15
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 9
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 8
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 8
  • 3
  • 4
  • 3
  • 29
  • 4
  • 5
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 6
  • 4
  • 6
  • 6
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 10
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 4
  • 4
  • 11
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 8
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 9
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 18
  • 3
  • 7
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 12
  • 75
  • 4
  • 3
  • 3
  • 7
  • 14
  • 5
  • 32
  • 3
  • 5
  • 4
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 7
  • 10
  • 4
  • 4
  • 4
  • 31
  • 4
  • 7
  • 23
  • 9
  • 4
  • 4
  • 5
  • 3
  • 3
  • 11
  • 4
  • 13
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 5
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 9
  • 6
  • 10
  • 8
  • 18
  • 4
  • 4
  • 5
  • 4
  • 5
  • 30
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 7
  • 3
  • 6
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 12
  • 4
  • 4
  • 7
  • 4
  • 3
  • 11
  • 5
  • 4
  • 3
  • 4
  • 13
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 10
  • 3
  • 5
  • 4
  • 4
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 14
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 24
  • 5
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 76
  • 6
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 15
  • 3
  • 4
  • 5
  • 3
  • 77
  • 3
  • 11
  • 5
  • 3
  • 3
  • 76
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 4
  • 10
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 76
  • 9
  • 4
  • 3
  • 4
  • 3
  • 3
  • 14
  • 4
  • 3
  • 3
  • 9
  • 5
  • 6
  • 3
  • 4
  • 8
  • 4
  • 5
  • 4
  • 6
  • 8
  • 6
  • 4
  • 4
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 6
  • 5
  • 5
  • 6
  • 6
  • 4
  • 12
  • 4
  • 4
  • 3
  • 3
  • 3
  • 13
  • 4
  • 10
  • 3
  • 3
  • 4
  • 5
  • 4
  • 8
  • 3
  • 4
  • 24
  • 3
  • 7
  • 3
  • 76
  • 4
  • 3
  • 6
  • 4
  • 3
  • 5
  • 7
  • 39
  • 7
  • 5
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 5
  • 6
  • 18
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 10
  • 18
  • 9
  • 4
  • 4
  • 13
  • 7
  • 5
  • 3
  • 4
  • 3
  • 13
  • 30
  • 6
  • 3
  • 6
  • 11
  • 9
  • 4
  • 4
  • 7
  • 6
Verlag
  • 1
  • 1
  • 1
  • 2
  • 658
  • 988
  • 11
  • 649
  • 1
  • 482
  • 364
  • 34
  • 5
  • 5
  • 5
  • 19
  • 3
  • 3
Preis
  • 6
  • 72
  • 1590
  • 1564
Sprachen
  • 3232
  • 1
Verfügbarkeit
  • 3229
  • 3
Katalog
  • 3232
  • 239
3.232  Treffer  für „Lecture Notes in Computer Science“
    Ma / Yang | Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 1 | Buch | Sack Fachmedien

    Ma / Yang Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 1

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-662-50975-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weickert / Schiele / Hein | Pattern Recognition | Buch | Sack Fachmedien

    Weickert / Schiele / Hein Pattern Recognition

    35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40601-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Meshcheryakov / Rigoll | Interactive Collaborative Robotics | Buch | Sack Fachmedien

    Ronzhin / Meshcheryakov / Rigoll Interactive Collaborative Robotics

    Third International Conference, ICR 2018, Leipzig, Germany, September 18-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-99581-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kundu / Mitra / Mazumdar | Perception and Machine Intelligence | Buch | Sack Fachmedien

    Kundu / Mitra / Mazumdar Perception and Machine Intelligence

    First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2011, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27386-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwarz / Sottilare | Adaptive Instructional Systems | Buch | Sack Fachmedien

    Schwarz / Sottilare Adaptive Instructional Systems

    6th International Conference, AIS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60608-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klette / Sommer | Robot Vision | Buch | Sack Fachmedien

    Klette / Sommer Robot Vision

    Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78156-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butz / Fisher / Krüger | Smart Graphics | Buch | Sack Fachmedien

    Butz / Fisher / Krüger Smart Graphics

    8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73213-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balcázar / Stephan / Long | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Balcázar / Stephan / Long Algorithmic Learning Theory

    17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-46649-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kubota / Obo / Kiguchi | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Kubota / Obo / Kiguchi Intelligent Robotics and Applications

    9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43505-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sichman / Davidsson / Bousquet | Multi-Agent-Based Simulation II | Buch | Sack Fachmedien

    Sichman / Davidsson / Bousquet Multi-Agent-Based Simulation II

    Third International Workshop, MABS 2002, Bologna, Italy, July 15-16, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00607-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Umeda / Wolf / Takata | Declarative Programming for Knowledge Management | Buch | Sack Fachmedien

    Umeda / Wolf / Takata Declarative Programming for Knowledge Management

    16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69233-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badioze Zaman / Robinson / Petrou | Visual Informatics: Sustaining Research and Innovations | Buch | Sack Fachmedien

    Badioze Zaman / Robinson / Petrou Visual Informatics: Sustaining Research and Innovations

    Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25190-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henley / Lynn | Generic Techniques in Systems Reliability Assessment | Buch | Sack Fachmedien

    Henley / Lynn Generic Techniques in Systems Reliability Assessment

    1976. Auflage 1976
    Verlag: Springer
    ISBN: 978-90-286-0563-3
    Medium: Buch
    94,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimov / Lirkov / Fidanova | Numerical Methods and Applications | Buch | Sack Fachmedien

    Dimov / Lirkov / Fidanova Numerical Methods and Applications

    8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15584-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwarz / Sottilare | Adaptive Instructional Systems | Buch | Sack Fachmedien

    Schwarz / Sottilare 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 Nature Switzerland
    ISBN: 978-3-031-92969-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Mendis / Bouzerdoum | Neural Information Processing. Theory and Algorithms | Buch | Sack Fachmedien

    Wong / Mendis / Bouzerdoum Neural Information Processing. Theory and Algorithms

    17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I
    2010
    Verlag: Springer
    ISBN: 978-3-642-17536-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler | Hybrid and Real-Time Systems | Buch | Sack Fachmedien

    Maler Hybrid and Real-Time Systems

    International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62600-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagle / Pfeiffer | Conceptual Structures: Theory and Implementation | Buch | Sack Fachmedien

    Nagle / Pfeiffer Conceptual Structures: Theory and Implementation

    7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57454-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Ryu / Liu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lee / Ryu / Liu Intelligent Robotics and Applications

    6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
    2013
    Verlag: Springer
    ISBN: 978-3-642-40851-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wattenhofer / Wagner | Algorithms for Sensor and Ad Hoc Networks | Buch | Sack Fachmedien

    Wattenhofer / Wagner Algorithms for Sensor and Ad Hoc Networks

    Advanced Lectures
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74990-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manocha / Lin | Applied Computational Geometry. Towards Geometric Engineering | Buch | Sack Fachmedien

    Manocha / Lin Applied Computational Geometry. Towards Geometric Engineering

    FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61785-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dybjer / Smith / Nordström | Types for Proofs and Programs | Buch | Sack Fachmedien

    Dybjer / Smith / Nordström Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harris | Engineering Psychology and Cognitive Ergonomics | Buch | Sack Fachmedien

    Harris Engineering Psychology and Cognitive Ergonomics

    9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21740-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Proietti | Logic Program Synthesis and Transformation | Buch | Sack Fachmedien

    Proietti Logic Program Synthesis and Transformation

    5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60939-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