Ergebnisse filtern
Fachgebiet
Medium
  • 4837
  • 24
  • 9
Erscheinungsjahr
  • 1
  • 6
  • 31
  • 64
  • 54
  • 51
  • 69
  • 117
  • 135
  • 98
  • 135
  • 91
  • 142
  • 105
  • 145
  • 108
  • 250
  • 92
  • 174
  • 339
  • 310
  • 319
  • 238
  • 244
  • 224
  • 198
  • 142
  • 119
  • 109
  • 102
  • 87
  • 91
  • 81
  • 58
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 4
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 4
  • 6
  • 7
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 6
  • 8
  • 6
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 5
  • 3
  • 3
  • 9
  • 5
  • 4
  • 5
  • 11
  • 1
  • 1
  • 2
  • 24
  • 4
  • 1
  • 3
  • 7
  • 41
  • 6
  • 3
  • 2
  • 3
  • 8
  • 7
  • 1
  • 2
  • 2
  • 10
  • 2
  • 2
  • 9
  • 1
  • 3
  • 1
  • 7
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 7
  • 2
  • 1125
  • 2167
  • 1
  • 621
  • 1
  • 6
  • 3
  • 53
  • 101
  • 127
  • 77
  • 221
  • 8
  • 37
  • 3
  • 2
  • 1
  • 1
  • 8
  • 3
  • 4
  • 36
  • 2
  • 27
  • 1
  • 1
  • 3
Preis
  • 16
  • 204
  • 3004
  • 1646
Sprachen
  • 4728
  • 137
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4853
  • 17
Katalog
  • 4870
  • 212
4.870  Titel
    Calamoneri / Italiano / Finocchi | Algorithms and Complexity | Buch | Sack Fachmedien

    Calamoneri / Italiano / Finocchi Algorithms and Complexity

    6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34375-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Hujun | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

    Wang / Yi / Hujun Advances in Neural Networks - ISNN 2006

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34437-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Cimatti | Formal Methods for Hardware Verification | Buch | Sack Fachmedien

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34304-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandrov / van Albada / Sloot | Computational Science - ICCS 2006 | Buch | Sack Fachmedien

    Alexandrov / van Albada / Sloot Computational Science - ICCS 2006

    6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34379-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Armando | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Armando Frontiers of Combining Systems

    4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43381-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulte | Programming Constraint Services | Buch | Sack Fachmedien

    Schulte Programming Constraint Services

    High-Level Programming of Standard and New Constraint Services
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43371-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycroft / Zeller | Compiler Construction | Buch | Sack Fachmedien

    Mycroft / Zeller Compiler Construction

    15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33050-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Retore / Morrill | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Groote / Retore / Morrill Logical Aspects of Computational Linguistics

    4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42273-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zelikovsky | Transactions on Computational Systems Biology II | Buch | Sack Fachmedien

    Zelikovsky Transactions on Computational Systems Biology II

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29401-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maziero / Assis Silva / Silva | Dependable Computing | Buch | Sack Fachmedien

    Maziero / Assis Silva / Silva Dependable Computing

    Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29572-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kop / Pastor / Mayr | Conceptual Modeling - ER 2005 | Buch | Sack Fachmedien

    Kop / Pastor / Mayr Conceptual Modeling - ER 2005

    24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29389-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jorge / Torgo / Brazdil | Knowledge Discovery in Databases: PKDD 2005 | Buch | Sack Fachmedien

    Jorge / Torgo / Brazdil Knowledge Discovery in Databases: PKDD 2005

    9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29244-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Xu / Nejdl | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Cao / Xu / Nejdl Advanced Parallel Processing Technologies

    6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29639-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hobbs / Goscinski / Zhou | Distributed and Parallel Computing | Buch | Sack Fachmedien

    Hobbs / Goscinski / Zhou Distributed and Parallel Computing

    6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29235-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Delugach / Pfeiffer | Conceptual Structures at Work | Buch | Sack Fachmedien

    Wolff / Delugach / Pfeiffer Conceptual Structures at Work

    12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22392-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Groves | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun / Groves Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Milius / Heckel | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Milius / Heckel Algebra and Coalgebra in Computer Science

    5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40205-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Bravetti / Merayo | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Hierons / Bravetti / Merayo Software Engineering and Formal Methods

    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40560-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giachino / Bonsangue / Hähnle | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Giachino / Bonsangue / Hähnle Formal Methods for Components and Objects

    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    2013
    Verlag: Springer
    ISBN: 978-3-642-40614-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39957-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Wiklicky / de Vink | Formal Methods for Dynamical Systems | Buch | Sack Fachmedien

    Bernardo / Wiklicky / de Vink Formal Methods for Dynamical Systems

    13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
    2013
    Verlag: Springer
    ISBN: 978-3-642-38873-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hasegawa | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hasegawa Typed Lambda Calculi and Applications

    11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38945-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Peleg / Freivalds | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Fomin / Peleg / Freivalds Automata, Languages, and Programming

    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
    2013
    Verlag: Springer
    ISBN: 978-3-642-39211-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boreale / Beyer | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Boreale / Beyer Formal Techniques for Distributed Systems

    Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38591-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muscholl | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Muscholl Foundations of Software Science and Computation Structures

    17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54829-1
    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