Ergebnisse filtern
Fachgebiet
Medium
  • 3172
  • 350
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 3
  • 30
  • 77
  • 238
  • 96
  • 65
  • 78
  • 82
  • 92
  • 66
  • 25
  • 39
  • 31
  • 33
  • 21
  • 25
  • 21
  • 125
  • 77
  • 148
  • 302
  • 302
  • 206
  • 107
  • 140
  • 105
  • 112
  • 82
  • 88
  • 82
  • 77
  • 78
  • 67
  • 65
  • 60
  • 40
  • 65
  • 33
  • 34
  • 26
  • 21
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 24
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 24
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 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
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 4
  • 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
  • 5
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 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
  • 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
  • 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
  • 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
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 5
  • 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
  • 4
  • 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
  • 4
  • 5
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 28
  • 11
  • 3
  • 4
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 15
  • 3
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 6
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 6
  • 3
  • 4
Verlag
  • 3
  • 2
  • 1
  • 1
  • 302
  • 2
  • 1
  • 1
  • 7
  • 4
  • 2
  • 34
  • 13
  • 68
  • 1
  • 28
  • 369
  • 1
  • 6
  • 5
  • 1
  • 1
  • 6
  • 1
  • 2
  • 3
  • 2
  • 4
  • 3
  • 1
  • 15
  • 8
  • 1
  • 3
  • 2
  • 1
  • 1
  • 21
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 13
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 6
  • 2
  • 1
  • 2344
  • 21
  • 2
  • 2
  • 11
  • 16
  • 16
  • 7
  • 2
  • 19
  • 2
  • 18
  • 1
  • 27
  • 6
  • 2
  • 1
  • 21
  • 16
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
Preis
  • 132
  • 509
  • 2034
  • 851
Sprachen
  • 3293
  • 230
  • 7
  • 1
Verfügbarkeit
  • 3464
  • 62
Katalog
  • 3526
  • 183
