Ergebnisse filtern
Fachgebiet
Medium
  • 4447
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 25
  • 67
  • 54
  • 50
  • 70
  • 117
  • 134
  • 99
  • 135
  • 91
  • 142
  • 104
  • 120
  • 53
  • 243
  • 80
  • 167
  • 282
  • 199
  • 272
  • 230
  • 235
  • 211
  • 188
  • 139
  • 112
  • 109
  • 101
  • 86
  • 91
  • 81
  • 58
  • 58
  • 63
  • 38
  • 47
  • 27
  • 17
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 25
  • 9
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 18
  • 5
  • 3
  • 2
  • 9
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 17
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 5
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 9
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 21
  • 5
  • 5
  • 3
  • 12
  • 10
  • 5
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 6
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 17
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 5
  • 9
  • 4
  • 6
  • 10
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 7
  • 7
  • 5
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 4
  • 49
  • 11
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 19
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 6
  • 7
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 15
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 24
  • 4
  • 5
  • 3
  • 10
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4
  • 3
  • 3
  • 9
  • 5
  • 4
  • 11
  • 1
  • 1
  • 2
  • 22
  • 4
  • 1
  • 1
  • 10
  • 40
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 1
  • 2
  • 3
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 8
  • 1
  • 7
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 652
  • 2167
  • 1
  • 658
  • 1
  • 6
  • 3
  • 223
  • 54
  • 127
  • 223
  • 8
  • 40
  • 3
  • 2
  • 1
  • 2
  • 7
  • 4
  • 5
  • 1
  • 35
  • 2
  • 27
  • 1
  • 1
  • 2
Preis
  • 14
  • 207
  • 2744
  • 1517
Sprachen
  • 4341
  • 136
  • 13
Verfügbarkeit
  • 4461
  • 21
Eigenschaften
  • 1
Katalog
  • 4482
  • 200
4.482  Titel
    Ganzinger | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Ganzinger Rewriting Techniques and Applications

    7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61464-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen | Algorithmic Number Theory | Buch | Sack Fachmedien

    Cohen Algorithmic Number Theory

    Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61581-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higuchi / Weixin / Iwata | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Higuchi / Weixin / Iwata Evolvable Systems: From Biology to Hardware

    First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63173-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hein / Apostolico | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Hein / Apostolico Combinatorial Pattern Matching

    8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63220-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szalas / Penczek | Mathematical Foundations of Computer Science 1996 | Buch | Sack Fachmedien

    Szalas / Penczek Mathematical Foundations of Computer Science 1996

    21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61550-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses / Schwartzbach / Nielsen | TAPSOFT '95: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Mosses / Schwartzbach / Nielsen TAPSOFT '95: Theory and Practice of Software Development

    6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud / Comon | Term Rewriting | Buch | Sack Fachmedien

    Jouannaud / Comon Term Rewriting

    French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59340-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Möller | Mathematics of Program Construction | Buch | Sack Fachmedien

    Möller Mathematics of Program Construction

    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60117-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / DeMichelis | Application and Theory of Petri Nets 1995 | Buch | Sack Fachmedien

    Diaz / DeMichelis Application and Theory of Petri Nets 1995

    16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60029-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Alagar | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Nivat / Alagar Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zambonelli / Padgham | Agent-Oriented Software Engineering VII | Buch | Sack Fachmedien

    Zambonelli / Padgham Agent-Oriented Software Engineering VII

    7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sztipanovits / Kordon | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Sztipanovits / Kordon Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Düntsch / Polkowski | Transactions on Rough Sets VI | Buch | Sack Fachmedien

    Peters / Düntsch / Polkowski Transactions on Rough Sets VI

    Commemorating Life and Work of Zdislaw Pawlak, Part I
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71198-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romijn / van de Pol / Smith | Integrated Formal Methods | Buch | Sack Fachmedien

    Romijn / van de Pol / Smith Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30492-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Turull-Torres / Seipel | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Turull-Torres / Seipel Foundations of Information and Knowledge Systems

    Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20965-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maher | Advances in Computer Science - ASIAN 2004, Higher Level Decision Making | Buch | Sack Fachmedien

    Maher Advances in Computer Science - ASIAN 2004, Higher Level Decision Making

    9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24087-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comaniciu / Suter / Kanatani | Statistical Methods in Video Processing | Buch | Sack Fachmedien

    Comaniciu / Suter / Kanatani Statistical Methods in Video Processing

    ECCV 2004 Workshop SMVP 2004, Prague, Czech Republic, May 16, 2004, Revised Selected Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23989-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gulati / Das | Intelligent Information Technology | Buch | Sack Fachmedien

    Gulati / Das Intelligent Information Technology

    7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24126-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leite | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Leite Computational Logic in Multi-Agent Systems

    4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24010-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasanna / Bougé | High Performance Computing - HiPC 2004 | Buch | Sack Fachmedien

    Prasanna / Bougé High Performance Computing - HiPC 2004

    11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24129-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rust | Operational Semantics for Timed Systems | Buch | Sack Fachmedien

    Rust Operational Semantics for Timed Systems

    A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25576-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Verification: Theory and Practice | Buch | Sack Fachmedien

    Dershowitz Verification: Theory and Practice

    Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21002-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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