Ergebnisse filtern
Fachgebiet
Medium
  • 4135
Erscheinungsjahr
  • 17
  • 234
  • 187
  • 135
  • 46
  • 30
  • 40
  • 49
  • 67
  • 54
  • 72
  • 74
  • 71
  • 84
  • 72
  • 77
  • 140
  • 132
  • 147
  • 202
  • 162
  • 142
  • 212
  • 214
  • 181
  • 181
  • 122
  • 121
  • 91
  • 101
  • 98
  • 84
  • 70
  • 65
  • 49
  • 69
  • 39
  • 40
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 8
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 11
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 5
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 11
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 9
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 4
  • 2
  • 10
  • 3
  • 7
  • 2
  • 3
  • 2
  • 12
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 33
  • 27
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 8
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 6
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 20
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 9
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 11
  • 3
  • 3
  • 5
  • 5
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 6
  • 3
  • 7
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 4
  • 7
  • 3
  • 9
  • 12
  • 3
  • 6
  • 4
  • 4
  • 11
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 9
  • 5
  • 5
  • 10
  • 21
  • 6
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 5
  • 5
  • 9
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 15
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 7
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 6
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 9
  • 4
  • 18
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 5
  • 6
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 35
  • 6
  • 9
  • 4
  • 10
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 27
  • 6
  • 4
  • 3
  • 9
  • 3
  • 4
  • 30
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 8
  • 6
  • 15
  • 9
  • 7
  • 3
  • 3
  • 8
  • 6
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 3
  • 5
  • 18
  • 6
  • 4
  • 5
  • 11
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 9
  • 5
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4112
  • 1
  • 1
  • 21
Preis
  • 13
  • 150
  • 3190
  • 782
Sprachen
  • 4135
  • 5
  • 1
Verfügbarkeit
  • 4134
  • 1
Eigenschaften
  • 1
Katalog
  • 4135
  • 235
4.135  Treffer  für „Lecture Notes in Computer Science“
    Klint | A Study in String Processing Languages | Buch | Sack Fachmedien

    Klint A Study in String Processing Languages

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16041-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guimarães / Panchenko / Przytycka | Advances in Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Guimarães / Panchenko / Przytycka Advances in Bioinformatics and Computational Biology

    4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-03222-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pirotte / Delobel / Gottlob | Advances in Database Technology - EDBT '92 | Buch | Sack Fachmedien

    Pirotte / Delobel / Gottlob Advances in Database Technology - EDBT '92

    3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55270-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chrysanthis / Nørvåg / Stefanidis | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Chrysanthis / Nørvåg / Stefanidis Advances in Databases and Information Systems

    29th European Conference, ADBIS 2025, Tampere, Finland, September 23-26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05280-3
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Hirschowitz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Zurada | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

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

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34439-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinneen / Khoussainov / Nies | Computation, Physics and Beyond | Buch | Sack Fachmedien

    Dinneen / Khoussainov / Nies Computation, Physics and Beyond

    International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27653-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Rolim / Simon | Solving Irregularly Structured Problems in Parallel | Buch | Sack Fachmedien

    Ferreira / Rolim / Simon Solving Irregularly Structured Problems in Parallel

    5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64809-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mason / Drwiega / Yan | Managing Traffic Performance in Converged Networks | Buch | Sack Fachmedien

    Mason / Drwiega / Yan Managing Traffic Performance in Converged Networks

    20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72989-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Pattinson / Hennicker | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Wirsing / Pattinson / Hennicker Recent Trends in Algebraic Development Techniques

    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwok / Lu / Zhang | Advances in Neural Networks -- ISNN 2010 | Buch | Sack Fachmedien

    Kwok / Lu / Zhang Advances in Neural Networks -- ISNN 2010

    7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13277-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butz / Sigaud / Pezzulo | Anticipatory Behavior in Adaptive Learning Systems | Buch | Sack Fachmedien

    Butz / Sigaud / Pezzulo Anticipatory Behavior in Adaptive Learning Systems

    From Brains to Individual and Social Behavior
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74261-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Brandt | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Schneider / Brandt Theorem Proving in Higher Order Logics

    20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74590-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heuser / Pernul | Advances in Conceptual Modeling - Challenging Perspectives | Buch | Sack Fachmedien

    Heuser / Pernul Advances in Conceptual Modeling - Challenging Perspectives

    ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04946-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwenker / Marinai | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    Schwenker / Marinai Artificial Neural Networks in Pattern Recognition

    Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37951-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli / Reggio | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Cerioli / Reggio Recent Trends in Algebraic Development Techniques

    15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
    2002
    Verlag: Springer
    ISBN: 978-3-540-43159-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haveraaen / Owe / Dahl | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Haveraaen / Owe / Dahl Recent Trends in Data Type Specification

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61629-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grundy / Newey | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Grundy / Newey Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64987-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuoka / Oldehoeft / Tholburn | Computing in Object-Oriented Parallel Environments | Buch | Sack Fachmedien

    Matsuoka / Oldehoeft / Tholburn Computing in Object-Oriented Parallel Environments

    Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66818-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Choppy / Mosses | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Bert / Choppy / Mosses Recent Trends in Algebraic Development Techniques

    14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67898-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perner / Salvetti | Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry | Buch | Sack Fachmedien

    Perner / Salvetti Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry

    International Conference, MDA 2006/2007, Leipzig, Germany, July 18, 2007, Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76299-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe | Topics in Cryptology - CT-RSA 2007 | Buch | Sack Fachmedien

    Abe Topics in Cryptology - CT-RSA 2007

    The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69327-7
    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
    Sadri / Satoh | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Sadri / Satoh Computational Logic in Multi-Agent Systems

    8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88832-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Sassi / Ducasse / Mili | Reuse in Emerging Software Engineering Practices | Buch | Sack Fachmedien

    Ben Sassi / Ducasse / Mili Reuse in Emerging Software Engineering Practices

    19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64693-6
    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