Ergebnisse filtern
Fachgebiet
Medium
  • 10515
Erscheinungsjahr
  • 133
  • 809
  • 847
  • 618
  • 478
  • 262
  • 324
  • 316
  • 337
  • 303
  • 303
  • 293
  • 289
  • 287
  • 292
  • 288
  • 271
  • 253
  • 234
  • 260
  • 275
  • 214
  • 356
  • 298
  • 260
  • 255
  • 185
  • 171
  • 126
  • 140
  • 136
  • 115
  • 106
  • 94
  • 70
  • 85
  • 60
  • 57
  • 44
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 4
  • 5
  • 6
  • 7
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 10
  • 4
  • 6
  • 9
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 7
  • 10
  • 6
  • 4
  • 5
  • 16
  • 5
  • 5
  • 18
  • 4
  • 8
  • 4
  • 7
  • 4
  • 7
  • 5
  • 9
  • 9
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 8
  • 6
  • 14
  • 26
  • 36
  • 9
  • 40
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 12
  • 4
  • 15
  • 11
  • 4
  • 4
  • 5
  • 5
  • 38
  • 8
  • 5
  • 4
  • 5
  • 4
  • 5
  • 7
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 14
  • 5
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 6
  • 6
  • 6
  • 6
  • 7
  • 4
  • 6
  • 8
  • 7
  • 9
  • 8
  • 5
  • 4
  • 6
  • 4
  • 18
  • 8
  • 4
  • 14
  • 4
  • 6
  • 9
  • 4
  • 5
  • 4
  • 9
  • 5
  • 4
  • 7
  • 5
  • 21
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 10
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 5
  • 6
  • 25
  • 13
  • 6
  • 8
  • 8
  • 5
  • 6
  • 10
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 5
  • 8
  • 4
  • 4
  • 9
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 6
  • 5
  • 10
  • 7
  • 7
  • 4
  • 13
  • 8
  • 4
  • 16
  • 10
  • 16
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 8
  • 4
  • 38
  • 21
  • 7
  • 4
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 7
  • 5
  • 16
  • 5
  • 9
  • 8
  • 4
  • 5
  • 13
  • 6
  • 5
  • 5
  • 16
  • 4
  • 5
  • 4
  • 6
  • 4
  • 5
  • 24
  • 4
  • 13
  • 4
  • 7
  • 4
  • 5
  • 4
  • 11
  • 5
  • 4
  • 5
  • 7
  • 6
  • 4
  • 6
  • 10
  • 6
  • 6
  • 7
  • 34
  • 10
  • 41
  • 10
  • 8
  • 14
  • 18
  • 5
  • 12
  • 4
  • 22
  • 12
  • 36
  • 4
  • 8
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 6
  • 15
  • 9
  • 4
  • 38
  • 5
  • 5
  • 10
  • 4
  • 7
  • 6
  • 6
  • 4
  • 4
  • 10
  • 10
  • 6
  • 4
  • 5
  • 7
  • 4
  • 12
  • 8
  • 6
  • 16
  • 4
  • 4
  • 4
  • 6
  • 4
  • 6
  • 15
  • 20
  • 4
  • 6
  • 4
  • 10
  • 5
  • 7
  • 4
  • 6
  • 8
  • 13
  • 11
  • 24
  • 6
  • 5
  • 4
  • 5
  • 7
  • 4
  • 4
  • 7
  • 5
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 15
  • 10
  • 4
  • 11
  • 8
  • 4
  • 4
  • 4
  • 5
  • 47
  • 41
  • 7
  • 22
  • 8
  • 6
  • 12
  • 4
  • 24
  • 11
  • 4
  • 4
  • 4
  • 10
  • 17
  • 6
  • 6
  • 6
  • 5
  • 4
  • 27
  • 11
  • 45
  • 8
  • 7
  • 4
  • 5
  • 4
  • 16
  • 6
  • 6
  • 5
  • 8
  • 15
  • 4
  • 12
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 8
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 4
  • 18
  • 20
  • 8
  • 5
  • 17
  • 5
  • 10
  • 9
  • 5
  • 15
  • 55
  • 27
  • 21
  • 8
  • 18
  • 22
  • 91
  • 11
  • 5
  • 5
  • 6
  • 16
  • 5
  • 5
  • 6
  • 21
  • 15
  • 10
  • 6
  • 6
  • 14
  • 11
  • 6
  • 5
  • 6
  • 5
  • 13
  • 5
  • 37
  • 7
  • 6
  • 5
  • 7
  • 19
  • 7
  • 5
  • 6
  • 19
  • 38
  • 9
  • 18
  • 12
  • 9
  • 5
  • 5
  • 5
  • 13
  • 15
  • 5
  • 10
  • 5
  • 9
  • 70
  • 8
  • 5
  • 9
  • 6
  • 6
  • 10
  • 6
  • 15
  • 14
  • 5
  • 11
  • 22
  • 15
  • 5
  • 6
  • 6
  • 15
  • 9
  • 8
  • 13
  • 11
  • 5
  • 13
  • 10
  • 6
  • 6
  • 11
  • 5
  • 15
  • 6
  • 5
  • 11
  • 6
  • 9
  • 8
  • 11
  • 5
  • 8
  • 7
  • 6
  • 5
  • 28
  • 6
  • 8
  • 5
  • 8
  • 20
  • 14
  • 32
  • 8
  • 15
  • 7
  • 5
  • 29
  • 6
  • 7
  • 5
  • 15
  • 6
  • 5
  • 16
  • 7
  • 19
  • 29
  • 17
  • 12
  • 7
  • 16
  • 6
  • 14
  • 5
  • 29
  • 12
  • 27
  • 37
  • 5
  • 5
  • 5
  • 6
  • 5
  • 14
  • 10
  • 12
  • 8
  • 6
  • 6
  • 9
  • 7
  • 6
  • 5
  • 12
  • 88
  • 12
  • 5
  • 16
  • 13
  • 6
  • 6
  • 5
  • 13
  • 14
  • 10
  • 6
  • 8
  • 14
  • 11
  • 6
  • 18
  • 20
  • 7
  • 21
  • 7
  • 5
  • 61
  • 9
  • 15
  • 7
  • 5
  • 6
  • 13
  • 22
  • 5
  • 7
  • 5
  • 5
  • 13
  • 6
  • 6
  • 6
  • 5
  • 5
  • 7
  • 6
  • 7
  • 23
  • 6
  • 5
  • 10
  • 13
  • 13
  • 14
  • 13
  • 5
  • 15
  • 9
  • 16
  • 5
  • 5
  • 11
  • 11
  • 8
  • 6
  • 29
  • 6
  • 31
  • 26
  • 5
  • 6
  • 10
  • 5
  • 8
  • 10
  • 6
  • 14
  • 7
  • 7
  • 6
  • 5
  • 8
  • 10
  • 6
  • 9
  • 13
  • 9
  • 5
  • 7
  • 6
  • 7
  • 8
  • 9
  • 8
  • 35
  • 12
  • 9
  • 7
  • 6
  • 5
  • 8
  • 5
  • 8
  • 18
  • 9
  • 11
  • 5
  • 7
  • 6
  • 7
  • 6
  • 6
  • 83
  • 8
  • 5
  • 5
  • 6
  • 10
  • 8
  • 6
  • 5
  • 6
  • 8
  • 9
  • 43
  • 7
  • 5
  • 14
  • 6
  • 5
  • 5
  • 5
  • 12
  • 7
  • 7
  • 11
  • 5
  • 7
  • 5
  • 8
  • 9
  • 5
  • 5
  • 8
  • 7
  • 6
  • 7
  • 5
  • 5
  • 5
  • 10
  • 43
  • 7
  • 7
  • 7
  • 16
  • 6
  • 18
  • 11
  • 5
  • 13
  • 14
  • 17
  • 15
  • 16
  • 5
  • 5
  • 5
  • 25
  • 6
  • 10
  • 11
  • 8
  • 7
  • 22
  • 14
  • 10
  • 15
  • 8
  • 7
  • 5
  • 11
  • 18
  • 5
  • 11
  • 8
  • 11
  • 8
  • 24
  • 10
  • 9
  • 6
  • 7
  • 13
  • 8
  • 10
  • 6
  • 13
  • 8
  • 5
  • 5
  • 13
  • 24
  • 13
  • 5
  • 7
  • 7
  • 15
  • 8
  • 7
  • 8
  • 5
  • 91
  • 5
  • 6
  • 10
  • 25
  • 5
  • 5
  • 8
  • 13
  • 8
  • 8
  • 5
  • 9
  • 18
  • 92
  • 5
  • 6
  • 42
  • 11
  • 10
  • 9
  • 89
  • 21
  • 5
  • 14
  • 9
  • 10
  • 9
  • 9
  • 16
  • 7
  • 5
  • 9
  • 5
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 17
  • 21
  • 5
  • 11
  • 10
  • 5
  • 12
  • 13
  • 14
  • 6
  • 12
  • 6
  • 5
  • 10
  • 5
  • 8
  • 9
  • 22
  • 16
  • 8
  • 5
  • 6
  • 9
  • 12
  • 6
  • 7
  • 20
  • 7
  • 5
  • 7
  • 5
  • 9
  • 5
  • 14
  • 10
  • 8
  • 15
  • 7
  • 45
  • 6
  • 6
  • 8
  • 5
  • 5
  • 15
  • 6
  • 10
  • 6
  • 8
  • 9
  • 9
  • 5
  • 6
  • 5
  • 6
  • 10
  • 5
  • 37
  • 10
  • 41
  • 9
  • 7
  • 6
  • 12
  • 10
  • 10
  • 22
  • 5
  • 5
  • 11
  • 10
  • 17
  • 16
  • 22
  • 5
  • 11
  • 22
  • 9
  • 10
  • 20
  • 57
  • 10
  • 10
  • 22
  • 8
  • 9
  • 6
  • 7
  • 10
  • 18
  • 21
  • 13
  • 5
  • 10
  • 10
  • 49
  • 24
  • 12
  • 6
  • 9
  • 10
  • 16
  • 8
  • 7
  • 12
  • 16
  • 18
  • 12
  • 7
  • 5
  • 15
  • 9
  • 7
  • 8
  • 10
  • 5
  • 89
  • 10
  • 8
  • 20
  • 15
  • 5
  • 5
  • 8
  • 15
  • 7
  • 6
  • 7
  • 31
  • 5
  • 11
  • 13
  • 9
  • 13
  • 18
  • 8
  • 23
  • 6
  • 5
  • 6
  • 15
  • 5
  • 18
  • 11
  • 11
  • 8
  • 9
  • 6
  • 8
  • 5
  • 7
  • 20
  • 13
  • 10
  • 5
  • 9
  • 6
  • 6
  • 5
  • 11
  • 10
  • 9
  • 5
  • 18
  • 7
  • 10
  • 10
  • 5
  • 7
  • 8
  • 8
  • 26
  • 10
  • 14
  • 6
  • 21
  • 9
  • 5
  • 5
  • 6
  • 5
  • 5
  • 5
  • 18
  • 7
  • 6
  • 47
  • 9
  • 6
  • 5
  • 25
  • 6
  • 6
  • 5
  • 43
  • 7
  • 14
  • 67
  • 19
  • 6
  • 11
  • 6
  • 6
  • 10
  • 5
  • 33
  • 7
  • 5
  • 23
  • 15
  • 20
  • 10
  • 7
  • 6
  • 6
  • 6
  • 11
  • 7
  • 23
