Ergebnisse filtern
Fachgebiet
Medium
  • 2041
Erscheinungsjahr
  • 11
  • 152
  • 142
  • 107
  • 40
  • 18
  • 22
  • 30
  • 31
  • 24
  • 37
  • 48
  • 39
  • 50
  • 41
  • 34
  • 67
  • 62
  • 64
  • 78
  • 66
  • 61
  • 117
  • 104
  • 94
  • 73
  • 59
  • 52
  • 37
  • 29
  • 36
  • 33
  • 27
  • 32
  • 17
  • 32
  • 16
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 6
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 16
  • 3
  • 3
  • 4
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 6
  • 2
  • 3
  • 2
  • 4
  • 12
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 14
  • 23
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 4
  • 4
  • 8
  • 4
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 25
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 5
  • 2
  • 4
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 7
  • 12
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 9
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 11
  • 20
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 20
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 6
  • 18
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 11
  • 5
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 23
  • 4
  • 2
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 30
  • 2
  • 3
  • 3
  • 4
  • 2
  • 7
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 6
  • 21
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 18
  • 4
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
Verlag
  • 2034
  • 1
  • 6
Preis
  • 4
  • 84
  • 1643
  • 310
Sprachen
  • 2041
Verfügbarkeit
  • 2040
  • 1
Katalog
  • 2041
  • 135
2.041  Treffer  für „Lecture Notes in Computer Science“
    Ramalingam | Programming Languages and Systems | Buch | Sack Fachmedien

    Ramalingam Programming Languages and Systems

    6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89329-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Duy / Ho / Ha | Intelligent Agents and Multi-Agent Systems | Buch | Sack Fachmedien

    The Duy / Ho / Ha Intelligent Agents and Multi-Agent Systems

    11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89673-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / Padgham | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Luck / Padgham Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Neill / Vanneschi / Gustafson | Genetic Programming | Buch | Sack Fachmedien

    O'Neill / Vanneschi / Gustafson Genetic Programming

    11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78670-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergmann / Lindemann / Kirn | Multiagent System Technologies | Buch | Sack Fachmedien

    Bergmann / Lindemann / Kirn Multiagent System Technologies

    6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87804-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malenfant / Moisan / Moreira | Object-Oriented Technology: ECOOP 2000 Workshop Reader | Buch | Sack Fachmedien

    Malenfant / Moisan / Moreira Object-Oriented Technology: ECOOP 2000 Workshop Reader

    ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41513-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas | ECOOP 2006 - Object-Oriented Programming | Buch | Sack Fachmedien

    Thomas ECOOP 2006 - Object-Oriented Programming

    20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35726-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stølen / Winsborough / Martinelli | Trust Management | Buch | Sack Fachmedien

    Stølen / Winsborough / Martinelli Trust Management

    4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34295-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia / Choren / Lucena | Software Engineering for Multi-Agent Systems IV | Buch | Sack Fachmedien

    Garcia / Choren / Lucena Software Engineering for Multi-Agent Systems IV

    Research Issues and Practical Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33580-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Gregoire / Huisman | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | Buch | Sack Fachmedien

    Barthe / Gregoire / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33689-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sands | Programming Languages and Systems | Buch | Sack Fachmedien

    Sands Programming Languages and Systems

    10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41862-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Danvy / Filinski | Programs as Data Objects | Buch | Sack Fachmedien

    Danvy / Filinski Programs as Data Objects

    Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42068-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Datta / Herman | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Datta / Herman Self-Stabilizing Systems

    5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42653-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff | Ada 95 Reference Manual: Language and Standard Libraries | Buch | Sack Fachmedien

    Taft / Duff Ada 95 Reference Manual: Language and Standard Libraries

    International Standard ISO/IEC 8652:1995 (E)
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63144-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Static Analysis | Buch | Sack Fachmedien

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavedon / Rao / Wobcke | Intelligent Agent Systems: Theoretical and Practical Issues | Buch | Sack Fachmedien

    Cavedon / Rao / Wobcke Intelligent Agent Systems: Theoretical and Practical Issues

    Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62686-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Estublier | System Configuration Management | Buch | Sack Fachmedien

    Estublier System Configuration Management

    9th International Symposium, SCM-9 Toulouse, France, September 5-7, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66484-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hellwagner / Reinefeld | SCI: Scalable Coherent Interface | Buch | Sack Fachmedien

    Hellwagner / Reinefeld SCI: Scalable Coherent Interface

    Architecture and Software for High-Performance Compute Clusters
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66696-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araki / Gnesi / Mandrioli | FME 2003: Formal Methods | Buch | Sack Fachmedien

    Araki / Gnesi / Mandrioli FME 2003: Formal Methods

    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40828-4
    Medium: Buch
    106,99 € (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
    Taha | Semantics, Applications, and Implementation of Program Generation | Buch | Sack Fachmedien

    Taha Semantics, Applications, and Implementation of Program Generation

    International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41054-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voss | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Voss OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40435-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freire / Lorenz / Lee | High-Speed Networks and Multimedia Communications | Buch | Sack Fachmedien

    Freire / Lorenz / Lee High-Speed Networks and Multimedia Communications

    6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40542-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann / Krieg-Brückner | Program Development by Specification and Transformation | Buch | Sack Fachmedien

    Hoffmann / Krieg-Brückner Program Development by Specification and Transformation

    The PROSPECTRA Methodology, Language Family, and System
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56733-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Margaria / Steffen Tools and Algorithms for the Construction and Analysis of Systems

    Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61042-7
    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