Ergebnisse filtern
Fachgebiet
Medium
  • 3130
  • 315
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 15
  • 46
  • 242
  • 98
  • 71
  • 72
  • 86
  • 97
  • 63
  • 24
  • 36
  • 30
  • 31
  • 20
  • 24
  • 21
  • 122
  • 76
  • 147
  • 301
  • 298
  • 207
  • 104
  • 133
  • 84
  • 112
  • 85
  • 86
  • 84
  • 79
  • 80
  • 68
  • 67
  • 60
  • 41
  • 65
  • 33
  • 33
  • 26
  • 20
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 10
  • 22
  • 2
  • 2
  • 4
  • 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
  • 2
  • 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
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 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
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 7
  • 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
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 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
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 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
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 3
  • 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
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 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
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 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
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 5
  • 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
  • 4
  • 4
  • 28
  • 11
  • 3
  • 4
  • 9
  • 3
  • 4
  • 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
  • 274
  • 2
  • 1
  • 1
  • 7
  • 1
  • 1
  • 4
  • 11
  • 16
  • 65
  • 1
  • 28
  • 327
  • 1
  • 6
  • 4
  • 1
  • 1
  • 3
  • 2
  • 8
  • 2
  • 4
  • 3
  • 1
  • 1
  • 2
  • 5
  • 1
  • 14
  • 2
  • 1
  • 1
  • 25
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 12
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 6
  • 4
  • 6
  • 1
  • 1
  • 2233
  • 94
  • 11
  • 2
  • 14
  • 8
  • 11
  • 15
  • 32
  • 6
  • 19
  • 2
  • 23
  • 1
  • 31
  • 2
  • 1
  • 21
  • 30
  • 3
  • 3
  • 1
  • 1
Preis
  • 92
  • 491
  • 2030
  • 836
Sprachen
  • 3212
  • 234
  • 7
  • 1
Verfügbarkeit
  • 3417
  • 32
Katalog
  • 3449
  • 183
