Ergebnisse filtern
Fachgebiet
Medium
  • 10650
Erscheinungsjahr
  • 329
  • 799
  • 844
  • 615
  • 483
  • 283
  • 305
  • 304
  • 310
  • 266
  • 317
  • 298
  • 300
  • 316
  • 303
  • 260
  • 265
  • 246
  • 216
  • 257
  • 272
  • 233
  • 361
  • 301
  • 257
  • 253
  • 178
  • 176
  • 135
  • 137
  • 134
  • 116
  • 105
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 7
  • 6
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 18
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 16
  • 10
  • 9
  • 5
  • 5
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 7
  • 9
  • 10
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 20
  • 6
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 9
  • 4
  • 5
  • 9
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 9
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 15
  • 9
  • 16
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 7
  • 10
  • 4
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 6
  • 15
  • 5
  • 7
  • 10
  • 4
  • 5
  • 14
  • 6
  • 6
  • 14
  • 4
  • 8
  • 24
  • 4
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 4
  • 9
  • 6
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 34
  • 4
  • 12
  • 41
  • 14
  • 8
  • 14
  • 15
  • 11
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 4
  • 12
  • 4
  • 6
  • 12
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 9
  • 4
  • 4
  • 4
  • 8
  • 6
  • 10
  • 13
  • 6
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 6
  • 4
  • 6
  • 9
  • 15
  • 23
  • 7
  • 7
  • 5
  • 6
  • 6
  • 8
  • 6
  • 6
  • 9
  • 11
  • 4
  • 24
  • 6
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 45
  • 40
  • 11
  • 23
  • 8
  • 13
  • 6
  • 32
  • 13
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 25
  • 4
  • 13
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 14
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 13
  • 8
  • 5
  • 4
  • 7
  • 4
  • 18
  • 55
  • 34
  • 9
  • 4
  • 22
  • 7
  • 17
  • 22
  • 93
  • 6
  • 11
  • 6
  • 4
  • 4
  • 8
  • 5
  • 16
  • 4
  • 11
  • 6
  • 6
  • 18
  • 12
  • 8
  • 5
  • 5
  • 4
  • 13
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 12
  • 5
  • 5
  • 41
  • 6
  • 4
  • 8
  • 4
  • 10
  • 5
  • 5
  • 10
  • 12
  • 6
  • 8
  • 8
  • 21
  • 39
  • 8
  • 17
  • 8
  • 5
  • 16
  • 15
  • 8
  • 8
  • 67
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 7
  • 5
  • 6
  • 10
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 6
  • 6
  • 8
  • 5
  • 12
  • 6
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 31
  • 13
  • 8
  • 24
  • 8
  • 13
  • 33
  • 5
  • 6
  • 9
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 10
  • 5
  • 8
  • 5
  • 7
  • 16
  • 6
  • 6
  • 15
  • 14
  • 31
  • 20
  • 8
  • 8
  • 6
  • 5
  • 15
  • 23
  • 5
  • 8
  • 26
  • 43
  • 8
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 6
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 19
  • 7
  • 12
  • 7
  • 8
  • 6
  • 13
  • 5
  • 6
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 5
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 6
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 16
  • 11
  • 10
  • 16
  • 5
  • 11
  • 9
  • 28
  • 7
  • 36
  • 28
  • 7
  • 6
  • 6
  • 8
  • 5
  • 18
  • 7
  • 5
  • 7
  • 14
  • 7
  • 6
  • 5
  • 6
  • 10
  • 19
  • 8
  • 8
  • 6
  • 8
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 5
  • 13
  • 8
  • 8
  • 5
  • 5
  • 5
  • 20
  • 7
  • 5
  • 9
  • 6
  • 6
  • 6
  • 10
  • 8
  • 5
  • 85
  • 7
  • 6
  • 5
  • 5
  • 9
  • 11
  • 5
  • 6
  • 5
  • 11
  • 8
  • 38
  • 5
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 7
  • 8
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 6
  • 7
  • 10
  • 5
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 21
  • 6
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 17
  • 15
  • 6
  • 15
  • 5
  • 5
  • 9
  • 27
  • 13
  • 9
  • 11
  • 6
  • 20
  • 5
  • 10
  • 6
  • 15
  • 12
  • 6
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 11
  • 12
  • 7
  • 6
  • 5
  • 12
  • 6
  • 7
  • 9
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 21
  • 15
  • 8
  • 17
  • 12
  • 8
  • 11
  • 9
  • 12
  • 20
  • 92
  • 6
  • 49
  • 11
  • 11
  • 6
  • 6
  • 89
  • 16
  • 5
  • 14
  • 12
  • 10
  • 9
  • 20
  • 13
  • 5
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 16
  • 8
  • 6
  • 12
  • 14
  • 16
  • 5
  • 10
  • 9
  • 7
  • 11
  • 5
  • 9
  • 7
  • 22
  • 15
  • 6
  • 5
  • 5
  • 13
  • 6
  • 25
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 9
  • 9
  • 6
  • 16
  • 17
  • 22
  • 26
  • 5
  • 6
  • 20
  • 8
  • 5
  • 11
  • 10
  • 16
  • 5
  • 6
  • 12
  • 8
  • 38
  • 8
  • 48
  • 14
  • 6
  • 11
  • 11
  • 11
  • 9
  • 22
  • 5
  • 8
  • 17
  • 7
  • 14
  • 15
  • 18
  • 6
  • 5
  • 10
  • 5
  • 23
  • 7
  • 25
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 20
  • 12
  • 7
  • 6
  • 10
  • 53
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 6
  • 11
  • 9
  • 6
  • 89
  • 10
  • 16
  • 5
  • 16
  • 6
  • 5
  • 5
  • 13
  • 9
  • 7
  • 31
  • 5
  • 11
  • 5
  • 5
  • 11
  • 5
  • 13
  • 19
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 5
  • 13
  • 23
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 23
  • 8
  • 15
  • 10
  • 6
  • 5
  • 6
  • 6
  • 5
  • 16
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 14
  • 14
  • 7
  • 5
  • 19
  • 11
  • 5
  • 9
  • 5
  • 13
  • 18
  • 6
  • 6
  • 6
  • 41
  • 5
  • 8
  • 5
  • 23
  • 44
  • 14
  • 63
  • 5
  • 18
  • 5
  • 12
  • 11
  • 6
  • 6
  • 32
  • 7
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 12
  • 9
  • 5
  • 19
Verlag
  • 3
  • 10591
  • 3
  • 6
  • 1
  • 6
  • 4
  • 1
  • 35
Preis
  • 42
  • 381
  • 8117
  • 2110
Sprachen
  • 10645
  • 16
  • 13
Verfügbarkeit
  • 10638
  • 12
Eigenschaften
  • 12
Katalog
  • 10650
  • 557
10.650  Treffer  für „Lecture Notes in Computer Science“
    Deransart / Lorho / Maluszynski | Programming Languages Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Lorho / Maluszynski Programming Languages Implementation and Logic Programming

    International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50820-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Küng / Wagner | Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII | Buch | Sack Fachmedien

    Hameurlain / Küng / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54425-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Kim | Information Security and Cryptology - ICISC 2014 | Buch | Sack Fachmedien

    Lee / Kim Information Security and Cryptology - ICISC 2014

    17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15942-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiele / Dey / Gellersen | Ambient Intelligence | Buch | Sack Fachmedien

    Schiele / Dey / Gellersen Ambient Intelligence

    European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76651-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pautasso / Tanter | Software Composition | Buch | Sack Fachmedien

    Pautasso / Tanter Software Composition

    7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78788-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Kohlhase Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31430-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biskup / Demetrovics / Paredaens | MFDBS 87 | Buch | Sack Fachmedien

    Biskup / Demetrovics / Paredaens MFDBS 87

    1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19121-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kritikos / Plebani / de Paoli | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Kritikos / Plebani / de Paoli Service-Oriented and Cloud Computing

    7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99818-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Creem-Regehr / Schöning / Klippel | Spatial Cognition XI | Buch | Sack Fachmedien

    Creem-Regehr / Schöning / Klippel Spatial Cognition XI

    11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 5-8, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96384-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Dijkstra / Broy | Program Construction | Buch | Sack Fachmedien

    Bauer / Dijkstra / Broy Program Construction

    International Summer School
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09251-3
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Selamat / Nguyen / Haron | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Selamat / Nguyen / Haron Intelligent Information and Database Systems

    5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36542-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fürnkranz / Scheffer / Spiliopoulou | Machine Learning: ECML 2006 | Buch | Sack Fachmedien

    Fürnkranz / Scheffer / Spiliopoulou Machine Learning: ECML 2006

    17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45375-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Snasel | Computational Social Networks | Buch | Sack Fachmedien

    Nguyen / Snasel Computational Social Networks

    5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42344-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sips / Epema / Lin | Euro-Par 2009 - Parallel Processing | Buch | Sack Fachmedien

    Sips / Epema / Lin Euro-Par 2009 - Parallel Processing

    15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03868-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magnin / Montagnat / Clarysse | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    Magnin / Montagnat / Clarysse Functional Imaging and Modeling of the Heart

    Second International Workshop, FIMH 2003, Lyon, France, June 5-6, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerstner / Germond / Hasler | Artificial Neural Networks - ICANN '97 | Buch | Sack Fachmedien

    Gerstner / Germond / Hasler Artificial Neural Networks - ICANN '97

    7th International Conference Lausanne, Switzerland, October 8-10, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63631-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Porto / Roman | Coordination Languages and Models | Buch | Sack Fachmedien

    Porto / Roman Coordination Languages and Models

    4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41020-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazy / Chechik | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Blazy / Chechik Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Danthine / Diot | From Multimedia Services to Network Services | Buch | Sack Fachmedien

    Danthine / Diot From Multimedia Services to Network Services

    4th International COST 237 Workshop, Lisboa, Portugal, December 15-19, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63935-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rival | Static Analysis | Buch | Sack Fachmedien

    Rival Static Analysis

    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53412-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wotawa / Nica / Kushik | Testing Software and Systems | Buch | Sack Fachmedien

    Wotawa / Nica / Kushik Testing Software and Systems

    28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47442-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Chen | Computing and Combinatorics | Buch | Sack Fachmedien

    Cao / Chen Computing and Combinatorics

    23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-62388-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meo / Lanzi / Klemettinen | Database Support for Data Mining Applications | Buch | Sack Fachmedien

    Meo / Lanzi / Klemettinen Database Support for Data Mining Applications

    Discovering Knowledge with Inductive Queries
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beringer / Felty | Interactive Theorem Proving | Buch | Sack Fachmedien

    Beringer / Felty Interactive Theorem Proving

    Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Yu / Bellahsene | Database and XML Technologies | Buch | Sack Fachmedien

    Lee / Yu / Bellahsene Database and XML Technologies

    7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15683-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