Ergebnisse filtern
Fachgebiet
Medium
  • 2113
  • 3
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 3
  • 8
  • 1
  • 4
  • 2
  • 5
  • 11
  • 23
  • 10
  • 13
  • 12
  • 172
  • 55
  • 113
  • 177
  • 111
  • 180
  • 167
  • 168
  • 138
  • 112
  • 97
  • 75
  • 72
  • 48
  • 66
  • 47
  • 41
  • 43
  • 21
  • 40
  • 24
  • 17
  • 9
  • 9
  • 4
  • 2
  • 3
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 15
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 5
  • 6
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 4
  • 2
  • 4
  • 12
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
Verlag
  • 2
  • 91
  • 2
  • 1
  • 1
  • 2
  • 8
  • 4
  • 1
  • 2
  • 7
  • 3
  • 1
  • 3
  • 1
  • 5
  • 4
  • 1
  • 1
  • 5
  • 2
  • 1
  • 3
  • 10
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 8
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 244
  • 1243
  • 8
  • 1
  • 86
  • 71
  • 1
  • 148
  • 7
  • 1
  • 50
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 18
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 2
Preis
  • 19
  • 143
  • 1257
  • 697
Sprachen
  • 1984
  • 133
  • 1
Verfügbarkeit
  • 2100
  • 16
Katalog
  • 2116
  • 253
2.116  Titel
    Jeffery / Plasil | SOFSEM '97: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Jeffery / Plasil SOFSEM '97: Theory and Practice of Informatics

    24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63774-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Luck | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Padgham / Luck Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Yoshida / Regensburger | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Yoshida / Regensburger Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheese | Parallel Execution of Parlog | Buch | Sack Fachmedien

    Cheese Parallel Execution of Parlog

    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55382-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomek | Computer Assisted Learning | Buch | Sack Fachmedien

    Tomek Computer Assisted Learning

    4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55578-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vosselman | Relational Matching | Buch | Sack Fachmedien

    Vosselman Relational Matching

    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55798-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verjus / Bensoussan | Future Tendencies in Computer Science, Control and Applied Mathematics | Buch | Sack Fachmedien

    Verjus / Bensoussan Future Tendencies in Computer Science, Control and Applied Mathematics

    International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56320-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuse | The Computer - My Life | Buch | Sack Fachmedien

    Zuse The Computer - My Life

    1993. 1993
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-56453-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Meyer / Ito | Theoretical Aspects of Computer Software | Buch | Sack Fachmedien

    Meyer / Ito Theoretical Aspects of Computer Software

    International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings
    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54415-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud / Gaudel | TAPSOFT '93: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Jouannaud / Gaudel TAPSOFT '93: Theory and Practice of Software Development

    4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56610-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wise / Hopkin / Stager | Verification and Validation of Complex Systems: Human Factors Issues | Buch | Sack Fachmedien

    Wise / Hopkin / Stager Verification and Validation of Complex Systems: Human Factors Issues

    Prodeecings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6-17, 1992
    1993
    Verlag: Springer
    ISBN: 978-3-540-56574-1
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Courcoubetis | Computer Aided Verification | Buch | Sack Fachmedien

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ueberhuber / Tomas | Visualization of Scientific Parallel Programs | Buch | Sack Fachmedien

    Ueberhuber / Tomas Visualization of Scientific Parallel Programs

    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57738-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seger / Joyce | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Seger / Joyce Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greenfield | Distributed Programming Paradigms with Cryptography Applications | Buch | Sack Fachmedien

    Greenfield Distributed Programming Paradigms with Cryptography Applications

    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58496-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns | Interactive Markov Chains | Buch | Sack Fachmedien

    Hermanns Interactive Markov Chains

    The Quest for Quantified Quality
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44261-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grigoras / Folliot / Nicolau | Advanced Environments, Tools, and Applications for Cluster Computing | Buch | Sack Fachmedien

    Grigoras / Folliot / Nicolau Advanced Environments, Tools, and Applications for Cluster Computing

    NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43672-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindsay / Eriksson | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Lindsay / Eriksson FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gregori / Cherkasova / Picco | Web Engineering and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Gregori / Cherkasova / Picco Web Engineering and Peer-to-Peer Computing

    NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44177-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ringeissen / Kirchner | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Ringeissen / Kirchner Algebraic Methodology and Software Technology

    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Encarnacao / Lockemann | Engineering Databases | Buch | Sack Fachmedien

    Encarnacao / Lockemann Engineering Databases

    Connecting Islands of Automation Through Databases
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52059-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veni Madhavan | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Veni Madhavan Foundations of Software Technology and Theoretical Computer Science

    Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52048-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Partsch | Specification and Transformation of Programs | Buch | Sack Fachmedien

    Partsch Specification and Transformation of Programs

    A Formal Approach to Software Development
    Softcover Nachdruck of the original 1. Auflage 1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52589-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snepscheut | Mathematics of Program Construction | Buch | Sack Fachmedien

    Snepscheut Mathematics of Program Construction

    375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51305-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Held | On the Computational Geometry of Pocket Machining | Buch | Sack Fachmedien

    Held On the Computational Geometry of Pocket Machining

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54103-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