3.449  Titel
    Garzon / Yan | DNA Computing | Buch | Sack Fachmedien

    Garzon / Yan DNA Computing

    13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-77961-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tuyls / Nowe / Guessoum | Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning | Buch | Sack Fachmedien

    Tuyls / Nowe / Guessoum Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning

    Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77947-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendren | Compiler Construction | Buch | Sack Fachmedien

    Hendren Compiler Construction

    17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78790-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vingron / Wong | Research in Computational Molecular Biology | Buch | Sack Fachmedien

    Vingron / Wong Research in Computational Molecular Biology

    12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78838-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agrawal / Du / Duan | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Agrawal / Du / Duan Theory and Applications of Models of Computation

    5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79227-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buhr | Understanding Control Flow | Buch | Sack Fachmedien

    Buhr Understanding Control Flow

    Concurrent Programming Using ¿C++
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-79830-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gavaldà / Jantke / Takimoto | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Gavaldà / Jantke / Takimoto Algorithmic Learning Theory

    14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20291-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Llamosi / Strohmeier | Reliable Software Technologies - Ada-Europe 2004 | Buch | Sack Fachmedien

    Llamosi / Strohmeier Reliable Software Technologies - Ada-Europe 2004

    9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22011-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Tamiz / Ries | New Developments in Multiple Objective and Goal Programming | Buch | Sack Fachmedien

    Jones / Tamiz / Ries New Developments in Multiple Objective and Goal Programming

    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-10353-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malloy / Staab / van den Brand | Software Language Engineering | Buch | Sack Fachmedien

    Malloy / Staab / van den Brand Software Language Engineering

    Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19439-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrial / Glässer | Rigorous Methods for Software Construction and Analysis | Buch | Sack Fachmedien

    Abrial / Glässer Rigorous Methods for Software Construction and Analysis

    Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11446-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Futh | EDV Personalführung | Buch | Sack Fachmedien

    Futh EDV Personalführung

    EDV-Personalorganisation, EDV-Personalplanung, EDV-Personalmanagement
    Nachdruck 2019
    Verlag: De Gruyter
    ISBN: 978-3-486-20371-4
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Futh | EDV-Systemrevision | Buch | Sack Fachmedien

    Futh EDV-Systemrevision

    Organisatorische Zweckmässigkeit, Wirtschaftlichkeit, Datensicherung, Datenschutz
    Nachdruck 2019
    Verlag: De Gruyter
    ISBN: 978-3-486-34941-2
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gavanelli / Reppy | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Gavanelli / Reppy Practical Aspects of Declarative Languages

    18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-28227-5
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández / Poskitt | Graph Transformation | Buch | Sack Fachmedien

    Fernández / Poskitt Graph Transformation

    16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36708-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Rozenberg / Salomaa | Membrane Computing | Buch | Sack Fachmedien

    Paun / Rozenberg / Salomaa Membrane Computing

    International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00611-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nyberg / Heys | Selected Areas in Cryptography | Buch | Sack Fachmedien

    Nyberg / Heys Selected Areas in Cryptography

    9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00622-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00172-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alain | Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing | Buch | Sack Fachmedien

    Alain Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing

    7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00195-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia / Lucena / Zambonelli | Software Engineering for Large-Scale Multi-Agent Systems | Buch | Sack Fachmedien

    Garcia / Lucena / Zambonelli Software Engineering for Large-Scale Multi-Agent Systems

    Research Issues and Practical Applications
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-08772-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Szczuka / Duentsch | Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | Buch | Sack Fachmedien

    Slezak / Szczuka / Duentsch Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

    10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28653-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olsen / Florack / Kuijper | Deep Structure, Singularities, and Computer Vision | Buch | Sack Fachmedien

    Olsen / Florack / Kuijper Deep Structure, Singularities, and Computer Vision

    First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29836-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartman / Kreische | Model Driven Architecture - Foundations and Applications | Buch | Sack Fachmedien

    Hartman / Kreische Model Driven Architecture - Foundations and Applications

    First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30026-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paragios / Faugeras / Chan | Variational, Geometric, and Level Set Methods in Computer Vision | Buch | Sack Fachmedien

    Paragios / Faugeras / Chan Variational, Geometric, and Level Set Methods in Computer Vision

    Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29348-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jayaraman | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Jayaraman Practical Aspects of Declarative Languages

    6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruynooghe | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Bruynooghe Logic Based Program Synthesis and Transformation

    13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22174-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rattray / Maharaj | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Rattray / Maharaj Algebraic Methodology and Software Technology

    10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghosh / Mohanty | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Ghosh / Mohanty Distributed Computing and Internet Technology

    First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24075-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomassini | Spatially Structured Evolutionary Algorithms | Buch | Sack Fachmedien

    Tomassini Spatially Structured Evolutionary Algorithms

    Artificial Evolution in Space and Time
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24193-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Auer / Meir | Learning Theory | Buch | Sack Fachmedien

    Auer / Meir Learning Theory

    18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26556-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / Li / Midkiff | Languages and Compilers for High Performance Computing | Buch | Sack Fachmedien

    Eigenmann / Li / Midkiff Languages and Compilers for High Performance Computing

    17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28009-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Reggio / Romanovsky | Scientific Engineering of Distributed Java Applications | Buch | Sack Fachmedien

    Guelfi / Reggio / Romanovsky Scientific Engineering of Distributed Java Applications

    4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25053-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Baader / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25236-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tinhofer / Schmidt | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Tinhofer / Schmidt Graph-Theoretic Concepts in Computer Science

    International Workshop WG '86 Bernried, Federal Republic of Germany, June 17-19, 1986, Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17218-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer / Florian / Malsch | Socionics | Buch | Sack Fachmedien

    Fischer / Florian / Malsch Socionics

    Scalability of Complex Social Systems
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30707-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Frachtenberg / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Frachtenberg / Rudolph Job Scheduling Strategies for Parallel Processing

    11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-31024-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio / Lugiez | CONCUR 2003 - Concurrency Theory | Buch | Sack Fachmedien

    Amadio / Lugiez CONCUR 2003 - Concurrency Theory

    14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40753-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buyya / Baker | Grid Computing - GRID 2000 | Buch | Sack Fachmedien

    Buyya / Baker Grid Computing - GRID 2000

    First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bücher / Moret | Algorithms in Bioinformatics | Buch | Sack Fachmedien

    Bücher / Moret Algorithms in Bioinformatics

    6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39583-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher / van der Hoek / Konev | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Fisher / van der Hoek / Konev Logics in Artificial Intelligence

    10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39625-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Abramson / Bogdanov | Computational Science - ICCS 2003 | Buch | Sack Fachmedien

    Sloot / Abramson / Bogdanov Computational Science - ICCS 2003

    International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003 Proceedings, Part I
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40194-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Dinneen / Paun | Unconventional Computation | Buch | Sack Fachmedien

    Calude / Dinneen / Paun Unconventional Computation

    5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38593-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asarin / Bouyer | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Asarin / Bouyer Formal Modeling and Analysis of Timed Systems

    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45026-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havinga / Lijding / Meratnia | Smart Sensing and Context | Buch | Sack Fachmedien

    Havinga / Lijding / Meratnia Smart Sensing and Context

    First European Conference, EuroSSC 2006, Enschede, Netherlands, October 25-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47842-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miola | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52531-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huo / Ma / Chng | Chinese Spoken Language Processing | Buch | Sack Fachmedien

    Huo / Ma / Chng Chinese Spoken Language Processing

    5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49665-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambler / Calo / Kar | Services Management in Intelligent Networks | Buch | Sack Fachmedien

    Ambler / Calo / Kar Services Management in Intelligent Networks

    11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41427-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pointcheval / Mu / Chen | Cryptology and Network Security | Buch | Sack Fachmedien

    Pointcheval / Mu / Chen Cryptology and Network Security

    5th International Conference, CANS 2006, Suzhou, China, December 8-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49462-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Abramson / Bogdanov | Computational Science - ICCS 2003 | Buch | Sack Fachmedien

    Sloot / Abramson / Bogdanov Computational Science - ICCS 2003

    International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003, Proceedings, Part IV
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40197-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Abramson / Bogdanov | Computational Science - ICCS 2003 | Buch | Sack Fachmedien

    Sloot / Abramson / Bogdanov Computational Science - ICCS 2003

    International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40196-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kakas / Sadri | Computational Logic: Logic Programming and Beyond | Buch | Sack Fachmedien

    Kakas / Sadri Computational Logic: Logic Programming and Beyond

    Essays in Honour of Robert A. Kowalski, Part I
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43959-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Semantics, Applications, and Implementation of Program Generation | Buch | Sack Fachmedien

    Taha Semantics, Applications, and Implementation of Program Generation

    Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42558-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yonezawa / Matsuoka | Metalevel Architectures and Separation of Crosscutting Concerns | Buch | Sack Fachmedien

    Yonezawa / Matsuoka Metalevel Architectures and Separation of Crosscutting Concerns

    Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42618-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Kirsch | Embedded Software | Buch | Sack Fachmedien

    Henzinger / Kirsch Embedded Software

    First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toueg / Spirakis / Kirousis | Distributed Algorithms | Buch | Sack Fachmedien

    Toueg / Spirakis / Kirousis Distributed Algorithms

    5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55236-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filliatre / Paulin-Mohring / Werner | Types for Proofs and Programs | Buch | Sack Fachmedien

    Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs

    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31428-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fossorier / Imai / Lin | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Fossorier / Imai / Lin Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31423-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Römer / Karl / Mattern | Wireless Sensor Networks | Buch | Sack Fachmedien

    Römer / Karl / Mattern Wireless Sensor Networks

    Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32158-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Björnsson / Netanyahu | Computers and Games | Buch | Sack Fachmedien

    Herik / Björnsson / Netanyahu Computers and Games

    4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32488-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Durand / Thomas | STACS 2006 | Buch | Sack Fachmedien

    Durand / Thomas STACS 2006

    23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32301-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Dang | Developments in Language Theory | Buch | Sack Fachmedien

    Ibarra / Dang Developments in Language Theory

    10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35428-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lewenstein / Valiente | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Lewenstein / Valiente Combinatorial Pattern Matching

    17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35455-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Wehrheim | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems

    8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34893-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ball / Jones | Computer Aided Verification | Buch | Sack Fachmedien

    Ball / Jones Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Královic / Urzyczyn | Mathematical Foundations of Computer Science 2006 | Buch | Sack Fachmedien

    Královic / Urzyczyn Mathematical Foundations of Computer Science 2006

    31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37791-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Correa / Hevia / Kiwi | LATIN 2006: Theoretical Informatics | Buch | Sack Fachmedien

    Correa / Hevia / Kiwi LATIN 2006: Theoretical Informatics

    7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32755-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valmari | Model Checking Software | Buch | Sack Fachmedien

    Valmari Model Checking Software

    13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33102-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldini / Gorrieri / Martinelli | Foundations of Security Analysis and Design III | Buch | Sack Fachmedien

    Aldini / Gorrieri / Martinelli Foundations of Security Analysis and Design III

    FOSAD 2004/2005 Tutorial Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28955-5
    Medium: Buch
    48,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Beckert Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28931-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borrione / Paul | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Borrione / Paul Correct Hardware Design and Verification Methods

    13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29105-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29131-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brodal / Leonardi | Algorithms – ESA 2005 | Buch | Sack Fachmedien

    Brodal / Leonardi Algorithms – ESA 2005

    13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29118-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhao / Gong / Tang | Analysis and Modelling of Faces and Gestures | Buch | Sack Fachmedien

    Zhao / Gong / Tang Analysis and Modelling of Faces and Gestures

    Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29229-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hegarty / Meyer / Narayanan | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Hegarty / Meyer / Narayanan Diagrammatic Representation and Inference

    Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43561-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gong / Helleseth / Song | Sequences and Their Applications - SETA 2006 | Buch | Sack Fachmedien

    Gong / Helleseth / Song Sequences and Their Applications - SETA 2006

    4th International Conference, Beijing, China, September 24-28, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-44523-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raoult | CAAP '92 | Buch | Sack Fachmedien

    Raoult CAAP '92

    17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55251-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flesca / Ianni | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Flesca / Ianni Logics in Artificial Intelligence

    European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44190-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokoro / Nierstrasz / Wegner | Object-Based Concurrent Computing | Buch | Sack Fachmedien

    Tokoro / Nierstrasz / Wegner Object-Based Concurrent Computing

    ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55613-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode / Reeve / Wolf | PARLE '93 Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Bode / Reeve / Wolf PARLE '93 Parallel Architectures and Languages Europe

    5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56891-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Jäger / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Jäger / Kleine Büning Computer Science Logic

    6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56992-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann | Unifying Theories of Programming | Buch | Sack Fachmedien

    Naumann Unifying Theories of Programming

    5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-14805-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castor / Liu | Programming Languages | Buch | Sack Fachmedien

    Castor / Liu Programming Languages

    20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45278-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Kobayashi / Tomita | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Jantke / Kobayashi / Tomita Algorithmic Learning Theory

    4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57370-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nishio / Yonezawa | Object Technologies for Advanced Software | Buch | Sack Fachmedien

    Nishio / Yonezawa Object Technologies for Advanced Software

    First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57342-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuchen / Swierstra | Programming Languages: Implementations, Logics, and Programs | Buch | Sack Fachmedien

    Kuchen / Swierstra Programming Languages: Implementations, Logics, and Programs

    8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61756-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jaffar / Yap | Concurrency and Parallelism, Programming, Networking, and Security | Buch | Sack Fachmedien

    Jaffar / Yap Concurrency and Parallelism, Programming, Networking, and Security

    Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-62031-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    North | Graph Drawing | Buch | Sack Fachmedien

    North Graph Drawing

    Symposium on Graph Drawing GD'96, Berkeley, California, USA, September 18 - 20, 1996, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62495-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panda / Stunkel | Communication and Architectural Support for Network-Based Parallel Computing | Buch | Sack Fachmedien

    Panda / Stunkel Communication and Architectural Support for Network-Based Parallel Computing

    First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62573-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / Marburger | Management and Processing of Complex Data Structures | Buch | Sack Fachmedien

    Luck / Marburger Management and Processing of Complex Data Structures

    Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57802-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guerraoui / Nierstrasz / Riveill | Object-Based Distributed Programming | Buch | Sack Fachmedien

    Guerraoui / Nierstrasz / Riveill Object-Based Distributed Programming

    ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57932-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gentzsch / Harms | High-Performance Computing and Networking | Buch | Sack Fachmedien

    Gentzsch / Harms High-Performance Computing and Networking

    International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Networking and Tools
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57981-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elmasri / Kouramajian / Thalheim | Entity-Relationship Approach - ER '93 | Buch | Sack Fachmedien

    Elmasri / Kouramajian / Thalheim Entity-Relationship Approach - ER '93

    12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58217-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Babaoglu / Marzullo | Distributed Algorithms | Buch | Sack Fachmedien

    Babaoglu / Marzullo Distributed Algorithms

    10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61769-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vulkov / Wasniewski / Yalamov | Numerical Analysis and Its Applications | Buch | Sack Fachmedien

    Vulkov / Wasniewski / Yalamov Numerical Analysis and Its Applications

    First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62598-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolter | Formal Methods and Stochastic Models for Performance Evaluation | Buch | Sack Fachmedien

    Wolter Formal Methods and Stochastic Models for Performance Evaluation

    Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75210-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raskin / Thiagarajan | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems

    5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75453-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garay / Lenstra / Mambo | Information Security | Buch | Sack Fachmedien

    Garay / Lenstra / Mambo Information Security

    10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75495-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartz-Beielstein / Blesa / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Bartz-Beielstein / Blesa / Blum Hybrid Metaheuristics

    4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75513-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holub / Ždárek | Implementation and Application of Automata | Buch | Sack Fachmedien

    Holub / Ždárek Implementation and Application of Automata

    12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76335-2
    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