Ergebnisse filtern
Fachgebiet
Medium
  • 3578
  • 263
  • 7
  • 2
Erscheinungsjahr
  • 2
  • 33
  • 275
  • 259
  • 276
  • 107
  • 114
  • 126
  • 135
  • 138
  • 132
  • 91
  • 147
  • 86
  • 125
  • 189
  • 289
  • 117
  • 404
  • 217
  • 158
  • 30
  • 34
  • 34
  • 26
  • 22
  • 44
  • 41
  • 33
  • 27
  • 15
  • 13
  • 6
  • 4
  • 8
  • 10
  • 4
  • 9
  • 3
  • 5
  • 5
  • 3
  • 2
  • 5
  • 5
  • 6
  • 9
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 8
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 8
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 9
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 17
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 10
  • 14
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 7
  • 4
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 7
  • 5
  • 3
  • 4
  • 4
  • 3
  • 8
  • 6
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 13
  • 3
  • 6
  • 7
  • 3
  • 5
  • 4
  • 6
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 7
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 6
  • 4
  • 8
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 26
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 14
  • 4
  • 5
  • 5
  • 7
  • 7
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 12
  • 3
  • 4
  • 5
  • 5
  • 5
  • 5
  • 8
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 3
  • 8
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 8
  • 5
  • 3
  • 3
  • 7
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 13
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
Verlag
  • 2
  • 2
  • 4
  • 33
  • 1
  • 3
  • 3
  • 1
  • 3
  • 24
  • 1
  • 9
  • 3
  • 132
  • 1
  • 1
  • 6
  • 1
  • 113
  • 116
  • 233
  • 2
  • 3
  • 5
  • 3
  • 1
  • 2
  • 21
  • 19
  • 10
  • 3
  • 7
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 24
  • 8
  • 1
  • 10
  • 4
  • 11
  • 1
  • 2
  • 7
  • 2
  • 1
  • 8
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 3
  • 16
  • 2
  • 2
  • 1
  • 1
  • 2567
  • 12
  • 2
  • 1
  • 2
  • 8
  • 10
  • 17
  • 14
  • 43
  • 29
  • 10
  • 8
  • 1
  • 68
  • 9
  • 34
  • 26
  • 3
  • 1
  • 1
  • 1
  • 43
  • 1
  • 1
  • 33
  • 2
  • 1
  • 5
  • 1
Preis
  • 76
  • 337
  • 1764
  • 1673
Sprachen
  • 3652
  • 193
  • 4
  • 3
  • 1
Verfügbarkeit
  • 3715
  • 135
Eigenschaften
  • 4
Katalog
  • 3850
  • 327
3.850  Titel
    Janhunen / Niemelä | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Janhunen / Niemelä Logics in Artificial Intelligence

    12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15674-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano / Sakai | Computational Geometry and Graphs | Buch | Sack Fachmedien

    Akiyama / Kano / Sakai Computational Geometry and Graphs

    Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45280-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozapalidis / Rahonis | Algebraic Informatics | Buch | Sack Fachmedien

    Bozapalidis / Rahonis Algebraic Informatics

    3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-03563-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gandomi / Alavi / Ryan | Handbook of Genetic Programming Applications | Buch | Sack Fachmedien

    Gandomi / Alavi / Ryan Handbook of Genetic Programming Applications

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-36313-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roy / Sendrier | Progress in Cryptology - INDOCRYPT 2009 | Buch | Sack Fachmedien

    Roy / Sendrier Progress in Cryptology - INDOCRYPT 2009

    10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10627-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aggarwal / Pandu Rangan | Algorithms and Computations | Buch | Sack Fachmedien

    Aggarwal / Pandu Rangan Algorithms and Computations

    10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66916-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Ambra / Guarracino / Talia | Euro-Par 2010 - Parallel Processing | Buch | Sack Fachmedien

    D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing

    16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15276-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fukuda / van der Hoeven / Joswig | Mathematical Software - ICMS 2010 | Buch | Sack Fachmedien

    Fukuda / van der Hoeven / Joswig Mathematical Software - ICMS 2010

    Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15581-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuellar / Maibaum | FM 2008: Formal Methods | Buch | Sack Fachmedien

    Cuellar / Maibaum FM 2008: Formal Methods

    15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elomaa / Mannila / Orponen | Algorithms and Applications | Buch | Sack Fachmedien

    Elomaa / Mannila / Orponen Algorithms and Applications

    Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12475-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blazewicz / Ecker / Schmidt | Scheduling in Computer and Manufacturing Systems | Buch | Sack Fachmedien

    Blazewicz / Ecker / Schmidt Scheduling in Computer and Manufacturing Systems

    2. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-642-79036-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Acquisti / Smith / Sadeghi | Trust and Trustworthy Computing | Buch | Sack Fachmedien

    Acquisti / Smith / Sadeghi Trust and Trustworthy Computing

    Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13868-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freivalds | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Freivalds Fundamentals of Computation Theory

    13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42487-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stinson / Tavares | Selected Areas in Cryptography | Buch | Sack Fachmedien

    Stinson / Tavares Selected Areas in Cryptography

    7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42069-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Lu / Seki | Developments in Language Theory | Buch | Sack Fachmedien

    Gao / Lu / Seki Developments in Language Theory

    14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14454-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tribastone / Gilmore | Computer Performance Engineering | Buch | Sack Fachmedien

    Tribastone / Gilmore Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrews / Timmis / Owens | Artificial Immune Systems | Buch | Sack Fachmedien

    Andrews / Timmis / Owens Artificial Immune Systems

    8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03245-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Martín-Vide / Truthe | Algorithms for Computational Biology | Buch | Sack Fachmedien

    Dediu / Martín-Vide / Truthe Algorithms for Computational Biology

    First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07952-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann / Meyer | Parallel Algorithms and Cluster Computing | Buch | Sack Fachmedien

    Hoffmann / Meyer Parallel Algorithms and Cluster Computing

    Implementations, Algorithms and Applications
    1. Auflage 2006
    Verlag: Springer Netherlands
    ISBN: 978-3-540-33539-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drossopoulou | ECOOP 2009 -- Object-Oriented Programming | Buch | Sack Fachmedien

    Drossopoulou ECOOP 2009 -- Object-Oriented Programming

    23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03012-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bacardit / Bernadó-Mansilla / Butz | Learning Classifier Systems | Buch | Sack Fachmedien

    Bacardit / Bernadó-Mansilla / Butz Learning Classifier Systems

    10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88137-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banda / Pontelli | Logic Programming | Buch | Sack Fachmedien

    Banda / Pontelli Logic Programming

    24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Nuno Oliveira | Teaching Formal Methods | Buch | Sack Fachmedien

    Gibbons / Nuno Oliveira Teaching Formal Methods

    Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04911-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Curien Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02272-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Uehara | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Das / Uehara WALCOM: Algorithms and Computation

    Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00201-4
    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