Ergebnisse filtern
Fachgebiet
Medium
  • 3363
  • 1255
  • 5
  • 4
Erscheinungsjahr
  • 1
  • 26
  • 277
  • 338
  • 329
  • 279
  • 306
  • 340
  • 486
  • 229
  • 195
  • 137
  • 141
  • 75
  • 67
  • 42
  • 179
  • 112
  • 111
  • 76
  • 66
  • 51
  • 61
  • 74
  • 67
  • 61
  • 61
  • 46
  • 29
  • 56
  • 37
  • 20
  • 25
  • 15
  • 18
  • 17
  • 18
  • 17
  • 20
  • 15
  • 13
  • 13
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 21
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 7
  • 2
  • 2
  • 28
  • 16
  • 2
  • 3
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 7
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 11
  • 47
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 8
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 9
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 6
  • 10
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
  • 6
  • 4
  • 7
  • 3
  • 3
  • 3
  • 7
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 16
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 10
  • 3
  • 4
  • 9
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
Verlag
  • 3
  • 1
  • 873
  • 11
  • 7
  • 1
  • 14
  • 1
  • 1
  • 10
  • 1
  • 2
  • 61
  • 66
  • 62
  • 2
  • 3
  • 94
  • 1197
  • 1
  • 1
  • 3
  • 1
  • 14
  • 53
  • 2
  • 16
  • 16
  • 2
  • 3
  • 1
  • 3
  • 3
  • 2
  • 2
  • 38
  • 2
  • 2
  • 13
  • 13
  • 9
  • 2
  • 2
  • 5
  • 2
  • 7
  • 1
  • 8
  • 1
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 6
  • 17
  • 93
  • 4
  • 9
  • 1
  • 2
  • 2
  • 2
  • 2
  • 436
  • 376
  • 204
  • 3
  • 32
  • 30
  • 14
  • 19
  • 62
  • 5
  • 3
  • 13
  • 1
  • 1
  • 1
  • 1
  • 55
  • 19
  • 167
  • 86
  • 2
  • 8
  • 1
  • 9
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 2
  • 115
  • 1
  • 1
  • 1
  • 86
  • 4
  • 8
  • 2
  • 1
  • 23
  • 9
  • 1
  • 1
  • 2
Preis
  • 326
  • 1768
  • 1830
  • 703
Sprachen
  • 3979
  • 647
  • 5
Verfügbarkeit
  • 4512
  • 115
Eigenschaften
  • 4
Katalog
  • 4627
  • 151
4.627  Titel
    Adriaans / Zaanen / Fernau | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Adriaans / Zaanen / Fernau Grammatical Inference: Algorithms and Applications

    6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44239-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Namjoshi / Emerson | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Namjoshi / Emerson Verification, Model Checking, and Abstract Interpretation

    7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-31139-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bagge | Code IT Work Book 2 | Buch | Sack Fachmedien

    Bagge Code IT Work Book 2

    Choices in Programming
    Erscheinungsjahr 2017
    Verlag: University of Buckingham Press
    ISBN: 978-1-908684-55-4
    Medium: Buch
    15,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | Buch | Sack Fachmedien

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petriu / Rouquette / Haugen | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Petriu / Rouquette / Haugen Model Driven Engineering Languages and Systems

    13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II
    2010
    Verlag: Springer
    ISBN: 978-3-642-16128-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucera / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Kucera / Potapov Reachability Problems

    4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15348-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lastovetsky / Dongarra / Kechadi | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Lastovetsky / Dongarra / Kechadi Recent Advances in Parallel Virtual Machine and Message Passing Interface

    15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87474-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reusch | Computational Intelligence. Theory and Applications | Buch | Sack Fachmedien

    Reusch Computational Intelligence. Theory and Applications

    International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings
    2001
    Verlag: Springer
    ISBN: 978-3-540-42732-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sarukkai / Ramanujam | Logic and Its Applications | Buch | Sack Fachmedien

    Sarukkai / Ramanujam Logic and Its Applications

    Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92700-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wegener | Complexity Theory | Buch | Sack Fachmedien

    Wegener Complexity Theory

    Exploring the Limits of Efficient Algorithms
    Softcover Nachdruck of hardcover 1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05914-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hüllermeier / Kruse / Hoffmann | Information Processing and Management of Uncertainty in Knowledge-Based Systems | Buch | Sack Fachmedien

    Hüllermeier / Kruse / Hoffmann Information Processing and Management of Uncertainty in Knowledge-Based Systems

    13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I
    2010
    Verlag: Springer
    ISBN: 978-3-642-14054-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levi / Steffen | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Levi / Steffen Verification, Model Checking, and Abstract Interpretation

    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20803-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zsók / Butterfield | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Zsók / Butterfield Implementation and Application of Functional Languages

    18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
    2007
    Verlag: Springer
    ISBN: 978-3-540-74129-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maluszynski / Deransart | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Maluszynski / Deransart Programming Language Implementation and Logic Programming

    International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53010-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hentenryck | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    van Hentenryck Practical Aspects of Declarative Languages

    8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30947-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bottaci / Fraser | Testing: Academic and Industrial Conference - Practice and Research Techniques | Buch | Sack Fachmedien

    Bottaci / Fraser Testing: Academic and Industrial Conference - Practice and Research Techniques

    5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-15584-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Domain-Specific Languages | Buch | Sack Fachmedien

    Taha Domain-Specific Languages

    IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03033-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlineny / Kucera | Mathematical Foundations of Computer Science 2010 | Buch | Sack Fachmedien

    Hlineny / Kucera Mathematical Foundations of Computer Science 2010

    35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15154-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strohmeier | Reliable Software Technologies - Ada Europe 96 | Buch | Sack Fachmedien

    Strohmeier Reliable Software Technologies - Ada Europe 96

    1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oddi / Rossi / Fages | Recent Advances in Constraints | Buch | Sack Fachmedien

    Oddi / Rossi / Fages Recent Advances in Constraints

    13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-03250-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahn / Plotkin / MacQueen | Semantics of Data Types | Buch | Sack Fachmedien

    Kahn / Plotkin / MacQueen Semantics of Data Types

    International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
    1984
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-13346-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giesl / Hähnle | Automated Reasoning | Buch | Sack Fachmedien

    Giesl / Hähnle Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14202-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Satoh / Sadri | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Satoh / Sadri Computational Logic in Multi-Agent Systems

    8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88832-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '85 | Buch | Sack Fachmedien

    Wada Logic Programming '85

    Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berger | Embedded Systems Design | Buch | Sack Fachmedien

    Berger Embedded Systems Design

    An Introduction to Processes, Tools, and Techniques
    1. Auflage 2017
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-138-43646-6
    Medium: Buch
    179,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular