Ergebnisse filtern
Fachgebiet
Medium
  • 4862
  • 30
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 64
  • 62
  • 51
  • 68
  • 117
  • 134
  • 98
  • 134
  • 90
  • 142
  • 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
  • 3
  • 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
  • 25
  • 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
  • 1313
  • 2085
  • 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
  • 3003
  • 1677
Sprachen
  • 4753
  • 143
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4885
  • 16
Katalog
  • 4901
  • 216
4.901  Titel
    Hess / Pohst / Pauli | Algorithmic Number Theory | Buch | Sack Fachmedien

    Hess / Pohst / Pauli Algorithmic Number Theory

    7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-36075-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zawidzki / Golinska-Pilarek / Golinska-Pilarek | Ewa Or¿owska on Relational Methods in Logic and Computer Science | Buch | Sack Fachmedien

    Zawidzki / Golinska-Pilarek / Golinska-Pilarek Ewa Or¿owska on Relational Methods in Logic and Computer Science

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-97878-9
    Medium: Buch
    149,79 € (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-71429-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sui / Li | R-Calculus, IV: Propositional Logic | Buch | Sack Fachmedien

    Sui / Li R-Calculus, IV: Propositional Logic

    2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-19-8632-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Tsay | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Peled / Tsay Automated Technology for Verification and Analysis

    Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29209-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fleischer / Moret / Meineche Schmidt | Experimental Algorithmics | Buch | Sack Fachmedien

    Fleischer / Moret / Meineche Schmidt Experimental Algorithmics

    From Algorithm Design to Robust and Efficient Software
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dikaiakos | Grid Computing | Buch | Sack Fachmedien

    Dikaiakos Grid Computing

    Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22888-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Santoro | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Santoro Algorithms and Data Structures

    Third Workshop, WADS '93, Montreal, Canada, August 11-13, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57155-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gore / Leitsch / Nipkow | Automated Reasoning | Buch | Sack Fachmedien

    Gore / Leitsch / Nipkow Automated Reasoning

    First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42254-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mambo / Zheng | Information Security | Buch | Sack Fachmedien

    Mambo / Zheng Information Security

    Second International Workshop, ISW'99, Kuala Lumpur, Malaysia, November 6-7, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66695-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weiss | Constructive Semantics | Buch | Sack Fachmedien

    Weiss Constructive Semantics

    Meaning in Between Phenomenology and Constructivism
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21315-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgis | Logic Without Gaps or Gluts | Buch | Sack Fachmedien

    Burgis Logic Without Gaps or Gluts

    How to Solve the Paradoxes Without Sacrificing Classical Logic
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94626-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dasgupta | A Roadmap for Formal Property Verification | Buch | Sack Fachmedien

    Dasgupta A Roadmap for Formal Property Verification

    2006. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4020-4757-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayguadé / Sadayappan / Baumgartner | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ayguadé / Sadayappan / Baumgartner Languages and Compilers for Parallel Computing

    18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69329-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heys / Nyberg | Selected Areas in Cryptography | Buch | Sack Fachmedien

    Heys / Nyberg Selected Areas in Cryptography

    9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00622-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunha / Medeiros | Euro-Par 2005 Parallel Processing | Buch | Sack Fachmedien

    Cunha / Medeiros Euro-Par 2005 Parallel Processing

    11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28700-1
    Medium: Buch
    135,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagel / Walter / Lehner | Euro-Par 2006 Parallel Processing | Buch | Sack Fachmedien

    Nagel / Walter / Lehner Euro-Par 2006 Parallel Processing

    12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-37783-2
    Medium: Buch
    135,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Liu / Wang | Computational Intelligence and Security | Buch | Sack Fachmedien

    Hao / Liu / Wang Computational Intelligence and Security

    International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30818-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Liu / Wang | Computational Intelligence and Security II | Buch | Sack Fachmedien

    Hao / Liu / Wang Computational Intelligence and Security II

    International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-30819-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Clarke / Henzinger | Handbook of Model Checking | Buch | Sack Fachmedien

    Bloem / Clarke / Henzinger Handbook of Model Checking

    1. Auflage 2018
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-319-10574-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Coussy / Morawiec | High-Level Synthesis | Buch | Sack Fachmedien

    Coussy / Morawiec High-Level Synthesis

    From Algorithm to Digital Circuit
    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8587-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferré / Rudolph | Formal Concept Analysis | Buch | Sack Fachmedien

    Ferré / Rudolph Formal Concept Analysis

    7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01814-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen | Introduction to Computer Theory | Buch | Sack Fachmedien

    Cohen Introduction to Computer Theory

    2. Auflage 1996
    Verlag: Wiley
    ISBN: 978-0-471-13772-6
    Medium: Buch
    285,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gori / Giles | Adaptive Processing of Sequences and Data Structures | Buch | Sack Fachmedien

    Gori / Giles Adaptive Processing of Sequences and Data Structures

    International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64341-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferrer / Samarati | Public Key Infrastructure | Buch | Sack Fachmedien

    Ferrer / Samarati Public Key Infrastructure

    4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73407-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Yokomori / Kobayashi | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Jantke / Yokomori / Kobayashi Algorithmic Learning Theory

    4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57370-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pejas / Piegat | Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems | Buch | Sack Fachmedien

    Pejas / Piegat Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

    1. Auflage Softcover of orig. Auflage 2005
    Verlag: Springer Us
    ISBN: 978-1-4419-5438-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woodcock / Meyer | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Woodcock / Meyer Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69147-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avgerou / Ciborra / Land | The Social Study of Information and Communication Technology | Buch | Sack Fachmedien

    Avgerou / Ciborra / Land The Social Study of Information and Communication Technology

    Innovation, Actors, and Contexts
    Erscheinungsjahr 2004
    Verlag: OUP Oxford
    ISBN: 978-0-19-925356-2
    Medium: Buch
    90,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bülthoff / Wallraven / Lee | Biologically Motivated Computer Vision | Buch | Sack Fachmedien

    Bülthoff / Wallraven / Lee Biologically Motivated Computer Vision

    Second International Workshop, BMCV 2002, Tübingen, Germany, November 22-24, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00174-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parametrisierte Spezifikation von Schaltkreisen | Buch | Sack Fachmedien

    Parametrisierte Spezifikation von Schaltkreisen

    Graphischer Entwurf regulärer Strukturen
    1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-00239-0
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vulkov / Yalamov / Wasniewski | Numerical Analysis and Its Applications | Buch | Sack Fachmedien

    Vulkov / Yalamov / Wasniewski Numerical Analysis and Its Applications

    First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62598-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ianni / Flesca | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Ianni / Flesca Logics in Artificial Intelligence

    European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44190-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Argüelles Méndez / Seising | Accuracy and Fuzziness. A Life in Science and Politics | Buch | Sack Fachmedien

    Argüelles Méndez / Seising Accuracy and Fuzziness. A Life in Science and Politics

    A Festschrift book to Enric Trillas Ruiz
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18605-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apostolico / Galil | Pattern Matching Algorithms | Buch | Sack Fachmedien

    Apostolico / Galil Pattern Matching Algorithms

    Erscheinungsjahr 1997
    Verlag: Oxford University Press
    ISBN: 978-0-19-511367-9
    Medium: Buch
    494,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ognjanovic / Ognjanovic / Markovic | Probability Logics | Buch | Sack Fachmedien

    Ognjanovic / Ognjanovic / Markovic Probability Logics

    Probability-Based Formalization of Uncertain Reasoning
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47011-5
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faigle / Still / Kern | Algorithmic Principles of Mathematical Programming | Buch | Sack Fachmedien

    Faigle / Still / Kern Algorithmic Principles of Mathematical Programming

    2002
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-0852-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butenko / Pardalos / Murphey | Cooperative Control: Models, Applications and Algorithms | Buch | Sack Fachmedien

    Butenko / Pardalos / Murphey Cooperative Control: Models, Applications and Algorithms

    2003
    Verlag: Springer US
    ISBN: 978-1-4020-1082-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsui | Fast Software Encryption | Buch | Sack Fachmedien

    Matsui Fast Software Encryption

    8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43869-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fant | Computer Science Reconsidered | Buch | Sack Fachmedien

    Fant Computer Science Reconsidered

    The Invocation Model of Process Expression
    1. Auflage 2007
    Verlag: Wiley
    ISBN: 978-0-471-79814-9
    Medium: Buch
    132,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Du | Steiner Trees in Industry | Buch | Sack Fachmedien

    Cheng / Du Steiner Trees in Industry

    2001. Auflage 2001
    Verlag: Springer Us
    ISBN: 978-1-4020-0099-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xavier / Iyengar | Parallel Algorithms | Buch | Sack Fachmedien

    Xavier / Iyengar Parallel Algorithms

    1. Auflage 1998
    Verlag: Wiley
    ISBN: 978-0-471-25182-8
    Medium: Buch
    191,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deschamps / Bioul / Sutter | Synthesis of Arithmetic Circuits | Buch | Sack Fachmedien

    Deschamps / Bioul / Sutter Synthesis of Arithmetic Circuits

    Fpga, ASIC and Embedded Systems
    1. Auflage 2005
    Verlag: Wiley
    ISBN: 978-0-471-68783-2
    Medium: Buch
    195,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Riolo / Worzel | Genetic Programming Theory and Practice III | Buch | Sack Fachmedien

    Yu / Riolo / Worzel Genetic Programming Theory and Practice III

    2006. Auflage 2005
    Verlag: Springer Us
    ISBN: 978-0-387-28110-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Heitmeyer / Gnesi | FM 2016: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48988-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zander / Schieferdecker / Mosterman | Model-Based Testing for Embedded Systems | eBook | Sack Fachmedien
    E-Book

    Zander / Schieferdecker / Mosterman Model-Based Testing for Embedded Systems

    1. Auflage 2011
    Verlag: CRC Press
    ISBN: 978-1-4398-1847-3
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    103,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Velázquez-Quesada / Gierasimczuk | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Velázquez-Quesada / Gierasimczuk Dynamic Logic. New Trends and Applications

    5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-51776-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zohar / Barbosa | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Zohar / Barbosa Formal Methods: Foundations and Applications

    26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49341-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Clerbout / McConaughey | Immanent Reasoning or Equality in Action | Buch | Sack Fachmedien

    Rahman / Clerbout / McConaughey Immanent Reasoning or Equality in Action

    A Plaidoyer for the Play Level
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-08187-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schröder / Pattinson | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Schröder / Pattinson Coalgebraic Methods in Computer Science

    11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-32783-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Veith / Henzinger | Handbook of Model Checking | Buch | Sack Fachmedien

    Clarke / Veith / Henzinger Handbook of Model Checking

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-030-13233-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rammig | Systematischer Entwurf digitaler Systeme | Buch | Sack Fachmedien

    Rammig Systematischer Entwurf digitaler Systeme

    Von der System- bis zur Gatter-Ebene
    1989
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02265-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Venkatesh / Buckner / Gonzalves | Home Informatics and Telematics: ICT for the Next Billion | Buch | Sack Fachmedien

    Venkatesh / Buckner / Gonzalves Home Informatics and Telematics: ICT for the Next Billion

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer US
    ISBN: 978-1-4419-4470-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laxminarayan / Wilson | Handbook of Biomedical Image Analysis | Buch | Sack Fachmedien

    Laxminarayan / Wilson Handbook of Biomedical Image Analysis

    Volume 3: Registration Models
    1. Auflage 2005
    Verlag: Springer US
    ISBN: 978-0-306-48607-4
    Medium: Buch
    406,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bunke / Dickinson / Kraetzl | A Graph-Theoretic Approach to Enterprise Network Dynamics | Buch | Sack Fachmedien

    Bunke / Dickinson / Kraetzl A Graph-Theoretic Approach to Enterprise Network Dynamics

    2007. Auflage 2006
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-4485-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann | Grundlagen der Technischen Informatik | Buch | Sack Fachmedien

    Hoffmann Grundlagen der Technischen Informatik

    7. aktualisierte Auflage 2023
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-47779-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Boiten / Derrick | Refinement | Buch | Sack Fachmedien

    Boiten / Derrick Refinement

    Semantics, Languages and Applications
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92709-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abbasfar | Turbo-like Codes | Buch | Sack Fachmedien

    Abbasfar Turbo-like Codes

    Design for High Speed Decoding
    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7623-6
    Medium: Buch
    106,99 € (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

    Third Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-42217-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eshkabilov | Practical MATLAB Modeling with Simulink | Buch | Sack Fachmedien

    Eshkabilov Practical MATLAB Modeling with Simulink

    Programming and Simulating Ordinary and Partial Differential Equations
    1. Auflage 2020
    Verlag: Apress
    ISBN: 978-1-4842-5798-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Berg / Cheong / van Kreveld | Computational Geometry | Buch | Sack Fachmedien

    de Berg / Cheong / van Kreveld Computational Geometry

    Algorithms and Applications
    Third Auflage 2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-77973-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Cooke | Constructing Correct Software | Buch | Sack Fachmedien

    Cooke Constructing Correct Software

    2. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-820-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonnet / Viola / Panario | LATIN 2000: Theoretical Informatics | Buch | Sack Fachmedien

    Gonnet / Viola / Panario LATIN 2000: Theoretical Informatics

    4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67306-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Dyckhoff Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67697-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lakos / Esparza | Application and Theory of Petri Nets 2002 | Buch | Sack Fachmedien

    Lakos / Esparza Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Zakharyaschev | Mathematical Problems from Applied Logic I | Buch | Sack Fachmedien

    Gabbay / Zakharyaschev Mathematical Problems from Applied Logic I

    Logics for the XXIst Century
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4419-2110-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Newey / Grundy | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Newey / Grundy Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64987-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chhabra / Tombre | Graphics Recognition: Algorithms and Systems | Buch | Sack Fachmedien

    Chhabra / Tombre Graphics Recognition: Algorithms and Systems

    Second International Workshop, GREC'97, Nancy, France, August 22-23, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64381-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Windley / Gopalakrishnan | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Windley / Gopalakrishnan Formal Methods in Computer-Aided Design

    Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65191-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Whitesides | Graph Drawing | Buch | Sack Fachmedien

    Whitesides Graph Drawing

    6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65473-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hertzberg / Englert / Beetz | KI 2007: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Hertzberg / Englert / Beetz KI 2007: Advances in Artificial Intelligence

    30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74564-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Adian | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Adian Logical Foundations of Computer Science

    4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63045-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klop / Terese / de Vrijer | Term Rewriting Systems | Buch | Sack Fachmedien

    Klop / Terese / de Vrijer Term Rewriting Systems

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39115-3
    Medium: Buch
    258,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolfram | The Clausal Theory of Types | Buch | Sack Fachmedien

    Wolfram The Clausal Theory of Types

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39538-0
    Medium: Buch
    75,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Richter-Gebert | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Wang / Richter-Gebert Automated Deduction in Geometry

    Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42598-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schachter / Danos | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Schachter / Danos Computational Methods in Systems Biology

    International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25375-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon / Treinen / Marche | Constraints in Computational Logics: Theory and Applications | Buch | Sack Fachmedien

    Comon / Treinen / Marche Constraints in Computational Logics: Theory and Applications

    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41950-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mohanty / Ghosh | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Mohanty / Ghosh Distributed Computing and Internet Technology

    First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24075-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog | Nets, Terms and Formulas | Buch | Sack Fachmedien

    Olderog Nets, Terms and Formulas

    Three Views of Concurrent Processes and Their Relationship
    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-40044-2
    Medium: Buch
    133,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73939-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diekert / Voronkov / Volkov | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Diekert / Voronkov / Volkov Computer Science - Theory and Applications

    Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74509-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher / Lisitsa / van der Hoek | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Fisher / Lisitsa / van der Hoek Logics in Artificial Intelligence

    10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-39625-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhao / Tang / Gong | Analysis and Modelling of Faces and Gestures | Buch | Sack Fachmedien

    Zhao / Tang / Gong Analysis and Modelling of Faces and Gestures

    Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29229-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smart | Cryptography and Coding | Buch | Sack Fachmedien

    Smart Cryptography and Coding

    10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30276-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hillston / Bernardo | Formal Methods for Performance Evaluation | Buch | Sack Fachmedien

    Hillston / Bernardo Formal Methods for Performance Evaluation

    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72482-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Automated Deduction - CADE-21 | Buch | Sack Fachmedien

    Pfenning Automated Deduction - CADE-21

    21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73594-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Book | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Book Rewriting Techniques and Applications

    4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53904-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raynal / Bermond | Distributed Algorithms | Buch | Sack Fachmedien

    Raynal / Bermond Distributed Algorithms

    3rd International Workshop, Nice, France, September 26-28, 1989. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51687-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wunderlich | Models in Hardware Testing | Buch | Sack Fachmedien

    Wunderlich Models in Hardware Testing

    Lecture Notes of the Forum in Honor of Christian Landrault
    2010
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3093-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Victor | Parallel Computing Technologies | Buch | Sack Fachmedien

    Victor Parallel Computing Technologies

    8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28126-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marinai / Schwenker | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    Marinai / Schwenker Artificial Neural Networks in Pattern Recognition

    Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37951-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Netanyahu / Björnsson | Computers and Games | Buch | Sack Fachmedien

    Herik / Netanyahu / Björnsson Computers and Games

    4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32488-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Schwiegelshohn / Frachtenberg | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Schwiegelshohn / Frachtenberg Job Scheduling Strategies for Parallel Processing

    11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-31024-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valiente / Lewenstein | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Valiente / Lewenstein Combinatorial Pattern Matching

    17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35455-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paragios / Schnoerr / Faugeras | Variational, Geometric, and Level Set Methods in Computer Vision | Buch | Sack Fachmedien

    Paragios / Schnoerr / Faugeras Variational, Geometric, and Level Set Methods in Computer Vision

    Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29348-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prisco / Mathias / Larson | Set Theory | Buch | Sack Fachmedien

    Prisco / Mathias / Larson Set Theory

    Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences
    Softcover Nachdruck of hardcover 1. Auflage 1998
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4978-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krichevsky | Universal Compression and Retrieval | Buch | Sack Fachmedien

    Krichevsky Universal Compression and Retrieval

    1. Auflage. Softcover version of original hardcover Auflage 1994
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4357-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Semenov / Uspensky | Algorithms: Main Ideas and Applications | Buch | Sack Fachmedien

    Semenov / Uspensky Algorithms: Main Ideas and Applications

    1. Auflage. Softcover version of original hardcover Auflage 1993
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4256-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pietikäinen / Ahonen / Hadid | Computer Vision Using Local Binary Patterns | Buch | Sack Fachmedien

    Pietikäinen / Ahonen / Hadid Computer Vision Using Local Binary Patterns

    2011
    Verlag: Springer
    ISBN: 978-0-85729-747-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Periyasamy / Alagar | Specification of Software Systems | Buch | Sack Fachmedien

    Periyasamy / Alagar Specification of Software Systems

    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-0-85729-276-6
    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