Ergebnisse filtern
Fachgebiet
Medium
  • 8297
Erscheinungsjahr
  • 3
  • 650
  • 681
  • 721
  • 435
  • 290
  • 169
  • 201
  • 217
  • 195
  • 196
  • 217
  • 216
  • 197
  • 184
  • 185
  • 182
  • 191
  • 192
  • 154
  • 225
  • 217
  • 187
  • 273
  • 241
  • 204
  • 196
  • 132
  • 129
  • 116
  • 112
  • 102
  • 96
  • 87
  • 73
  • 59
  • 73
  • 47
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 5
  • 5
  • 5
  • 4
  • 6
  • 9
  • 5
  • 11
  • 25
  • 10
  • 7
  • 4
  • 4
  • 7
  • 6
  • 4
  • 17
  • 13
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 8
  • 6
  • 4
  • 5
  • 4
  • 6
  • 14
  • 4
  • 33
  • 36
  • 7
  • 30
  • 5
  • 4
  • 5
  • 5
  • 4
  • 8
  • 9
  • 4
  • 21
  • 13
  • 4
  • 39
  • 5
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 4
  • 4
  • 10
  • 7
  • 17
  • 8
  • 4
  • 5
  • 4
  • 6
  • 6
  • 24
  • 4
  • 8
  • 10
  • 11
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 19
  • 6
  • 9
  • 8
  • 5
  • 4
  • 7
  • 5
  • 4
  • 7
  • 10
  • 10
  • 5
  • 4
  • 6
  • 40
  • 4
  • 5
  • 4
  • 8
  • 5
  • 20
  • 11
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 10
  • 8
  • 4
  • 10
  • 5
  • 7
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 12
  • 4
  • 10
  • 5
  • 4
  • 12
  • 9
  • 14
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 39
  • 18
  • 6
  • 4
  • 7
  • 4
  • 4
  • 5
  • 7
  • 5
  • 4
  • 4
  • 16
  • 6
  • 5
  • 9
  • 4
  • 5
  • 13
  • 8
  • 4
  • 10
  • 7
  • 4
  • 8
  • 4
  • 24
  • 5
  • 5
  • 13
  • 5
  • 12
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 7
  • 5
  • 6
  • 7
  • 5
  • 6
  • 34
  • 4
  • 5
  • 14
  • 41
  • 4
  • 4
  • 13
  • 9
  • 7
  • 20
  • 4
  • 4
  • 5
  • 42
  • 5
  • 4
  • 38
  • 4
  • 4
  • 5
  • 10
  • 15
  • 11
  • 4
  • 5
  • 4
  • 7
  • 12
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 39
  • 7
  • 4
  • 12
  • 4
  • 4
  • 6
  • 4
  • 13
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 6
  • 13
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 10
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 6
  • 23
  • 4
  • 26
  • 15
  • 4
  • 28
  • 9
  • 7
  • 8
  • 5
  • 7
  • 5
  • 4
  • 5
  • 16
  • 9
  • 24
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 5
  • 9
  • 8
  • 5
  • 4
  • 7
  • 4
  • 4
  • 7
  • 5
  • 7
  • 15
  • 11
  • 5
  • 7
  • 7
  • 38
  • 41
  • 4
  • 8
  • 39
  • 5
  • 10
  • 13
  • 8
  • 35
  • 13
  • 6
  • 4
  • 4
  • 15
  • 5
  • 4
  • 8
  • 6
  • 6
  • 4
  • 10
  • 26
  • 12
  • 43
  • 78
  • 8
  • 4
  • 15
  • 10
  • 8
  • 5
  • 7
  • 4
  • 7
  • 15
  • 8
  • 6
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 5
  • 4
  • 20
  • 17
  • 4
  • 4
  • 11
  • 4
  • 6
  • 4
  • 9
  • 8
  • 5
  • 5
  • 12
  • 4
  • 22
  • 48
  • 8
  • 19
  • 16
  • 23
  • 84
  • 11
  • 4
  • 15
  • 6
  • 4
  • 4
  • 6
  • 4
  • 19
  • 5
  • 9
  • 8
  • 4
  • 15
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 26
  • 4
  • 6
  • 8
  • 4
  • 16
  • 6
  • 5
  • 8
  • 23
  • 39
  • 17
  • 4
  • 8
  • 4
  • 4
  • 4
  • 15
  • 14
  • 15
  • 6
  • 4
  • 5
  • 4
  • 94
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 5
  • 6
  • 15
  • 4
  • 12
  • 4
  • 6
  • 19
  • 4
  • 10
  • 7
  • 8
  • 6
  • 4
  • 17
  • 4
  • 11
  • 4
  • 4
  • 13
  • 13
  • 7
  • 8
  • 5
  • 6
  • 4
  • 13
  • 6
  • 4
  • 6
  • 7
  • 5
  • 8
  • 5
  • 4
  • 15
  • 10
  • 35
  • 4
  • 4
  • 5
  • 5
  • 7
  • 10
  • 4
  • 4
  • 15
  • 25
  • 4
  • 4
  • 9
  • 15
  • 9
  • 33
  • 4
  • 6
  • 7
  • 4
  • 9
  • 4
  • 4
  • 13
  • 6
  • 7
  • 11
  • 4
  • 17
  • 21
  • 4
  • 8
  • 7
  • 10
  • 5
  • 17
  • 4
  • 25
  • 5
  • 78
  • 14
  • 20
  • 44
  • 6
  • 7
  • 11
  • 4
  • 5
  • 12
  • 4
  • 4
  • 6
  • 7
  • 5
  • 9
  • 7
  • 4
  • 4
  • 5
  • 16
  • 90
  • 13
  • 43
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 6
  • 5
  • 6
  • 14
  • 9
  • 11
  • 5
  • 4
  • 4
  • 7
  • 4
  • 18
  • 19
  • 27
  • 4
  • 5
  • 80
  • 5
  • 17
  • 6
  • 7
  • 10
  • 21
  • 5
  • 6
  • 5
  • 4
  • 4
  • 4
  • 32
  • 4
  • 9
  • 4
  • 25
  • 6
  • 4
  • 4
  • 5
  • 4
  • 13
  • 12
  • 13
  • 14
  • 10
  • 15
  • 10
  • 16
  • 4
  • 78
  • 11
  • 4
  • 7
  • 7
  • 22
  • 4
  • 4
  • 34
  • 23
  • 5
  • 5
  • 8
  • 11
  • 5
  • 13
  • 4
  • 7
  • 4
  • 4
  • 4
  • 9
  • 10
  • 4
  • 10
  • 5
  • 9
  • 4
  • 9
  • 8
  • 9
  • 7
  • 15
  • 4
  • 4
  • 7
  • 5
  • 25
  • 4
  • 12
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 20
  • 4
  • 4
  • 9
  • 7
  • 6
  • 11
  • 74
  • 6
  • 4
  • 5
  • 9
  • 4
  • 5
  • 7
  • 10
  • 36
  • 7
  • 4
  • 5
  • 12
  • 9
  • 4
  • 5
  • 9
  • 4
  • 4
  • 14
  • 4
  • 21
  • 25
  • 4
  • 5
  • 6
  • 4
  • 8
  • 8
  • 12
  • 6
  • 4
  • 5
  • 7
  • 4
  • 4
  • 7
  • 5
  • 4
  • 4
  • 8
  • 48
  • 8
  • 4
  • 23
  • 6
  • 41
  • 11
  • 5
  • 4
  • 13
  • 18
  • 4
  • 8
  • 12
  • 15
  • 6
  • 11
  • 28
  • 11
  • 11
  • 7
  • 5
  • 4
  • 14
  • 5
  • 15
  • 11
  • 6
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 24
  • 5
  • 6
  • 4
  • 38
  • 7
  • 8
  • 4
  • 6
  • 4
  • 12
  • 5
  • 30
  • 6
  • 14
  • 5
  • 36
  • 6
  • 4
  • 9
  • 90
  • 7
  • 6
  • 5
  • 6
  • 16
  • 15
  • 78
  • 9
  • 12
  • 8
  • 4
  • 9
  • 13
  • 19
  • 18
  • 9
  • 93
  • 4
  • 40
  • 11
  • 11
  • 7
  • 6
  • 89
  • 17
  • 4
  • 4
  • 20
  • 6
  • 4
  • 9
  • 15
  • 10
  • 5
  • 9
  • 4
  • 4
  • 5
  • 90
  • 5
  • 17
  • 4
  • 7
  • 7
  • 81
  • 12
  • 4
  • 16
  • 15
  • 11
  • 4
  • 10
  • 4
  • 13
  • 4
  • 7
  • 7
  • 15
  • 16
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 13
  • 4
  • 4
  • 25
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 14
  • 4
  • 9
  • 4
  • 16
  • 4
  • 10
  • 23
  • 29
  • 4
  • 6
  • 6
  • 4
  • 6
  • 19
  • 9
  • 4
  • 4
  • 4
  • 4
  • 13
  • 10
  • 31
  • 8
  • 4
  • 5
  • 13
  • 33
  • 4
  • 50
  • 4
  • 7
  • 7
  • 9
  • 5
  • 22
  • 4
  • 4
  • 4
  • 6
  • 6
  • 17
  • 4
  • 19
  • 24
  • 12
  • 25
  • 53
  • 10
  • 11
  • 16
  • 9
  • 6
  • 24
  • 14
  • 14
  • 4
  • 6
  • 4
  • 17
  • 10
  • 33
  • 4
  • 81
  • 4
  • 24
  • 12
  • 6
  • 13
  • 8
  • 7
  • 7
  • 12
  • 15
  • 4
  • 4
  • 8
  • 7
  • 4
  • 15
  • 9
  • 6
  • 6
  • 5
  • 89
  • 11
  • 18
  • 4
  • 16
  • 4
  • 5
  • 6
  • 5
  • 4
  • 16
  • 7
  • 4
  • 4
  • 4
  • 25
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 4
  • 13
  • 7
  • 6
  • 36
  • 6
  • 5
  • 5
  • 4
  • 4
  • 16
  • 12
  • 4
  • 6
  • 6
  • 4
  • 8
  • 8
  • 5
  • 24
  • 7
  • 11
  • 10
  • 5
  • 7
  • 6
  • 6
  • 5
  • 6
  • 4
  • 5
  • 7
  • 9
  • 5
  • 4
  • 5
  • 18
  • 5
  • 8
  • 4
  • 4
  • 12
  • 6
  • 4
  • 17
  • 25
  • 9
  • 6
  • 14
  • 5
  • 19
  • 4
  • 14
  • 5
  • 7
  • 6
  • 4
  • 18
  • 10
  • 6
  • 15
  • 4
  • 6
  • 8
  • 6
  • 4
  • 5
  • 21
  • 4
  • 4
  • 48
  • 4
  • 40
  • 22
  • 41
  • 4
  • 5
  • 4
  • 11
  • 4
  • 6
  • 18
  • 32
  • 7
  • 26
  • 21
  • 4
  • 5
  • 10
  • 7
  • 20
