Ergebnisse filtern
Fachgebiet
Medium
  • 3172
  • 346
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 25
  • 45
  • 243
  • 98
  • 71
  • 77
  • 90
  • 102
  • 66
  • 25
  • 41
  • 33
  • 34
  • 21
  • 25
  • 21
  • 124
  • 77
  • 148
  • 302
  • 303
  • 207
  • 107
  • 141
  • 105
  • 112
  • 82
  • 86
  • 82
  • 77
  • 78
  • 68
  • 65
  • 60
  • 40
  • 65
  • 33
  • 34
  • 26
  • 21
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 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
  • 14
  • 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
  • 2
  • 3
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 7
  • 24
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 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
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 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
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 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
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 10
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 2
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 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
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 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
  • 3
  • 6
  • 6
  • 3
  • 3
  • 6
  • 3
  • 4
Verlag
  • 3
  • 2
  • 1
  • 1
  • 305
  • 3
  • 1
  • 1
  • 7
  • 2
  • 2
  • 2
  • 34
  • 16
  • 68
  • 1
  • 26
  • 362
  • 1
  • 6
  • 5
  • 1
  • 2
  • 2
  • 1
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 12
  • 1
  • 3
  • 2
  • 1
  • 1
  • 21
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 12
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 6
  • 2
  • 1
  • 2334
  • 33
  • 4
  • 2
  • 2
  • 14
  • 16
  • 8
  • 2
  • 19
  • 2
  • 18
  • 1
  • 33
  • 3
  • 2
  • 1
  • 21
  • 24
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
Preis
  • 133
  • 511
  • 2038
  • 840
Sprachen
  • 3288
  • 231
  • 7
  • 1
Verfügbarkeit
  • 3455
  • 67
Katalog
  • 3522
  • 185