3.526  Titel
    Asano / Igarashi / Nagamochi | Algorithms and Computation | Buch | Sack Fachmedien

    Asano / Igarashi / Nagamochi Algorithms and Computation

    7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-62048-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Penjam | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    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
    Jarzebowicz / Lukovic / Przybylek | Software, System, and Service Engineering | Buch | Sack Fachmedien

    Jarzebowicz / Lukovic / Przybylek Software, System, and Service Engineering

    S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 Septembe
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51074-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheese | Parallel Execution of Parlog | Buch | Sack Fachmedien

    Cheese Parallel Execution of Parlog

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55382-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kikuchi / Rannenberg | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Kikuchi / Rannenberg Advances in Information and Computer Security

    Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75650-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robinet | International Symposium on Programming | Buch | Sack Fachmedien

    Robinet International Symposium on Programming

    Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-09981-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blikle / Barstow / Brauer | MetaSoft Primer | Buch | Sack Fachmedien

    Blikle / Barstow / Brauer MetaSoft Primer

    Towards a Metalanguage for Applied Denotational Semantics
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18657-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levi / Rodriguez-Artalejo | Algebraic and Logic Programming | Buch | Sack Fachmedien

    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
    Pichler / Moreno Diaz | Computer Aided Systems Theory - EUROCAST '91 | Buch | Sack Fachmedien

    Pichler / Moreno Diaz Computer Aided Systems Theory - EUROCAST '91

    A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55354-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan / Soule / Poli | Genetic Programming | Buch | Sack Fachmedien

    Ryan / Soule / Poli Genetic Programming

    6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00971-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Lindsay | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stadler / Stiller | Active Technologies for Network and Service Management | Buch | Sack Fachmedien

    Stadler / Stiller Active Technologies for Network and Service Management

    10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66598-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sands | Programming Languages and Systems | Buch | Sack Fachmedien

    Sands Programming Languages and Systems

    10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41862-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ito / Halstead | Parallel Lisp: Languages and Systems | Buch | Sack Fachmedien

    Ito / Halstead Parallel Lisp: Languages and Systems

    US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52782-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ingolfsdottir / Mishra / Nielson | Transactions on Computational Systems Biology VII | Buch | Sack Fachmedien

    Ingolfsdottir / Mishra / Nielson Transactions on Computational Systems Biology VII

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48837-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tixeuil / Herman | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Tixeuil / Herman Self-Stabilizing Systems

    7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29814-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Najm / Nestmann / Stevens | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Najm / Nestmann / Stevens Formal Methods for Open Object-Based Distributed Systems

    6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20491-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konev / Wolter | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Konev / Wolter Frontiers of Combining Systems

    6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74620-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balsamo / Knottenbelt / Marin | Computer Performance Engineering | Buch | Sack Fachmedien

    Balsamo / Knottenbelt / Marin Computer Performance Engineering

    10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40724-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaudenay | Advances in Cryptology – EUROCRYPT 2006 | Buch | Sack Fachmedien

    Vaudenay Advances in Cryptology – EUROCRYPT 2006

    25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34546-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Liu / Ma | Information Retrieval Technology | Buch | Sack Fachmedien

    Li / Liu / Ma Information Retrieval Technology

    4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68633-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mclver / Morgan | Programming Methodology | Buch | Sack Fachmedien

    Mclver / Morgan Programming Methodology

    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-0-387-95349-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauber Du Bois / Trinder | Programming Languages | Buch | Sack Fachmedien

    Rauber Du Bois / Trinder Programming Languages

    17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40921-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bistarelli | Semirings for Soft Constraint Solving and Programming | Buch | Sack Fachmedien

    Bistarelli Semirings for Soft Constraint Solving and Programming

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebner / O'Neill / Ekárt | Genetic Programming | Buch | Sack Fachmedien

    Ebner / O'Neill / Ekárt Genetic Programming

    10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71602-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoshiura / Sakurai / Rannenberg | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Yoshiura / Sakurai / Rannenberg Advances in Information and Computer Security

    First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47699-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Progress in Cryptology - VIETCRYPT 2006 | Buch | Sack Fachmedien

    Nguyen Progress in Cryptology - VIETCRYPT 2006

    First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68799-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nipkow Rewriting Techniques and Applications

    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Hähnle / Schmitt | Verification of Object-Oriented Software. The KeY Approach | Buch | Sack Fachmedien

    Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raidl / Cagnoni / Branke | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Raidl / Cagnoni / Branke Applications of Evolutionary Computing

    EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21378-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1990 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1990

    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53863-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bento / Cardoso / Dias | Progress in Artificial Intelligence | Buch | Sack Fachmedien

    Bento / Cardoso / Dias Progress in Artificial Intelligence

    12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30737-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Haverkort / Leucker | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Haverkort / Leucker Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revi
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robinet | ESOP 86 | Buch | Sack Fachmedien

    Robinet ESOP 86

    European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16442-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    State / van der Meer / O'Sullivan | Large Scale Management of Distributed Systems | Buch | Sack Fachmedien

    State / van der Meer / O'Sullivan Large Scale Management of Distributed Systems

    17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47659-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi | Transactions on Data Hiding and Multimedia Security IV | Buch | Sack Fachmedien

    Shi Transactions on Data Hiding and Multimedia Security IV

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01756-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Ringeissen | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Kirchner / Ringeissen Algebraic Methodology and Software Technology

    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi | Transactions on Data Hiding and Multimedia Security II | Buch | Sack Fachmedien

    Shi Transactions on Data Hiding and Multimedia Security II

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73091-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovacs / Llorà / Takadama | Learning Classifier Systems | Buch | Sack Fachmedien

    Kovacs / Llorà / Takadama Learning Classifier Systems

    International Workshops, IWLCS 2003-2005, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71230-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pan / Chen / Guo | Parallel and Distributed Processing and Applications | Buch | Sack Fachmedien

    Pan / Chen / Guo Parallel and Distributed Processing and Applications

    Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29769-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Pierce | Theoretical Aspects of Computer Software | Buch | Sack Fachmedien

    Kobayashi / Pierce Theoretical Aspects of Computer Software

    4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazurkiewicz / Winkowski | CONCUR'97: Concurrency Theory | Buch | Sack Fachmedien

    Mazurkiewicz / Winkowski CONCUR'97: Concurrency Theory

    8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kistler | Disconnected Operation in a Distributed File System | Buch | Sack Fachmedien

    Kistler Disconnected Operation in a Distributed File System

    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60627-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkel / Jantzen | STACS 92 | Buch | Sack Fachmedien

    Finkel / Jantzen STACS 92

    9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55210-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pena / Arts | Implementation of Functional Languages | Buch | Sack Fachmedien

    Pena / Arts Implementation of Functional Languages

    14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40190-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abiteboul / Kanellakis | ICDT '90 | Buch | Sack Fachmedien

    Abiteboul / Kanellakis ICDT '90

    Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53507-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Breugel / Chechik | CONCUR 2008 - Concurrency Theory | Buch | Sack Fachmedien

    van Breugel / Chechik CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85360-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zippel | Computer Algebra and Parallelism | Buch | Sack Fachmedien

    Zippel Computer Algebra and Parallelism

    Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55328-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitt / Rydeheard / Johnstone | Category Theory and Computer Science | Buch | Sack Fachmedien

    Pitt / Rydeheard / Johnstone Category Theory and Computer Science

    6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60164-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruynooghe / Lau | Program Development in Computational Logic | Buch | Sack Fachmedien

    Bruynooghe / Lau Program Development in Computational Logic

    A Decade of Research Advances in Logic-Based Program Development
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22152-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Emde Boas / Pokorny / Bieliková | SOFSEM 2004: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Van Emde Boas / Pokorny / Bieliková SOFSEM 2004: Theory and Practice of Computer Science

    30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20779-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloman / Lobo / Lupu | Policies for Distributed Systems and Networks | Buch | Sack Fachmedien

    Sloman / Lobo / Lupu Policies for Distributed Systems and Networks

    International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41610-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muggleton | Inductive Logic Programming | Buch | Sack Fachmedien

    Muggleton Inductive Logic Programming

    6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63494-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karsai / Visser | Generative Programming and Component Engineering | Buch | Sack Fachmedien

    Karsai / Visser Generative Programming and Component Engineering

    Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23580-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alferes / Moniz Pereira | Reasoning with Logic Programming | Buch | Sack Fachmedien

    Alferes / Moniz Pereira Reasoning with Logic Programming

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61488-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobini / Brabazon / Cagnoni | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Giacobini / Brabazon / Cagnoni Applications of Evolutionary Computing

    EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78760-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwarkadas | Languages, Compilers, and Run-Time Systems for Scalable Computers | Buch | Sack Fachmedien

    Dwarkadas Languages, Compilers, and Run-Time Systems for Scalable Computers

    5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41185-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams / Simoff | Data Mining | Buch | Sack Fachmedien

    Williams / Simoff Data Mining

    Theory, Methodology, Techniques, and Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32547-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Grid Computing - GRID 2001 | Buch | Sack Fachmedien

    Lee Grid Computing - GRID 2001

    Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42949-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Zambonelli | Agent-Oriented Software Engineering VI | Buch | Sack Fachmedien

    Müller / Zambonelli Agent-Oriented Software Engineering VI

    6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34097-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Irwin | Computational Intelligence and Bioinformatics | Buch | Sack Fachmedien

    Huang / Irwin Computational Intelligence and Bioinformatics

    International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part III
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37277-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Häberlein | Programmieren mit Python | Buch | Sack Fachmedien

    Häberlein Programmieren mit Python

    Eine Einführung in die Prozedurale, Objektorientierte und Funktionale Programmierung
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-662-68677-5
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Leeuwen Graph-Theoretic Concepts in Computer Science

    International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50728-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Karlsson / Carlsson | Automata, Languages and Programming | Buch | Sack Fachmedien

    Lingas / Karlsson / Carlsson Automata, Languages and Programming

    20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56939-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montoyo / Munoz / Métais | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Montoyo / Munoz / Métais Natural Language Processing and Information Systems

    10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26031-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doherty / Blandford | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Doherty / Blandford Interactive Systems. Design, Specification, and Verification

    13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69553-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Gesù / Masulli / Petrosino | Fuzzy Logic and Applications | Buch | Sack Fachmedien

    Di Gesù / Masulli / Petrosino Fuzzy Logic and Applications

    5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31019-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Danvy / Filinski | Programs as Data Objects | Buch | Sack Fachmedien

    Danvy / Filinski Programs as Data Objects

    Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42068-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehornoy | Complexité et Décidabilité | Buch | Sack Fachmedien

    Dehornoy Complexité et Décidabilité

    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56899-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guessarian | Semantics of Systems of Concurrent Processes | Buch | Sack Fachmedien

    Guessarian Semantics of Systems of Concurrent Processes

    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koymans | Specifying Message Passing and Time-Critical Systems with Temporal Logic | Buch | Sack Fachmedien

    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
    Marchiori / Moore / Rajapakse | Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics | Buch | Sack Fachmedien

    Marchiori / Moore / Rajapakse Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

    5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71782-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Skutella Approximation and Online Algorithms

    5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77917-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Someren / Widmer | Machine Learning: ECML'97 | Buch | Sack Fachmedien

    Someren / Widmer Machine Learning: ECML'97

    9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62858-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia / Choren / Lucena | Software Engineering for Multi-Agent Systems IV | Buch | Sack Fachmedien

    Garcia / Choren / Lucena Software Engineering for Multi-Agent Systems IV

    Research Issues and Practical Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33580-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hagiya / Wadler | Functional and Logic Programming | Buch | Sack Fachmedien

    Hagiya / Wadler Functional and Logic Programming

    8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiper / Shvartsman / Weatherspoon | Future Directions in Distributed Computing | Buch | Sack Fachmedien

    Schiper / Shvartsman / Weatherspoon Future Directions in Distributed Computing

    Research and Position Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00912-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monien / Ottmann | Data Structures and Efficient Algorithms | Buch | Sack Fachmedien

    Monien / Ottmann Data Structures and Efficient Algorithms

    Final Report on the DFG Special Joint Initiative
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hubner / Matson / Boissier | Coordination, Organizations, Institutions and Norms in Agent Systems IV | Buch | Sack Fachmedien

    Hubner / Matson / Boissier Coordination, Organizations, Institutions and Norms in Agent Systems IV

    COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00442-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gollmann | Fast Software Encryption | Buch | Sack Fachmedien

    Gollmann Fast Software Encryption

    Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60865-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simon | LATIN '92 | Buch | Sack Fachmedien

    Simon LATIN '92

    1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55284-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Principles and Practice of Constraint Programming - CP97 | Buch | Sack Fachmedien

    Smolka Principles and Practice of Constraint Programming - CP97

    Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63753-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg | Computer Aided Verification | Buch | Sack Fachmedien

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frachtenberg / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71034-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bentley / Lee / Jung | Artificial Immune Systems | Buch | Sack Fachmedien

    Bentley / Lee / Jung Artificial Immune Systems

    7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85071-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pontelli / Vitor | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Pontelli / Vitor Practical Aspects of Declarative Languages

    Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-66992-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Madsen / Wasniewski | Applied Parallel Computing | Buch | Sack Fachmedien

    Dongarra / Madsen / Wasniewski Applied Parallel Computing

    State of the Art in Scientific Computing
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29067-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DiBattista | Graph Drawing | Buch | Sack Fachmedien

    DiBattista Graph Drawing

    5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63938-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grigoriev / Harrison / Hirsch | Computer Science -- Theory and Applications | Buch | Sack Fachmedien

    Grigoriev / Harrison / Hirsch Computer Science -- Theory and Applications

    First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34166-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lynch / Krogh | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Lynch / Krogh Hybrid Systems: Computation and Control

    Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67259-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Büning / Zhao | Theory and Applications of Satisfiability Testing - SAT 2008 | Buch | Sack Fachmedien

    Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Dony / Lindskov Knudsen | Advances in Exception Handling Techniques | Buch | Sack Fachmedien

    Romanovsky / Dony / Lindskov Knudsen Advances in Exception Handling Techniques

    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41952-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koopman / Clack | Implementation of Functional Languages | Buch | Sack Fachmedien

    Koopman / Clack Implementation of Functional Languages

    11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67864-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Mosses | CASL User Manual | Buch | Sack Fachmedien

    Bidoit / Mosses CASL User Manual

    Introduction to Using the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20766-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Margaria / Steffen Tools and Algorithms for the Construction and Analysis of Systems

    Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61042-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2001: Meeting UML | Buch | Sack Fachmedien

    Reed SDL 2001: Meeting UML

    10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42281-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hicks | Metainformatics | Buch | Sack Fachmedien

    Hicks Metainformatics

    International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22010-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yonezawa / Ito | Concurrency: Theory, Language, and Architecture | Buch | Sack Fachmedien

    Yonezawa / Ito Concurrency: Theory, Language, and Architecture

    UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53932-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caferra / Salzer | Automated Deduction in Classical and Non-Classical Logics | Buch | Sack Fachmedien

    Caferra / Salzer Automated Deduction in Classical and Non-Classical Logics

    Selected Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67190-9
    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