Ergebnisse filtern
Fachgebiet
Medium
  • 4879
  • 31
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 65
  • 62
  • 51
  • 70
  • 118
  • 134
  • 98
  • 135
  • 91
  • 142
  • 105
  • 145
  • 106
  • 248
  • 93
  • 173
  • 338
  • 310
  • 323
  • 244
  • 246
  • 226
  • 198
  • 146
  • 120
  • 112
  • 104
  • 90
  • 94
  • 85
  • 62
  • 58
  • 65
  • 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
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 4
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 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
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 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
  • 2
  • 2
  • 3
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 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
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 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
  • 2
  • 3
  • 2
  • 3
  • 2
  • 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
  • 3
  • 5
  • 2
  • 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
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 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
  • 2
  • 3
  • 2
  • 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
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 8
  • 6
  • 4
  • 10
  • 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
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 24
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 10
  • 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
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 9
  • 5
  • 5
  • 3
  • 4
  • 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
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 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
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 4
  • 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
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 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
  • 5
  • 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
  • 19
  • 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
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 52
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 20
  • 4
  • 6
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 8
  • 6
  • 6
  • 3
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 6
  • 2
  • 3
  • 3
  • 9
  • 5
  • 11
  • 5
  • 9
  • 1
  • 1
  • 2
  • 25
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 8
  • 7
  • 1
  • 2
  • 2
  • 6
  • 3
  • 1
  • 1
  • 9
  • 1
  • 2
  • 1
  • 25
  • 1
  • 15
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 1
  • 3854
  • 103
  • 1
  • 168
  • 1
  • 3
  • 3
  • 31
  • 13
  • 1
  • 99
  • 77
  • 164
  • 4
  • 33
  • 3
  • 2
  • 1
  • 4
  • 9
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 15
  • 207
  • 3014
  • 1683
Sprachen
  • 4771
  • 144
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4902
  • 17
Katalog
  • 4919
  • 218
4.919  Titel
    Miguel / Tuml | Abstraction, Reformulation, and Approximation | Buch | Sack Fachmedien

    Miguel / Tuml Abstraction, Reformulation, and Approximation

    7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73579-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grzybek | Contributions to the Science of Text and Language | Buch | Sack Fachmedien

    Grzybek Contributions to the Science of Text and Language

    Word Length Studies and Related Issues
    2007
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-4069-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / McIver / Oliveira | Formal Methods - The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / McIver / Oliveira Formal Methods - The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30941-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neves / Santos / Machado | Progress in Artificial Intelligence | Buch | Sack Fachmedien

    Neves / Santos / Machado Progress in Artificial Intelligence

    13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77000-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scerri / Mailler / Vincent | Coordination of Large-Scale Multiagent Systems | Buch | Sack Fachmedien

    Scerri / Mailler / Vincent Coordination of Large-Scale Multiagent Systems

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer US
    ISBN: 978-1-4419-3872-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mossakowski / Montanari / Haveraaen | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Mossakowski / Montanari / Haveraaen Algebra and Coalgebra in Computer Science

    Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73857-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tyrrell / Haddow / Torresen | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Tyrrell / Haddow / Torresen Evolvable Systems: From Biology to Hardware

    5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-00730-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helary / Raynal | Distributed Algorithms | Buch | Sack Fachmedien

    Helary / Raynal Distributed Algorithms

    9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60274-3
    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
    Parent / Schewe / Storey | Conceptual Modeling - ER 2007 | Buch | Sack Fachmedien

    Parent / Schewe / Storey Conceptual Modeling - ER 2007

    26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75562-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biundo / Fox | Recent Advances in AI Planning | Buch | Sack Fachmedien

    Biundo / Fox Recent Advances in AI Planning

    5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67866-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pande / Agrawal | Compiler Optimizations for Scalable Parallel Systems | Buch | Sack Fachmedien

    Pande / Agrawal Compiler Optimizations for Scalable Parallel Systems

    Languages, Compilation Techniques, and Run Time Systems
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41945-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropatsch / Sablatnig / Hanbury | Pattern Recognition | Buch | Sack Fachmedien

    Kropatsch / Sablatnig / Hanbury Pattern Recognition

    27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28703-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Menezes | Topics in Cryptology -- CT-RSA 2005 | Buch | Sack Fachmedien

    Menezes Topics in Cryptology -- CT-RSA 2005

    The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24399-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Odell / Weiß | Agent-Oriented Software Engineering III | Buch | Sack Fachmedien

    Giunchiglia / Odell / Weiß Agent-Oriented Software Engineering III

    Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00713-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Vollmer / Kontinen | Dependence Logic | Buch | Sack Fachmedien

    Abramsky / Vollmer / Kontinen Dependence Logic

    Theory and Applications
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-81123-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boyle / Möller / Parvin | Advances in Visual Computing | Buch | Sack Fachmedien

    Boyle / Möller / Parvin Advances in Visual Computing

    Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76857-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / Ghidini / Turner | Modeling and Using Context | Buch | Sack Fachmedien

    Blackburn / Ghidini / Turner Modeling and Using Context

    4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40380-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pacholski / Tiuryn | Computer Science Logic | Buch | Sack Fachmedien

    Pacholski / Tiuryn Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60017-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Unifying Theories of Programming and Formal Engineering Methods | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Unifying Theories of Programming and Formal Engineering Methods

    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39720-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Eekelen / Geuvers / Schmaltz | Interactive Theorem Proving | Buch | Sack Fachmedien

    Van Eekelen / Geuvers / Schmaltz Interactive Theorem Proving

    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22862-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joseph / Shyamasundar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Joseph / Shyamasundar Foundations of Software Technology and Theoretical Computer Science

    Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13883-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srinathan / Pandu Rangan / Yung | Progress in Cryptology - INDOCRYPT 2007 | Buch | Sack Fachmedien

    Srinathan / Pandu Rangan / Yung Progress in Cryptology - INDOCRYPT 2007

    8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77025-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