Verlag
  • 2
  • 10460
  • 3
  • 3
  • 1
  • 2
  • 3
  • 1
  • 40
Preis
  • 47
  • 365
  • 8085
  • 2018
Sprachen
  • 10509
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10500
  • 15
Eigenschaften
  • 2
Katalog
  • 10515
  • 575
10.515  Treffer  für „Lecture Notes in Computer Science“
    Geist / Tronci | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Geist / Tronci Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Ferrari / Meredith | Coordination Models and Languages | Buch | Sack Fachmedien

    De Nicola / Ferrari / Meredith Coordination Models and Languages

    6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21044-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kalker / Ro / Cox | Digital Watermarking | Buch | Sack Fachmedien

    Kalker / Ro / Cox Digital Watermarking

    Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21061-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groz / Hierons | Testing of Communicating Systems | Buch | Sack Fachmedien

    Groz / Hierons Testing of Communicating Systems

    16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21219-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Programming Languages and Systems | Buch | Sack Fachmedien

    Schmidt Programming Languages and Systems

    13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21313-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mullen / Poli / Stichtenoth | Finite Fields and Applications | Buch | Sack Fachmedien

    Mullen / Poli / Stichtenoth Finite Fields and Applications

    7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21324-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keijzer / O'Reilly / Lucas | Genetic Programming | Buch | Sack Fachmedien

    Keijzer / O'Reilly / Lucas Genetic Programming

    7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21346-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Warboys / Morrison | Software Architecture | Buch | Sack Fachmedien

    Oquendo / Warboys / Morrison Software Architecture

    First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22000-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Batory / Consel | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfaltz / Nagl / Böhlen | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Pfaltz / Nagl / Böhlen Applications of Graph Transformations with Industrial Relevance

    Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22120-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Dix / EL Fallah-Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Dix / EL Fallah-Seghrouchni Programming Multi-Agent Systems

    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22180-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sachse | Computational Cardiology | Buch | Sack Fachmedien

    Sachse Computational Cardiology

    Modeling of Anatomy, Electrophysiology, and Mechanics
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21907-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kazman / Port | COTS-Based Software Systems | Buch | Sack Fachmedien

    Kazman / Port COTS-Based Software Systems

    Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21903-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Paprzycki | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics

    5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21946-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Hong | Real-Time and Embedded Computing Systems and Applications | Buch | Sack Fachmedien

    Chen / Hong Real-Time and Embedded Computing Systems and Applications

    9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21974-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nehmer | Experiences with Distributed Systems | Buch | Sack Fachmedien

    Nehmer Experiences with Distributed Systems

    International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19333-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Battista / Zwick | Algorithms - ESA 2003 | Buch | Sack Fachmedien

    Di Battista / Zwick Algorithms - ESA 2003

    11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20064-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freytag | Translating Relational Queries into Iterative Programs | Buch | Sack Fachmedien

    Freytag Translating Relational Queries into Iterative Programs

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18000-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Becker / Eisele | WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology | Buch | Sack Fachmedien

    Becker / Eisele WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology

    Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2-4, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18022-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Venturini Zilli | Mathematical Models for the Semantics of Parallelism | Buch | Sack Fachmedien

    Venturini Zilli Mathematical Models for the Semantics of Parallelism

    Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18419-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fasel / Keller | Graph Reduction | Buch | Sack Fachmedien

    Fasel / Keller Graph Reduction

    Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nichols / Simpson | ESEC '87 | Buch | Sack Fachmedien

    Nichols / Simpson ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mokhtari / Abdulrazak / Aloulou | Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living | Buch | Sack Fachmedien

    Mokhtari / Abdulrazak / Aloulou Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living

    16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94522-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avigad / Mahboubi | Interactive Theorem Proving | Buch | Sack Fachmedien

    Avigad / Mahboubi Interactive Theorem Proving

    9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94820-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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