Fachgebiet
Medium
  • 3179
  • 316
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 18
  • 45
  • 242
  • 91
  • 71
  • 70
  • 86
  • 98
  • 63
  • 25
  • 38
  • 32
  • 33
  • 21
  • 25
  • 22
  • 124
  • 77
  • 148
  • 302
  • 303
  • 211
  • 107
  • 144
  • 109
  • 114
  • 84
  • 86
  • 82
  • 76
  • 78
  • 68
  • 65
  • 60
  • 40
  • 65
  • 33
  • 34
  • 26
  • 21
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 10
  • 22
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 24
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 6
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 10
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 2
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 9
  • 8
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 28
  • 11
  • 3
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 15
  • 5
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
Verlag
  • 3
  • 2
  • 1
  • 1
  • 307
  • 2
  • 1
  • 1
  • 7
  • 2
  • 4
  • 34
  • 16
  • 65
  • 1
  • 27
  • 331
  • 1
  • 6
  • 5
  • 1
  • 1
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 1
  • 3
  • 6
  • 1
  • 15
  • 2
  • 1
  • 1
  • 21
  • 3
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 12
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 6
  • 2
  • 1
  • 2245
  • 77
  • 10
  • 2
  • 14
  • 3
  • 15
  • 16
  • 26
  • 6
  • 19
  • 2
  • 16
  • 1
  • 32
  • 2
  • 2
  • 1
  • 21
  • 30
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
Preis
  • 130
  • 494
  • 2040
  • 835
Sprachen
  • 3259
  • 237
  • 7
  • 1
Verfügbarkeit
  • 3437
  • 62
Eigenschaften
  • 1
Katalog
  • 3499
  • 185
3.499  Titel


    Bollig Formal Models of Communicating Systems

    Languages, Automata, and Monadic Second-Order Logic
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hespanha / Tiwari Hybrid Systems: Computation and Control

    9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33170-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rothlauf / Branke / Cagnoni Applications of Evolutionary Computing

    EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33237-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cardelli / Emmott Transactions on Computational Systems Biology IV

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33245-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tomas / Ueberhuber Visualization of Scientific Parallel Programs

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57738-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Enjalbert / Mayr / Wagner STACS 94

    11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57785-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Joyce / Seger Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leeuwen Graph-Theoretic Concepts in Computer Science

    19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57899-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56283-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shyamasundar Foundations of Software Technology and Theoretical Computer Science

    12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-56287-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hanson / Remmele / Rivest Machine Learning: From Theory to Applications

    Cooperative Research at Siemens and MIT
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56483-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Heering / Meinke / Möller Higher-Order Algebra, Logic, and Term Rewriting

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58233-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gaudel / Jouannaud TAPSOFT '93: Theory and Practice of Software Development

    4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56610-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cohen / Mora / Moreno Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56686-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hermenegildo / Penjam Programming Language Implementation and Logic Programming

    6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58402-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bolding / Snyder Parallel Computer Routing and Communication

    First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58429-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Levi / Rodriguez-Artalejo Algebraic and Logic Programming

    4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58431-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bertino / Urban Object-Oriented Methodologies and Systems

    International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58451-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Greenfield Distributed Programming Paradigms with Cryptography Applications

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58496-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fribourg / Turini Logic Program Synthesis and Transformation - Meta-Programming in Logic

    4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58792-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gottlob / Vardi Database Theory - ICDT '95

    5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58907-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pettersson Compiling Natural Semantics

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65968-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Andler / Hansson Active, Real-Time, and Temporal Database Systems

    Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65649-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thomas Foundations of Software Science and Computation Structures

    Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65719-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vaandrager / Schuppen Hybrid Systems: Computation and Control

    Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65734-7
    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