Ergebnisse filtern
Fachgebiet
Medium
  • 3294
  • 251
  • 7
  • 2
Erscheinungsjahr
  • 2
  • 73
  • 236
  • 280
  • 105
  • 114
  • 128
  • 136
  • 142
  • 136
  • 89
  • 146
  • 83
  • 122
  • 186
  • 286
  • 113
  • 400
  • 213
  • 157
  • 27
  • 30
  • 33
  • 25
  • 21
  • 42
  • 40
  • 32
  • 26
  • 14
  • 10
  • 5
  • 4
  • 8
  • 10
  • 4
  • 9
  • 2
  • 5
  • 5
  • 3
  • 2
  • 5
  • 5
  • 6
  • 9
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 8
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 17
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 10
  • 14
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 6
  • 7
  • 3
  • 5
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 21
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 14
  • 4
  • 4
  • 5
  • 7
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 5
  • 5
  • 5
  • 9
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 6
  • 3
  • 4
  • 7
  • 6
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 6
  • 13
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
Verlag
  • 1
  • 1
  • 4
  • 34
  • 3
  • 1
  • 3
  • 22
  • 1
  • 1
  • 8
  • 4
  • 98
  • 1
  • 2
  • 6
  • 1
  • 112
  • 1
  • 92
  • 214
  • 2
  • 2
  • 5
  • 3
  • 1
  • 15
  • 15
  • 1
  • 7
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 6
  • 1
  • 10
  • 7
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 14
  • 2
  • 2
  • 1
  • 1
  • 2221
  • 11
  • 1
  • 114
  • 2
  • 32
  • 6
  • 1
  • 18
  • 46
  • 90
  • 3
  • 8
  • 2
  • 1
  • 1
  • 84
  • 10
  • 35
  • 1
  • 3
  • 1
  • 1
  • 1
  • 43
  • 1
  • 1
  • 43
  • 2
  • 1
  • 5
  • 12
Preis
  • 74
  • 339
  • 1613
  • 1528
Sprachen
  • 3363
  • 187
  • 3
  • 3
  • 1
Verfügbarkeit
  • 3507
  • 47
Eigenschaften
  • 3
Katalog
  • 3554
  • 307
3.554  Titel
    Christophides / Collard / Gutierrez | Semantic Web, Ontologies and Databases | Buch | Sack Fachmedien

    Christophides / Collard / Gutierrez Semantic Web, Ontologies and Databases

    VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70959-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pieprzyk / Zhang | Provable Security | Buch | Sack Fachmedien

    Pieprzyk / Zhang Provable Security

    Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04641-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nunez / Baker / Merayo | Testing of Software and Communication Systems | Buch | Sack Fachmedien

    Nunez / Baker / Merayo Testing of Software and Communication Systems

    21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05030-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Song / Lin / Aizawa | Information Retrieval Technology | Buch | Sack Fachmedien

    Song / Lin / Aizawa Information Retrieval Technology

    5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04768-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacobson / Rijmen / Safavi-Naini | Selected Areas in Cryptography | Buch | Sack Fachmedien

    Jacobson / Rijmen / Safavi-Naini Selected Areas in Cryptography

    16th International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05443-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeannot / Namyst / Roman | Euro-Par 2011 Parallel Processing | Buch | Sack Fachmedien

    Jeannot / Namyst / Roman Euro-Par 2011 Parallel Processing

    17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23399-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsui | Advances in Cryptology - ASIACRYPT 2009 | Buch | Sack Fachmedien

    Matsui Advances in Cryptology - ASIACRYPT 2009

    15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Datta | Advances in Computer Science, Information Security and Privacy | Buch | Sack Fachmedien

    Datta Advances in Computer Science, Information Security and Privacy

    13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puppis | Automata for Branching and Layered Temporal Structures | Buch | Sack Fachmedien

    Puppis Automata for Branching and Layered Temporal Structures

    An Investigation into Regularities of Infinite Transition Systems
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11880-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frappier / Glässer / Khurshid | Abstract State Machines, Alloy, B and Z | Buch | Sack Fachmedien

    Frappier / Glässer / Khurshid Abstract State Machines, Alloy, B and Z

    Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11810-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Ong Foundations of Software Science and Computational Structures

    13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12031-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Zhao | Computer and Computing Technologies in Agriculture III | Buch | Sack Fachmedien

    Li / Zhao Computer and Computing Technologies in Agriculture III

    Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12219-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    García-Pedrajas / Herrera / Fyfe | Trends in Applied Intelligent Systems | Buch | Sack Fachmedien

    García-Pedrajas / Herrera / Fyfe Trends in Applied Intelligent Systems

    23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13024-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    García-Pedrajas / Herrera / Fyfe | Trends in Applied Intelligent Systems | Buch | Sack Fachmedien

    García-Pedrajas / Herrera / Fyfe Trends in Applied Intelligent Systems

    23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13032-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Festa | Experimental Algorithms | Buch | Sack Fachmedien

    Festa Experimental Algorithms

    9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13192-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Chen Algorithmic Aspects in Information and Management

    6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14354-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qing / Mitchell / Wang | Information and Communications Security | Buch | Sack Fachmedien

    Qing / Mitchell / Wang Information and Communications Security

    11th International Conference, ICICS 2009
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-11144-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11318-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker | Runtime Verification | Buch | Sack Fachmedien

    Leucker Runtime Verification

    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89246-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Banatre / Hölzl | Software-Intensive Systems and New Computing Paradigms | Buch | Sack Fachmedien

    Wirsing / Banatre / Hölzl Software-Intensive Systems and New Computing Paradigms

    Challenges and Visions
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89436-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kawano / Mosca | Theory of Quantum Computation, Communication, and Cryptography | Buch | Sack Fachmedien

    Kawano / Mosca Theory of Quantum Computation, Communication, and Cryptography

    Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Kim / Katzenbeisser | Digital Watermarking | Buch | Sack Fachmedien

    Shi / Kim / Katzenbeisser Digital Watermarking

    6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Son / van Riemsdijk | Declarative Agent Languages and Technologies VI | Buch | Sack Fachmedien

    Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies VI

    6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93919-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