Ergebnisse filtern
Fachgebiet
Medium
  • 935
Erscheinungsjahr
  • 12
  • 73
  • 93
  • 103
  • 9
  • 5
  • 8
  • 15
  • 12
  • 12
  • 13
  • 11
  • 7
  • 2
  • 11
  • 16
  • 33
  • 22
  • 36
  • 33
  • 39
  • 25
  • 54
  • 67
  • 40
  • 16
  • 8
  • 9
  • 20
  • 23
  • 29
  • 12
  • 10
  • 12
  • 16
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
Autoren
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 8
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 9
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 6
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 10
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 10
  • 8
  • 5
  • 7
  • 7
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 6
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 7
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 7
  • 2
  • 5
  • 2
  • 3
  • 2
  • 7
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 2
  • 10
  • 2
  • 2
  • 10
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 10
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 9
  • 3
  • 10
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 5
  • 3
  • 5
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 10
  • 2
  • 3
  • 8
  • 10
  • 15
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 6
  • 3
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 8
  • 2
  • 6
  • 3
  • 2
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 3
  • 2
Verlag
  • 930
  • 2
  • 3
Preis
  • 1
  • 20
  • 739
  • 175
Sprachen
  • 935
  • 2
  • 1
Verfügbarkeit
  • 935
Katalog
  • 935
  • 147
935  Treffer  für „Lecture Notes in Computer Science“
    Zhou / Rahman / Batina | Applied Cryptography and Network Security Workshops | Buch | Sack Fachmedien

    Zhou / Rahman / Batina Applied Cryptography and Network Security Workshops

    ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41180-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Mascolo | Middleware 2010 | Buch | Sack Fachmedien

    Gupta / Mascolo Middleware 2010

    ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büschkes / Laskov | Detection of Intrusions and Malware, and Vulnerability Assessment | Buch | Sack Fachmedien

    Büschkes / Laskov Detection of Intrusions and Malware, and Vulnerability Assessment

    Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36014-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindell | Composition of Secure Multi-Party Protocols | Buch | Sack Fachmedien

    Lindell Composition of Secure Multi-Party Protocols

    A Comprehensive Study
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20105-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Yamamoto | Inductive Logic Programming | Buch | Sack Fachmedien

    Horváth / Yamamoto Inductive Logic Programming

    13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lioy / Mazzocchi | Communications and Multimedia Security. Advanced Techniques for Network and Data Protection | Buch | Sack Fachmedien

    Lioy / Mazzocchi Communications and Multimedia Security. Advanced Techniques for Network and Data Protection

    7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20185-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dau | The Logic System of Concept Graphs with Negation | Buch | Sack Fachmedien

    Dau The Logic System of Concept Graphs with Negation

    And Its Relationship to Predicate Logic
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaiane / Srivastava / Spiliopoulou | WEBKDD 2002 - Mining Web Data for Discovering Usage Patterns and Profiles | Buch | Sack Fachmedien

    Zaiane / Srivastava / Spiliopoulou WEBKDD 2002 - Mining Web Data for Discovering Usage Patterns and Profiles

    4th International Workshop, Edmonton, Canada, July 23, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20304-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Händler | CONPAR 81 | Buch | Sack Fachmedien

    Händler CONPAR 81

    Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10827-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ershov / Koster | Methods of Algorithmic Language Implementation | Buch | Sack Fachmedien

    Ershov / Koster Methods of Algorithmic Language Implementation

    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08065-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Paul / Takasu | Mathematical Studies of Information Processing | Buch | Sack Fachmedien

    Blum / Paul / Takasu Mathematical Studies of Information Processing

    Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09541-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutchison / Christiansen / Coulson | Teleservices and Multimedia Communications | Buch | Sack Fachmedien

    Hutchison / Christiansen / Coulson Teleservices and Multimedia Communications

    Second COST 237 International Workshop, Copenhagen, Denmark, November 20 - 22, 1995. Proceedings.
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61028-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wierse / Grinstein / Lang | Database Issues for Data Visualization | Buch | Sack Fachmedien

    Wierse / Grinstein / Lang Database Issues for Data Visualization

    IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62221-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishida | Parallel, Distributed and Multiagent Production Systems | Buch | Sack Fachmedien

    Ishida Parallel, Distributed and Multiagent Production Systems

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58698-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kreveld / Nievergelt / Roos | Algorithmic Foundations of Geographic Information Systems | Buch | Sack Fachmedien

    Kreveld / Nievergelt / Roos Algorithmic Foundations of Geographic Information Systems

    1997
    Verlag: Springer
    ISBN: 978-3-540-63818-6
    Medium: Buch
    53,45 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses | CASL Reference Manual | Buch | Sack Fachmedien

    Mosses CASL Reference Manual

    The Complete Documentation of the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21301-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nord | Software Product Lines | Buch | Sack Fachmedien

    Nord Software Product Lines

    Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22918-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faratin / Parkes / Rodríguez-Aguilar | Agent-Mediated Electronic Commerce V | Buch | Sack Fachmedien

    Faratin / Parkes / Rodríguez-Aguilar Agent-Mediated Electronic Commerce V

    Designing Mechanisms and Systems, AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15. 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22674-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braun / Carle / Fahmy | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Braun / Carle / Fahmy Wired/Wireless Internet Communications

    4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34023-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coudert / Simplot-Ryl / Stojmenovic | Ad-hoc, Mobile and Wireless Networks | Buch | Sack Fachmedien

    Coudert / Simplot-Ryl / Stojmenovic Ad-hoc, Mobile and Wireless Networks

    7th International Conference, ADHOC-NOW 2008, Sophia Antipolis, France, September 10-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hämmerli | Critical Information Infrastructures Security | Buch | Sack Fachmedien

    Hämmerli Critical Information Infrastructures Security

    Second International Workshop, CRITIS 2007, Benalmadena-Costa, Spain, October 3-5, 2007
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89095-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Briggs / Antunes / de Vreede | Groupware: Design, Implementation, and Use | Buch | Sack Fachmedien

    Briggs / Antunes / de Vreede Groupware: Design, Implementation, and Use

    14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92830-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / van Oostrom / van Raamsdonk | Processes, Terms and Cycles: Steps on the Road to Infinity | Buch | Sack Fachmedien

    Middeldorp / van Oostrom / van Raamsdonk Processes, Terms and Cycles: Steps on the Road to Infinity

    Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30911-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dean / Boute | Teaching Formal Methods | Buch | Sack Fachmedien

    Dean / Boute Teaching Formal Methods

    CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23611-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