3.522  Titel
    Eijck | Logics in AI | Buch | Sack Fachmedien

    Eijck Logics in AI

    European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53686-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kock Wiil | Metainformatics | Buch | Sack Fachmedien

    Kock Wiil Metainformatics

    International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odijk / Rem / Syre | PARLE '89 - Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe

    Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51285-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Comon Rewriting Techniques and Applications

    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morisio | Reuse of Off-the-Shelf Components | Buch | Sack Fachmedien

    Morisio Reuse of Off-the-Shelf Components

    9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34606-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maitra / Madhavan / Venkatesan | Progress in Cryptology - INDOCRYPT 2005 | Buch | Sack Fachmedien

    Maitra / Madhavan / Venkatesan Progress in Cryptology - INDOCRYPT 2005

    6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30805-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Rough Sets V | Buch | Sack Fachmedien

    Transactions on Rough Sets V

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39382-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nori / Kumar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Nori / Kumar Foundations of Software Technology and Theoretical Computer Science

    Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50517-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Følstad / Araujo / Papadopoulos | Chatbot Research and Design | Buch | Sack Fachmedien

    Følstad / Araujo / Papadopoulos Chatbot Research and Design

    Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-39539-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lea / Zavattaro | Coordination Models and Languages | Buch | Sack Fachmedien

    Lea / Zavattaro Coordination Models and Languages

    10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68264-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saglietti / Oster | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Saglietti / Oster Computer Safety, Reliability, and Security

    26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75100-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czumaj / Mehlhorn / Pitts | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Czumaj / Mehlhorn / Pitts Automata, Languages, and Programming

    39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31584-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brezany | Input/Output Intensive Massively Parallel Computing | Buch | Sack Fachmedien

    Brezany Input/Output Intensive Massively Parallel Computing

    Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62840-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ijspeert / Masuzawa / Kusumoto | Biologically Inspired Approaches to Advanced Information Technology | Buch | Sack Fachmedien

    Ijspeert / Masuzawa / Kusumoto Biologically Inspired Approaches to Advanced Information Technology

    Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31253-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / El Fallah Seghrouchni / Leite | Languages, Methodologies and Development Tools for Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / El Fallah Seghrouchni / Leite Languages, Methodologies and Development Tools for Multi-Agent Systems

    First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85057-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Castéran | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20854-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Huizing / Roever | Real-Time: Theory in Practice | Buch | Sack Fachmedien

    Bakker / Huizing / Roever Real-Time: Theory in Practice

    REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55564-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Nerode | Hybrid Systems II | Buch | Sack Fachmedien

    Antsaklis / Kohn / Nerode Hybrid Systems II

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60472-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Núnez / Rosu | Formal Approaches to Software Testing and Runtime Verification | Buch | Sack Fachmedien

    Havelund / Núnez / Rosu Formal Approaches to Software Testing and Runtime Verification

    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49699-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mizoguchi / Giunchiglia | The Semantic Web - ASWC 2006 | Buch | Sack Fachmedien

    Mizoguchi / Giunchiglia The Semantic Web - ASWC 2006

    First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38329-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perrott / Chapman / Subhlok | High Performance Computing and Communications | Buch | Sack Fachmedien

    Perrott / Chapman / Subhlok High Performance Computing and Communications

    Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75443-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortesi / File | Static Analysis | Buch | Sack Fachmedien

    Cortesi / File Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Canetti | Theory of Cryptography | Buch | Sack Fachmedien

    Canetti Theory of Cryptography

    Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78523-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goto / Araki / Yuasa | RIMS Symposium on Software Science and Engineering II | Buch | Sack Fachmedien

    Goto / Araki / Yuasa RIMS Symposium on Software Science and Engineering II

    Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16470-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stajano / Meadows / Capkun | Security and Privacy in Ad-hoc and Sensor Networks | Buch | Sack Fachmedien

    Stajano / Meadows / Capkun Security and Privacy in Ad-hoc and Sensor Networks

    4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73274-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vene / Uustalu | Advanced Functional Programming | Buch | Sack Fachmedien

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wendt | COBOL | Buch | Sack Fachmedien

    Wendt COBOL

    Einführung mit PC-Spracherweiterungen und Übungen
    2. Auflage 1994
    Verlag: Gabler Verlag
    ISBN: 978-3-322-82910-8
    Medium: Buch
    74,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jennings / Lesperance | Intelligent Agents VI. Agent Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Jennings / Lesperance Intelligent Agents VI. Agent Theories, Architectures, and Languages

    6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67200-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moller / Birtwistle | Logics for Concurrency | Buch | Sack Fachmedien

    Moller / Birtwistle Logics for Concurrency

    Structure versus Automata
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60915-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | CSL '89 | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter CSL '89

    3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52753-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Randall / Abbass / Wiles | Progress in Artificial Life | Buch | Sack Fachmedien

    Randall / Abbass / Wiles Progress in Artificial Life

    Third Australian Conference, ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76930-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Venturini Zilli | Mathematical Models for the Semantics of Parallelism | Buch | Sack Fachmedien

    Venturini Zilli Mathematical Models for the Semantics of Parallelism

    Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18419-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Berghammer | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Schmidt / Berghammer Graph-Theoretic Concepts in Computer Science

    17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55121-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55422-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furukawa / Tanaka / Fujisaki | Logic Programming '88 | Buch | Sack Fachmedien

    Furukawa / Tanaka / Fujisaki Logic Programming '88

    Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51564-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson | Interactive Systems: Design, Specification, and Verification | Buch | Sack Fachmedien

    Johnson Interactive Systems: Design, Specification, and Verification

    8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42807-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lott | Modern Python Cookbook | eBook | Sack Fachmedien
    E-Book

    Lott Modern Python Cookbook

    133 recipes to develop flawless and expressive programs in Python 3.8
    2. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80020-580-2
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    32,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Paterson / Zhang | Combinatorics, Algorithms, Probabilistic and Experimental Methodologies | Buch | Sack Fachmedien

    Chen / Paterson / Zhang Combinatorics, Algorithms, Probabilistic and Experimental Methodologies

    First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74449-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarlecki | Mathematical Foundations of Computer Science 1991 | Buch | Sack Fachmedien

    Tarlecki Mathematical Foundations of Computer Science 1991

    16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54345-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neves / Santos / Machado | Progress in Artificial Intelligence | Buch | Sack Fachmedien

    Neves / Santos / Machado Progress in Artificial Intelligence

    13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77000-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Gornostaev / Unger Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57433-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mossakowski / Montanari / Haveraaen | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Mossakowski / Montanari / Haveraaen Algebra and Coalgebra in Computer Science

    Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73857-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin | Computing and Combinatorics | Buch | Sack Fachmedien

    Lin Computing and Combinatorics

    13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73544-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cosnard / Ferreira / Peters | Parallel and Distributed Computing: Theory and Practice | Buch | Sack Fachmedien

    Cosnard / Ferreira / Peters Parallel and Distributed Computing: Theory and Practice

    Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58078-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdelzaher / Raynal / Santoro | Principles of Distributed Systems | Buch | Sack Fachmedien

    Abdelzaher / Raynal / Santoro Principles of Distributed Systems

    13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10876-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakata | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Sakata Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54195-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demetrescu | Experimental Algorithms | Buch | Sack Fachmedien

    Demetrescu Experimental Algorithms

    6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72844-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff | Extensions of Logic Programming | Buch | Sack Fachmedien

    Dyckhoff Extensions of Logic Programming

    4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58025-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | Essential JavaBeans fast | Buch | Sack Fachmedien

    Hunt Essential JavaBeans fast

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-1-85233-032-3
    Medium: Buch
    32,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jazayeri / Loos / Musser | Generic Programming | Buch | Sack Fachmedien

    Jazayeri / Loos / Musser Generic Programming

    International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41090-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yevick | A Short Course in Computational Science and Engineering | Buch | Sack Fachmedien

    Yevick A Short Course in Computational Science and Engineering

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-0-521-11681-7
    Medium: Buch
    41,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuckarelli | Learn coding with Python and JavaScript | Buch | Sack Fachmedien

    Zuckarelli Learn coding with Python and JavaScript

    A practical introduction for beginners
    2024
    Verlag: Springer
    ISBN: 978-3-658-42911-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Górski | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Górski Computer Safety, Reliability, and Security

    25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45762-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ito / Halstead / Queinnec | Parallel Symbolic Languages and Systems | Buch | Sack Fachmedien

    Ito / Halstead / Queinnec Parallel Symbolic Languages and Systems

    International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61143-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Lau Logic Based Program Synthesis and Transformation

    10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42127-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banzhaf / Eckman | Evolution and Biocomputation | Buch | Sack Fachmedien

    Banzhaf / Eckman Evolution and Biocomputation

    Computational Models of Evolution
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59046-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arvind / Prasad | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Arvind / Prasad FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

    27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77049-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Broy / Pottosin | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Broy / Pottosin Perspectives of System Informatics

    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62064-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asada / Hallam / Meyer | From Animals to Animats 10 | Buch | Sack Fachmedien

    Asada / Hallam / Meyer From Animals to Animats 10

    10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69133-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desmedt / Wang / Mu | Cryptology and Network Security | Buch | Sack Fachmedien

    Desmedt / Wang / Mu Cryptology and Network Security

    4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30849-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spirakis | Algorithms - ESA '95 | Buch | Sack Fachmedien

    Spirakis Algorithms - ESA '95

    Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60313-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schölkopf / Warmuth | Learning Theory and Kernel Machines | Buch | Sack Fachmedien

    Schölkopf / Warmuth Learning Theory and Kernel Machines

    16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40720-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Edelkamp | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Edelkamp Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chouinard / Fortier / Gulliver | Information Theory and Applications II | Buch | Sack Fachmedien

    Chouinard / Fortier / Gulliver Information Theory and Applications II

    4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61748-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Löwe | New Computational Paradigms | Buch | Sack Fachmedien

    Cooper / Löwe New Computational Paradigms

    First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26179-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Batory / Consel | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno Díaz / Pichler / Quesada Arencibia | Computer Aided Systems Theory - EUROCAST 2007 | Buch | Sack Fachmedien

    Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007

    11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75866-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koornneef / Meulen | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Koornneef / Meulen Computer Safety, Reliability, and Security

    19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41186-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schellekens | A Modular Calculus for the Average Cost of Data Structuring | Buch | Sack Fachmedien

    Schellekens A Modular Calculus for the Average Cost of Data Structuring

    2008
    Verlag: Springer
    ISBN: 978-0-387-73383-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Case / Royer | Subrecursive Programming Systems | Buch | Sack Fachmedien

    Case / Royer Subrecursive Programming Systems

    Complexity & Succinctness
    1994
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3767-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Galil / Rodeh | Theory of Computing and Systems | Buch | Sack Fachmedien

    Dolev / Galil / Rodeh Theory of Computing and Systems

    ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55553-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capello / Herault / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Capello / Herault / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75415-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lungarella / Iida / Bongard | 50 Years of Artificial Intelligence | Buch | Sack Fachmedien

    Lungarella / Iida / Bongard 50 Years of Artificial Intelligence

    Essays Dedicated to the 50th Anniversary of Artificial Intelligence
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77295-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saito / Nishizeki | Graph Theory and Algorithms | Buch | Sack Fachmedien

    Saito / Nishizeki Graph Theory and Algorithms

    17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10704-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietzfelbinger | Primality Testing in Polynomial Time | Buch | Sack Fachmedien

    Dietzfelbinger Primality Testing in Polynomial Time

    From Randomized Algorithms to "PRIMES Is in P"
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-40344-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brooks | C Programming: The Essentials for Engineers and Scientists | Buch | Sack Fachmedien

    Brooks C Programming: The Essentials for Engineers and Scientists

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-387-98632-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben-David | Computational Learning Theory | Buch | Sack Fachmedien

    Ben-David Computational Learning Theory

    Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62685-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / He | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Liu / He Formal Methods and Software Engineering

    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47460-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Assmann / Nierstrasz | Software Composition | Buch | Sack Fachmedien

    Gschwind / Assmann / Nierstrasz Software Composition

    4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28748-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prodan / Fahringer | Grid Computing | Buch | Sack Fachmedien

    Prodan / Fahringer Grid Computing

    Experiment Management, Tool Integration, and Scientific Workflows
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69261-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aspnes / Scheideler / Arora | Distributed Computing in Sensor Systems | Buch | Sack Fachmedien

    Aspnes / Scheideler / Arora Distributed Computing in Sensor Systems

    Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73089-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adi / Stoutenburg / Tabet | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Adi / Stoutenburg / Tabet Rules and Rule Markup Languages for the Semantic Web

    First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Hirschowitz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kok | Beginning Unity Editor Scripting | Buch | Sack Fachmedien

    Kok Beginning Unity Editor Scripting

    Create and Publish Your Game Tools
    1. Auflage 2021
    Verlag: Apress
    ISBN: 978-1-4842-7166-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ideker / Bafna | Systems Biology and Computational Proteomics | Buch | Sack Fachmedien

    Ideker / Bafna Systems Biology and Computational Proteomics

    Joint RECOMB 2006 Satellite Workshops on Systems Biology, and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73059-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mjølsnes / Mauw / Katsikas | Public Key Infrastructure | Buch | Sack Fachmedien

    Mjølsnes / Mauw / Katsikas Public Key Infrastructure

    5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69484-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apostolico / Guerra / Istrail | Research in Computational Molecular Biology | Buch | Sack Fachmedien

    Apostolico / Guerra / Istrail Research in Computational Molecular Biology

    10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33295-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Taitslin | Logic at Botik '89 | Buch | Sack Fachmedien

    Meyer / Taitslin Logic at Botik '89

    Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51237-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chahed / Tuffin | Network Control and Optimization | Buch | Sack Fachmedien

    Chahed / Tuffin Network Control and Optimization

    First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72708-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alagic | Relational Database Technology | Buch | Sack Fachmedien

    Alagic Relational Database Technology

    Erscheinungsjahr 1986
    Verlag: Springer
    ISBN: 978-0-387-96276-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matwin / Sammut | Inductive Logic Programming | Buch | Sack Fachmedien

    Matwin / Sammut Inductive Logic Programming

    12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00567-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hong / Nishizeki / Quan | Graph Drawing | Buch | Sack Fachmedien

    Hong / Nishizeki / Quan Graph Drawing

    15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77536-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grelck / Huch / Michaelson | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Grelck / Huch / Michaelson Implementation and Application of Functional Languages

    16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Giusti / Mora | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

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

    11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60114-2
    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 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01128-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Schmidt | Static Analysis | Buch | Sack Fachmedien

    Cousot / Schmidt Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61739-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    FRIESEN | Java I/O, NIO and NIO.2 | Buch | Sack Fachmedien

    FRIESEN Java I/O, NIO and NIO.2

    1. Auflage 2015
    Verlag: Apress
    ISBN: 978-1-4842-1566-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aichernig / Furia | Tests and Proofs | Buch | Sack Fachmedien

    Aichernig / Furia Tests and Proofs

    10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41134-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Porkoláb / Zsók | Composability, Comprehensibility and Correctness of Working Software | Buch | Sack Fachmedien

    Porkoláb / Zsók Composability, Comprehensibility and Correctness of Working Software

    8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42832-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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