Ergebnisse filtern
Fachgebiet
Medium
  • 1302
  • 28
Erscheinungsjahr
  • 7
  • 4
  • 1
  • 8
  • 13
  • 5
  • 6
  • 6
  • 9
  • 16
  • 19
  • 14
  • 17
  • 16
  • 65
  • 27
  • 41
  • 84
  • 70
  • 102
  • 112
  • 81
  • 63
  • 73
  • 56
  • 58
  • 29
  • 32
  • 42
  • 38
  • 37
  • 26
  • 19
  • 39
  • 21
  • 22
  • 12
  • 9
  • 6
  • 5
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 4
  • 4
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 3
  • 5
  • 2
  • 3
Verlag
  • 133
  • 2
  • 3
  • 1
  • 3
  • 47
  • 2
  • 3
  • 2
  • 6
  • 6
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 219
  • 643
  • 7
  • 2
  • 35
  • 26
  • 82
  • 7
  • 1
  • 7
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 6
  • 34
  • 1
  • 1
  • 1
  • 11
  • 1
  • 2
  • 1
Preis
  • 11
  • 207
  • 784
  • 328
Sprachen
  • 1172
  • 156
  • 2
Verfügbarkeit
  • 1324
  • 6
Eigenschaften
  • 1
Katalog
  • 1330
  • 50
1.330  Titel
    Vanderperren / Lumpe | Software Composition | Buch | Sack Fachmedien

    Vanderperren / Lumpe Software Composition

    6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77350-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-32616-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42314-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maibaum | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Maibaum Fundamental Approaches to Software Engineering

    Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67261-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieskamp / Stoddart / Santen | Integrated Formal Methods | Buch | Sack Fachmedien

    Grieskamp / Stoddart / Santen Integrated Formal Methods

    Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41196-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faltings / Rossi / Petcu | Recent Advances in Constraints | Buch | Sack Fachmedien

    Faltings / Rossi / Petcu Recent Advances in Constraints

    Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25176-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Bosnacki | Model Checking Software | Buch | Sack Fachmedien

    Leue / Bosnacki Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43477-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer | Model Checking Software | Buch | Sack Fachmedien

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis / Bouyssounouse | Embedded Systems Design | Buch | Sack Fachmedien

    Sifakis / Bouyssounouse Embedded Systems Design

    The ARTIST Roadmap for Research and Development
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25107-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutvonen | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Kutvonen Distributed Applications and Interoperable Systems

    5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sassone / Montanari | CONCUR '96: Concurrency Theory | Buch | Sack Fachmedien

    Sassone / Montanari CONCUR '96: Concurrency Theory

    7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61604-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grelck / Trinder / Huch | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Grelck / Trinder / Huch Implementation and Application of Functional Languages

    16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Cousot | Static Analysis | Buch | Sack Fachmedien

    Schmidt / Cousot Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61739-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulik / Lowes | Programmieren mit C | Buch | Sack Fachmedien

    Paulik / Lowes Programmieren mit C

    Ansi Standard
    3. Auflage 1990
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-22286-6
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noriega / Vázquez-Salceda / Boella | Coordination, Organizations, Institutions, and Norms in Agent Systems II | Buch | Sack Fachmedien

    Noriega / Vázquez-Salceda / Boella Coordination, Organizations, Institutions, and Norms in Agent Systems II

    AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers
    2007
    Verlag: Springer
    ISBN: 978-3-540-74457-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steeb / Hardy | Classical and Quantum Computing | Buch | Sack Fachmedien

    Steeb / Hardy Classical and Quantum Computing

    with C++ and Java Simulations
    2001
    Verlag: Springer
    ISBN: 978-3-7643-6610-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / EL Fallah-Seghrouchni / Dix | Programming Multi-Agent Systems | Buch | Sack Fachmedien

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

    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22180-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Odersky / Batory | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Odersky / Batory Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bogliolo / Bernardo | Formal Methods for Mobile Computing | Buch | Sack Fachmedien

    Bogliolo / Bernardo Formal Methods for Mobile Computing

    5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergstra / Wirsing | Algebraic Methods: Theory, Tools and Applications | Buch | Sack Fachmedien

    Bergstra / Wirsing Algebraic Methods: Theory, Tools and Applications

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51698-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boer / de Roever / Bonsangue | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Boer / de Roever / Bonsangue Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20303-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen / Watanabe / Ito | Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics | Buch | Sack Fachmedien

    Leeuwen / Watanabe / Ito Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

    International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67823-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adi / Tabet / Stoutenburg | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Adi / Tabet / Stoutenburg Rules and Rule Markup Languages for the Semantic Web

    First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29922-6
    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