Verlag
  • 8
  • 8147
  • 3
  • 5
  • 1
  • 90
  • 3
  • 1
  • 11
  • 28
Preis
  • 27
  • 256
  • 6167
  • 1847
Sprachen
  • 8292
  • 15
  • 12
Verfügbarkeit
  • 8068
  • 229
Eigenschaften
  • 2
Katalog
  • 8297
  • 375
8.297  Treffer  für „Lecture Notes in Computer Science“
    Ganzinger | ESOP '88 | Buch | Sack Fachmedien

    Ganzinger ESOP '88

    2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19027-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Camilleri | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cantoni / Dimov / Tistarelli | Biometric Authentication | Buch | Sack Fachmedien

    Cantoni / Dimov / Tistarelli Biometric Authentication

    First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13385-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Petri Nets and Other Models of Concurrency III | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency III

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04854-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / Sato | Functional and Logic Programming | Buch | Sack Fachmedien

    Middeldorp / Sato Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66677-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poli | Applied Algebra, Algorithmics and Error-Correcting Codes | Buch | Sack Fachmedien

    Poli Applied Algebra, Algorithmics and Error-Correcting Codes

    2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16767-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alam / Parunak | Multi-Agent-Based Simulation XIV | Buch | Sack Fachmedien

    Alam / Parunak Multi-Agent-Based Simulation XIV

    International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54782-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedermann / Emde Boas / Nielsen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Wiedermann / Emde Boas / Nielsen Automata, Languages and Programming

    26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66224-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fuentes / Plebani / Combi | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Fuentes / Plebani / Combi Advanced Information Systems Engineering

    38th International Conference, CAiSE 2026, Verona, Italy, June 8-12, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28116-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ng / Raghavan / Balasubramanian | Algorithms and Computation | Buch | Sack Fachmedien

    Ng / Raghavan / Balasubramanian Algorithms and Computation

    4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57568-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Voronkov Rewriting Techniques and Applications

    19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70588-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42817-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bin / Ziv / Ur | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Bin / Ziv / Ur Hardware and Software, Verification and Testing

    Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70888-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | A Decade of Concurrency: Reflections and Perspectives | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg A Decade of Concurrency: Reflections and Perspectives

    Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58043-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Hung / Ogawa | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Labarta / Joe / Sato | High-Performance Computing | Buch | Sack Fachmedien

    Labarta / Joe / Sato High-Performance Computing

    6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ausiello / Böhm | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ausiello / Böhm Automata, Languages and Programming

    Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    1. Auflage 1978
    Verlag: Springer
    ISBN: 978-3-540-08860-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hailpern | Verifying Concurrent Processes Using Temporal Logic | Buch | Sack Fachmedien

    Hailpern Verifying Concurrent Processes Using Temporal Logic

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steels / Schreiber / Van de Velde | A Future for Knowledge Acquisition | Buch | Sack Fachmedien

    Steels / Schreiber / Van de Velde A Future for Knowledge Acquisition

    8th European Knowledge Acquisition Workshop, EKAW'94, Hoegaarden, Belgium, September 26 - 29, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58487-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Giese / Müller | Software Engineering for Self-Adaptive Systems | Buch | Sack Fachmedien

    de Lemos / Giese / Müller Software Engineering for Self-Adaptive Systems

    International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35812-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm | Variations on Constants | Buch | Sack Fachmedien

    Müller-Olm Variations on Constants

    Flow Analysis of Sequential and Parallel Programs
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45385-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montagna / Abreu / Giroux | Agents and Multi-Agent Systems for Health Care | Buch | Sack Fachmedien

    Montagna / Abreu / Giroux Agents and Multi-Agent Systems for Health Care

    10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70886-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Niebert | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Larsen / Niebert Formal Modeling and Analysis of Timed Systems

    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21671-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Isokoski / Springare | Haptics: Perception, Devices, Mobility, and Communication | Buch | Sack Fachmedien

    Isokoski / Springare Haptics: Perception, Devices, Mobility, and Communication

    8th International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31400-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dau / Mugnier / Stumme | Conceptual Structures: Common Semantics for Sharing Knowledge | Buch | Sack Fachmedien

    Dau / Mugnier / Stumme Conceptual Structures: Common Semantics for Sharing Knowledge

    13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27783-5
    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