Ergebnisse filtern
Fachgebiet
Medium
  • 4861
  • 30
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 64
  • 62
  • 51
  • 68
  • 117
  • 134
  • 98
  • 134
  • 90
  • 141
  • 105
  • 145
  • 106
  • 248
  • 93
  • 172
  • 337
  • 310
  • 319
  • 241
  • 245
  • 226
  • 198
  • 145
  • 120
  • 112
  • 103
  • 90
  • 94
  • 85
  • 62
  • 58
  • 65
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 4
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 5
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 8
  • 6
  • 4
  • 10
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 24
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 10
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 4
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 4
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 5
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 19
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 52
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 20
  • 4
  • 3
  • 6
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 6
  • 8
  • 6
  • 3
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 3
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 6
  • 2
  • 3
  • 2
  • 9
  • 4
  • 6
  • 5
  • 10
  • 1
  • 1
  • 2
  • 24
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 8
  • 7
  • 1
  • 2
  • 2
  • 1
  • 6
  • 3
  • 1
  • 2
  • 9
  • 1
  • 2
  • 1
  • 25
  • 1
  • 11
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 1
  • 1311
  • 2087
  • 1
  • 587
  • 1
  • 3
  • 3
  • 1
  • 42
  • 85
  • 1
  • 110
  • 77
  • 202
  • 4
  • 35
  • 3
  • 2
  • 1
  • 1
  • 7
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 15
  • 206
  • 3002
  • 1677
Sprachen
  • 4752
  • 143
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4884
  • 16
Katalog
  • 4900
  • 216
4.900  Titel
    Jones | Understanding Programming Languages | Buch | Sack Fachmedien

    Jones Understanding Programming Languages

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59256-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makinson | Sets, Logic and Maths for Computing | Buch | Sack Fachmedien

    Makinson Sets, Logic and Maths for Computing

    2. Auflage 2012
    Verlag: Springer London Ltd
    ISBN: 978-1-4471-2499-3
    Medium: Buch
    34,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vidal-Oriola / Alpuente | Static Analysis | Buch | Sack Fachmedien

    Vidal-Oriola / Alpuente Static Analysis

    15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koblitz | Towards a Quarter-Century of Public Key Cryptography | Buch | Sack Fachmedien

    Koblitz Towards a Quarter-Century of Public Key Cryptography

    A Special Issue of DESIGNS, CODES AND CRYPTOGRAPHY An International Journal. Volume 19, No. 2/3 (2000)
    <em>Nachdrucked from DESIGNS, CODES AND CRYPTOGRAPHY, 19:2/3 </em> 2000
    Verlag: Springer
    ISBN: 978-0-7923-7802-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin / de Queiroz / Kohlenbach | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Libkin / de Queiroz / Kohlenbach Logic, Language, Information, and Computation

    20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39991-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar | Grid Computing - GRID 2002 | Buch | Sack Fachmedien

    Parashar Grid Computing - GRID 2002

    Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00133-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Felici / Bologna | Computer Safety, Reliability and Security | Buch | Sack Fachmedien

    Anderson / Felici / Bologna Computer Safety, Reliability and Security

    21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44157-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Telek / Horváth | Formal Methods and Stochastic Models for Performance Evaluation | Buch | Sack Fachmedien

    Telek / Horváth Formal Methods and Stochastic Models for Performance Evaluation

    Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35362-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fossorier / Poli / Imai | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

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

    13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66723-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mares / Düntsch | Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs | Buch | Sack Fachmedien

    Mares / Düntsch Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-71432-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamada / Meng / Myaeng | Information Retrieval Technology | Buch | Sack Fachmedien

    Yamada / Meng / Myaeng Information Retrieval Technology

    Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29186-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kanellakis / Shvartsman | Fault-Tolerant Parallel Computation | Buch | Sack Fachmedien

    Kanellakis / Shvartsman Fault-Tolerant Parallel Computation

    1. Auflage Softcover of orig. Auflage 1997
    Verlag: Springer
    ISBN: 978-1-4419-5177-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Reichel / Jantke | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Ehrig / Reichel / Jantke Recent Trends in Data Type Specification

    7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54496-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Priss / Corbett / Angelova | Conceptual Structures: Integration and Interfaces | Buch | Sack Fachmedien

    Priss / Corbett / Angelova Conceptual Structures: Integration and Interfaces

    10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43901-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lam / Xing / Okamoto | Advances in Cryptology - ASIACRYPT'99 | Buch | Sack Fachmedien

    Lam / Xing / Okamoto Advances in Cryptology - ASIACRYPT'99

    International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66666-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedermann / Tel / Pokorný | SOFSEM 2006: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Wiedermann / Tel / Pokorný SOFSEM 2006: Theory and Practice of Computer Science

    32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31198-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elomaa / Toivonen / Mannila | Principles of Data Mining and Knowledge Discovery | Buch | Sack Fachmedien

    Elomaa / Toivonen / Mannila Principles of Data Mining and Knowledge Discovery

    6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44037-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheremet | Multigrammatical Framework for Knowledge-Based Digital Economy | Buch | Sack Fachmedien

    Sheremet Multigrammatical Framework for Knowledge-Based Digital Economy

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13857-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stirling | Modal and Temporal Properties of Processes | Buch | Sack Fachmedien

    Stirling Modal and Temporal Properties of Processes

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-3153-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sykora / Královic | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Sykora / Královic Structural Information and Communication Complexity

    11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22230-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Peleg / Freivalds | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Fomin / Peleg / Freivalds Automata, Languages, and Programming

    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
    2013
    Verlag: Springer
    ISBN: 978-3-642-39205-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Alfaro | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    de Alfaro Foundations of Software Science and Computational Structures

    12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00595-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdone | Wireless Sensor Networks | Buch | Sack Fachmedien

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Constable / Silva | Logic and Program Semantics | Buch | Sack Fachmedien

    Constable / Silva Logic and Program Semantics

    Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29484-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McLysaght / Huson | Comparative Genomics | Buch | Sack Fachmedien

    McLysaght / Huson Comparative Genomics

    RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28932-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolini / Ronchi Della Rocca | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Paolini / Ronchi Della Rocca The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05746-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vanneschi / Gustafson / Ebner | Genetic Programming | Buch | Sack Fachmedien

    Vanneschi / Gustafson / Ebner Genetic Programming

    12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01180-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flocchini / Gasieniec | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Flocchini / Gasieniec Structural Information and Communication Complexity

    13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35474-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cate / Zeevat | Logic, Language, and Computation | Buch | Sack Fachmedien

    Cate / Zeevat Logic, Language, and Computation

    6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75143-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski / Zadeh / Siekmann | Artificial Intelligence and Soft Computing - ICAISC 2004 | Buch | Sack Fachmedien

    Rutkowski / Zadeh / Siekmann Artificial Intelligence and Soft Computing - ICAISC 2004

    7th International Conference Zakopane, Poland, June 7-11, 2004 Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22123-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haeberer | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Haeberer Algebraic Methodology and Software Technology

    7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65462-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Druschel / Rowstron / Kaashoek | Peer-to-Peer Systems | Buch | Sack Fachmedien

    Druschel / Rowstron / Kaashoek Peer-to-Peer Systems

    First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44179-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Salomaa / Paun | Multiset Processing | Buch | Sack Fachmedien

    Calude / Salomaa / Paun Multiset Processing

    Mathematical, Computer Science, and Molecular Computing Points of View
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43063-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jirásková / Pighizzini | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Jirásková / Pighizzini Descriptional Complexity of Formal Systems

    22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-62535-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tison / Meinel | STACS 99 | Buch | Sack Fachmedien

    Tison / Meinel STACS 99

    16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65691-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Triggs / Szeliski / Zisserman | Vision Algorithms: Theory and Practice | Buch | Sack Fachmedien

    Triggs / Szeliski / Zisserman Vision Algorithms: Theory and Practice

    International Workshop on Vision Algorithms Corfu, Greece, September 21-22, 1999 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67973-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kern-Isberner / Kulmann / Rödder | Conditionals, Information, and Inference | Buch | Sack Fachmedien

    Kern-Isberner / Kulmann / Rödder Conditionals, Information, and Inference

    International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25332-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Healy / Nikolov | Graph Drawing | Buch | Sack Fachmedien

    Healy / Nikolov Graph Drawing

    13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31425-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beklemishev / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Beklemishev / de Queiroz Logic, Language, Information, and Computation

    18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20919-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses / Schwartzbach / Nielsen | TAPSOFT '95: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Mosses / Schwartzbach / Nielsen TAPSOFT '95: Theory and Practice of Software Development

    6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Avila Garcez / Gabbay / Lamb | Neural-Symbolic Cognitive Reasoning | Buch | Sack Fachmedien

    D'Avila Garcez / Gabbay / Lamb Neural-Symbolic Cognitive Reasoning

    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73245-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fong / Wang / Kwan | Hybrid Learning and Education | Buch | Sack Fachmedien

    Fong / Wang / Kwan Hybrid Learning and Education

    First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer | Logical Foundations of Cyber-Physical Systems | Buch | Sack Fachmedien

    Platzer Logical Foundations of Cyber-Physical Systems

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63587-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bal / Cardelli / Belkhouche | Internet Programming Languages | Buch | Sack Fachmedien

    Bal / Cardelli / Belkhouche Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephens / Stadler / Toussaint | Foundations of Genetic Algorithms | Buch | Sack Fachmedien

    Stephens / Stadler / Toussaint Foundations of Genetic Algorithms

    9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73479-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kriegel / Cremers | Theoretical Computer Science | Buch | Sack Fachmedien

    Kriegel / Cremers Theoretical Computer Science

    6th GI-Conference Dortmund, January 5-7, 1983
    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11973-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stiefelhagen / Garofolo | Multimodal Technologies for Perception of Humans | Buch | Sack Fachmedien

    Stiefelhagen / Garofolo Multimodal Technologies for Perception of Humans

    First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-69567-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kollias / Stafylopatis / Duch | Artificial Neural Networks - ICANN 2006 | Buch | Sack Fachmedien

    Kollias / Stafylopatis / Duch Artificial Neural Networks - ICANN 2006

    16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38625-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brimkov / Hauptman / Barneva | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Brimkov / Hauptman / Barneva Combinatorial Image Analysis

    12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78274-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sjöstedt / Olsson | Systems Approaches and Their Application | Buch | Sack Fachmedien

    Sjöstedt / Olsson Systems Approaches and Their Application

    Examples from Sweden
    2004
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-2369-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietz | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Dietz Languages and Compilers for Parallel Computing

    14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-04029-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walter / Paar / Koc | Cryptographic Hardware and Embedded Systems -- CHES 2003 | Buch | Sack Fachmedien

    Walter / Paar / Koc Cryptographic Hardware and Embedded Systems -- CHES 2003

    5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40833-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Rabadi | Reversible Logic Synthesis | Buch | Sack Fachmedien

    Al-Rabadi Reversible Logic Synthesis

    From Fundamentals to Quantum Computing
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00935-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hachtel / Somenzi | Logic Synthesis and Verification Algorithms | Buch | Sack Fachmedien

    Hachtel / Somenzi Logic Synthesis and Verification Algorithms

    1996
    Verlag: SPRINGER NATURE
    ISBN: 978-0-387-31004-6
    Medium: Buch
    86,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roli / Windeatt / Kittler | Multiple Classifier Systems | Buch | Sack Fachmedien

    Roli / Windeatt / Kittler Multiple Classifier Systems

    5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22144-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brown / Leeser | Hardware Specification, Verification and Synthesis: Mathematical Aspects | Buch | Sack Fachmedien

    Brown / Leeser Hardware Specification, Verification and Synthesis: Mathematical Aspects

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
    1990
    Verlag: Springer
    ISBN: 978-0-387-97226-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Advances in Algorithms, Languages, and Complexity | Buch | Sack Fachmedien

    Advances in Algorithms, Languages, and Complexity

    1997
    Verlag: Springer US
    ISBN: 978-0-7923-4396-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann | Quality-Driven Query Answering for Integrated Information Systems | Buch | Sack Fachmedien

    Naumann Quality-Driven Query Answering for Integrated Information Systems

    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43349-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boley / Antoniou | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Boley / Antoniou Rules and Rule Markup Languages for the Semantic Web

    Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23842-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan | Cryptanalytic Attacks on RSA | Buch | Sack Fachmedien

    Yan Cryptanalytic Attacks on RSA

    2008
    Verlag: Springer US
    ISBN: 978-0-387-48741-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rust | Operational Semantics for Timed Systems | Buch | Sack Fachmedien

    Rust Operational Semantics for Timed Systems

    A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25576-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boyle / Parvin / Koracin | Advances in Visual Computing | Buch | Sack Fachmedien

    Boyle / Parvin / Koracin Advances in Visual Computing

    Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48626-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosin / Sun / Adamatzky | Cellular Automata in Image Processing and Geometry | Buch | Sack Fachmedien

    Rosin / Sun / Adamatzky Cellular Automata in Image Processing and Geometry

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06430-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Ingólfsdóttir | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Aceto / Ingólfsdóttir Foundations of Software Science and Computational Structures

    9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33045-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham | Higher Order Logic and Hardware Verification | Buch | Sack Fachmedien

    Melham Higher Order Logic and Hardware Verification

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-0-521-41718-1
    Medium: Buch
    134,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Piterman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bubak / Dongarra / Albada | Computational Science - ICCS 2004 | Buch | Sack Fachmedien

    Bubak / Dongarra / Albada Computational Science - ICCS 2004

    4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22114-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Association Rule Mining | Buch | Sack Fachmedien

    Zhang Association Rule Mining

    Models and Algorithms
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43533-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goppa | Geometry and Codes | Buch | Sack Fachmedien

    Goppa Geometry and Codes

    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4020-0302-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    Kittler / Roli Multiple Classifier Systems

    Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43818-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40673-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ho / Zaki | Large-Scale Parallel Data Mining | Buch | Sack Fachmedien

    Ho / Zaki Large-Scale Parallel Data Mining

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67194-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebbinghaus / Flum | Finite Model Theory | Buch | Sack Fachmedien

    Ebbinghaus / Flum Finite Model Theory

    2. printing. Revised
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28787-2
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Rauzy / Falaschi | Static Analysis | Buch | Sack Fachmedien

    Cousot / Rauzy / Falaschi Static Analysis

    Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57264-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schojer / Böszörményi | Modular Programming Languages | Buch | Sack Fachmedien

    Schojer / Böszörményi Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40796-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das | Distributed Computing - IWDC 2003 | Buch | Sack Fachmedien

    Das Distributed Computing - IWDC 2003

    5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20745-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cérin / Li | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Cérin / Li Advances in Grid and Pervasive Computing

    Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72359-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Zemor / Litsyn | Algebraic Coding | Buch | Sack Fachmedien

    Cohen / Zemor / Litsyn Algebraic Coding

    First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57843-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohori / Leroy | Types in Compilation | Buch | Sack Fachmedien

    Ohori / Leroy Types in Compilation

    Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Griffin / Kahl | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Griffin / Kahl Relational and Algebraic Methods in Computer Science

    13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33313-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Alagar | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Nivat / Alagar Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langmaack / Vytopil / Roever | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Langmaack / Vytopil / Roever Formal Techniques in Real-Time and Fault-Tolerant Systems

    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / McIver | Abstraction, Refinement and Proof for Probabilistic Systems | Buch | Sack Fachmedien

    Morgan / McIver Abstraction, Refinement and Proof for Probabilistic Systems

    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-2312-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / D'Argenio / Siegle | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Joshi / D'Argenio / Siegle Quantitative Evaluation of Systems

    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40195-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycielski / Salomaa / Rozenberg | Structures in Logic and Computer Science | Buch | Sack Fachmedien

    Mycielski / Salomaa / Rozenberg Structures in Logic and Computer Science

    A Selection of Essays in Honor of A. Ehrenfeucht
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63246-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lima Marquezino / Lavor / Portugal | A Primer on Quantum Computing | Buch | Sack Fachmedien

    de Lima Marquezino / Lavor / Portugal A Primer on Quantum Computing

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-19065-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hariharan / Vinay / Mukund | FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Hariharan / Vinay / Mukund FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

    21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43002-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Buchs | Rapid Integration of Software Engineering Techniques | Buch | Sack Fachmedien

    Guelfi / Buchs Rapid Integration of Software Engineering Techniques

    Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-71875-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Feliachi / Gaudel | Unifying Theories of Programming | Buch | Sack Fachmedien

    Wolff / Feliachi / Gaudel Unifying Theories of Programming

    4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-35704-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krogstie | Model-Based Development and Evolution of Information Systems | Buch | Sack Fachmedien

    Krogstie Model-Based Development and Evolution of Information Systems

    A Quality Approach
    2012
    Verlag: Springer
    ISBN: 978-1-4471-2935-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boute / Dean | Teaching Formal Methods | Buch | Sack Fachmedien

    Boute / Dean Teaching Formal Methods

    CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23611-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Nishida / Furukawa | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajsbaum | LATIN 2002: Theoretical Informatics | Buch | Sack Fachmedien

    Rajsbaum LATIN 2002: Theoretical Informatics

    5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43400-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reusch | Computational Intelligence: Theory and Applications | Buch | Sack Fachmedien

    Reusch Computational Intelligence: Theory and Applications

    International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66050-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Protasi / Ausiello | CAAP '83 | Buch | Sack Fachmedien

    Protasi / Ausiello CAAP '83

    Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
    1983
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-12727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poli / Banzhaf / Fogarty | Genetic Programming | Buch | Sack Fachmedien

    Poli / Banzhaf / Fogarty Genetic Programming

    European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67339-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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