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
    Nyström / Svensson / Sanniti di Baja | Discrete Geometry for Computer Imagery | Buch | Sack Fachmedien

    Nyström / Svensson / Sanniti di Baja Discrete Geometry for Computer Imagery

    11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20499-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perner / Zhou / Gollmann | Information and Communications Security | Buch | Sack Fachmedien

    Perner / Zhou / Gollmann Information and Communications Security

    5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20150-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borgefors / Sanniti di Baja / Nyström | Discrete Geometry for Computer Imagery | Buch | Sack Fachmedien

    Borgefors / Sanniti di Baja / Nyström Discrete Geometry for Computer Imagery

    9th International Conference, DGCI 2000 Uppsala, Sweden, December 13-15, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41396-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Apt | Programmverifikation | Buch | Sack Fachmedien

    Olderog / Apt Programmverifikation

    Sequentielle, parallele und verteilte Programme
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57479-8
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erickson / Smith / Rychert | Maximum Entropy and Bayesian Methods | Buch | Sack Fachmedien

    Erickson / Smith / Rychert Maximum Entropy and Bayesian Methods

    Boise, Idaho, USA, 1997 Proceedings of the 17th International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis
    1998
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5047-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Du / Rubinstein / Smith | Advances in Steiner Trees | Buch | Sack Fachmedien

    Du / Rubinstein / Smith Advances in Steiner Trees

    2000
    Verlag: Springer US
    ISBN: 978-0-7923-6110-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouzeghoub / Metais / Kedad | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Bouzeghoub / Metais / Kedad Natural Language Processing and Information Systems

    5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41943-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwon / Blostein | Graphics Recognition. Algorithms and Applications | Buch | Sack Fachmedien

    Kwon / Blostein Graphics Recognition. Algorithms and Applications

    4th International Workshop, GREC 2001, Kingston, Ontario, Canada, September 7-8, 2001. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44066-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Xu / Li | Theories of Programming and Formal Methods | Buch | Sack Fachmedien

    Bowen / Xu / Li Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-40435-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goodrich / Kobourov | Graph Drawing | Buch | Sack Fachmedien

    Goodrich / Kobourov Graph Drawing

    10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00158-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Afriat | Linear Dependence | Buch | Sack Fachmedien

    Afriat Linear Dependence

    Theory and Computation
    2000
    Verlag: Springer US
    ISBN: 978-0-306-46428-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goos / Zimmermann | Vorlesungen über Informatik | Buch | Sack Fachmedien

    Goos / Zimmermann Vorlesungen über Informatik

    Band 2: Objektorientiertes Programmieren und Algorithmen
    4., überarbeitete Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-24403-5
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Smid / Sack | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Smid / Sack Algorithms and Data Structures

    8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40545-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petreschi / Silvestri / Persiano | Algorithms and Complexity | Buch | Sack Fachmedien

    Petreschi / Silvestri / Persiano Algorithms and Complexity

    5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40176-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schott / Alonso | Random Generation of Trees | Buch | Sack Fachmedien

    Schott / Alonso Random Generation of Trees

    Random Generators in Computer Science
    1995
    Verlag: Springer US
    ISBN: 978-0-7923-9528-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    North | Graph Drawing | Buch | Sack Fachmedien

    North Graph Drawing

    Symposium on Graph Drawing GD'96, Berkeley, California, USA, September 18 - 20, 1996, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62495-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damaševicius / Štuikys / Damaševicius | Meta-Programming and Model-Driven Meta-Program Development | Buch | Sack Fachmedien

    Damaševicius / Štuikys / Damaševicius Meta-Programming and Model-Driven Meta-Program Development

    Principles, Processes and Techniques
    2013
    Verlag: Springer
    ISBN: 978-1-4471-4125-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lassaigne / Rougemont | Logic and Complexity | Buch | Sack Fachmedien

    Lassaigne / Rougemont Logic and Complexity

    2004. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-85233-565-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rouff | Agent Technology from a Formal Perspective | Buch | Sack Fachmedien

    Rouff Agent Technology from a Formal Perspective

    2006. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-947-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swierstra / Kuchen | Programming Languages: Implementations, Logics, and Programs | Buch | Sack Fachmedien

    Swierstra / Kuchen Programming Languages: Implementations, Logics, and Programs

    8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61756-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lizier | The Local Information Dynamics of Distributed Computation in Complex Systems | Buch | Sack Fachmedien

    Lizier The Local Information Dynamics of Distributed Computation in Complex Systems

    2013
    Verlag: Springer
    ISBN: 978-3-642-43819-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Tamassia / Sack | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Tamassia / Sack Algorithms and Data Structures

    7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42423-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friedrichs | Kanalcodierung | Buch | Sack Fachmedien

    Friedrichs Kanalcodierung

    Grundlagen und Anwendungen in modernen Kommunikationssystemen
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59353-9
    Medium: Buch
    114,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Tinhofer | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Schmidt / Tinhofer Graph-Theoretic Concepts in Computer Science

    International Workshop WG '86 Bernried, Federal Republic of Germany, June 17-19, 1986, Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17218-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feldman / Harel | Algoritmi | Buch | Sack Fachmedien

    Feldman / Harel Algoritmi

    Lo spirito dell'informatica
    2008
    Verlag: Springer Milan
    ISBN: 978-88-470-0579-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nickovic / Jurdzinski | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Nickovic / Jurdzinski Formal Modeling and Analysis of Timed Systems

    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33364-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Retore / Moot | The Logic of Categorial Grammars | Buch | Sack Fachmedien

    Retore / Moot The Logic of Categorial Grammars

    A deductive account of natural language syntax and semantics
    2012
    Verlag: Springer
    ISBN: 978-3-642-31554-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piazza / Fages | Formal Methods in Macro-Biology | Buch | Sack Fachmedien

    Piazza / Fages Formal Methods in Macro-Biology

    First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10397-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ajmone Marsan / van der Aalst / Kristensen | Transactions on Petri Nets and Other Models of Concurrency VI | Buch | Sack Fachmedien

    Ajmone Marsan / van der Aalst / Kristensen Transactions on Petri Nets and Other Models of Concurrency VI

    2012
    Verlag: Springer
    ISBN: 978-3-642-35178-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Truthe / Martín-Vide | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Dediu / Truthe / Martín-Vide Language and Automata Theory and Applications

    8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04920-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Norrish / Gonthier | Certified Programs and Proofs | Buch | Sack Fachmedien

    Norrish / Gonthier Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03544-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Volkov / Shur | Developments in Language Theory | Buch | Sack Fachmedien

    Volkov / Shur Developments in Language Theory

    18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09697-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morrill / Richter / Muskens | Formal Grammar | Buch | Sack Fachmedien

    Morrill / Richter / Muskens Formal Grammar

    19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-44120-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csuhaj-Varjú / Ésik / Dietzfelbinger | Mathematical Foundations of Computer Science 2014 | Buch | Sack Fachmedien

    Csuhaj-Varjú / Ésik / Dietzfelbinger Mathematical Foundations of Computer Science 2014

    39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
    2014
    Verlag: Springer
    ISBN: 978-3-662-44521-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gamboa / Klein | Interactive Theorem Proving | Buch | Sack Fachmedien

    Gamboa / Klein Interactive Theorem Proving

    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08969-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Egly / Sinz | Theory and Applications of Satisfiability Testing - SAT 2014 | Buch | Sack Fachmedien

    Egly / Sinz Theory and Applications of Satisfiability Testing - SAT 2014

    17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09283-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Danger / Debbabi / Zincir Heywood | Foundations and Practice of Security | Buch | Sack Fachmedien

    Danger / Debbabi / Zincir Heywood Foundations and Practice of Security

    6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-05301-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pugliese / Kühn | Coordination Models and Languages | Buch | Sack Fachmedien

    Pugliese / Kühn Coordination Models and Languages

    16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-43375-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Halbwachs | Computer Aided Verification | Buch | Sack Fachmedien

    Peled / Halbwachs Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tinsley | Conference on Computers in Education | Buch | Sack Fachmedien

    Tinsley Conference on Computers in Education

    1996. Auflage 1996
    Verlag: Springer Us
    ISBN: 978-0-412-73650-6
    Medium: Buch
    379,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / van Roosmalen | More Than Moore | Buch | Sack Fachmedien

    Zhang / van Roosmalen More Than Moore

    Creating High Value Micro/Nanoelectronics Systems
    2009. Auflage 2009
    Verlag: Springer Us
    ISBN: 978-0-387-75592-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engelberger | Robotics in Service | Buch | Sack Fachmedien

    Engelberger Robotics in Service

    Mit Press
    Verlag: Penguin Random House LLC
    ISBN: 978-0-262-05042-5
    Medium: Buch
    45,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eloff / Labuschagne / von Solms | Advances in Information Security Management & Small Systems Security | Buch | Sack Fachmedien

    Eloff / Labuschagne / von Solms Advances in Information Security Management & Small Systems Security

    Ifip Tc11 Wg11.1/Wg11.2 Eighth Annual Working Conference on Information Security Management & Small Systems Security September 27-28, 2001, Las Vegas, Nevada, USA
    2001. Auflage 2001
    Verlag: Springer Us
    ISBN: 978-0-7923-7506-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nehaniv / Dautenhahn | Imitation in Animals and Artifacts | Buch | Sack Fachmedien

    Nehaniv / Dautenhahn Imitation in Animals and Artifacts

    Neuausgabe 2002
    Verlag: Penguin Random House LLC
    ISBN: 978-0-262-04203-1
    Medium: Buch
    70,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set) | Buch | Sack Fachmedien

    Schlechta Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)

    Vol. I: Preference and Size / Vol. II: Theory Revision, Inheritance, and Various Abstract Properties
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-02310-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarski | Collected Papers | Buch | Sack Fachmedien

    Tarski Collected Papers

    Volume 4: 1958-1979
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95416-5
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen | Computer Algebra and Symbolic Computation | Buch | Sack Fachmedien

    Cohen Computer Algebra and Symbolic Computation

    Elementary Algorithms
    1. Auflage 2002
    Verlag: Taylor & Francis Inc
    ISBN: 978-1-56881-158-1
    Medium: Buch
    89,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Eijck / Van Eijck / Van Oostrom | Logic Colloquium '99 | Buch | Sack Fachmedien

    Eijck / Van Eijck / Van Oostrom Logic Colloquium '99

    1. Auflage 2004
    Verlag: A K Peters/CRC Press
    ISBN: 978-1-56881-199-4
    Medium: Buch
    85,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamatzky / Sirakoulis | Robots and Lattice Automata | Buch | Sack Fachmedien

    Adamatzky / Sirakoulis Robots and Lattice Automata

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10923-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ursino / Cantone | An Introduction to the Technique of Formative Processes in Set Theory | Buch | Sack Fachmedien

    Ursino / Cantone An Introduction to the Technique of Formative Processes in Set Theory

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grossman / Kamath / Namburu | Data Mining for Scientific and Engineering Applications | Buch | Sack Fachmedien

    Grossman / Kamath / Namburu Data Mining for Scientific and Engineering Applications

    2001
    Verlag: Springer US
    ISBN: 978-1-4020-0033-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Jin | Fuzzy Systems and Knowledge Discovery 1 | Buch | Sack Fachmedien

    Wang / Jin Fuzzy Systems and Knowledge Discovery 1

    Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28312-6
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spruth | The Design of a Microprocessor | Buch | Sack Fachmedien

    Spruth The Design of a Microprocessor

    1989. 1989
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-51395-7
    Medium: Buch
    85,55 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frické | Logic and the Organization of Information | Buch | Sack Fachmedien

    Frické Logic and the Organization of Information

    2012
    Verlag: Springer
    ISBN: 978-1-4899-9452-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shasha / Lazere | Out of Their Minds | Buch | Sack Fachmedien

    Shasha / Lazere Out of Their Minds

    The Lives and Discoveries of 15 Great Computer Scientists
    1995. 2. Printing 1998 Auflage 1998
    Verlag: Springer
    ISBN: 978-0-387-98269-4
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Formal Methods for Nonmonotonic and Related Logics | Buch | Sack Fachmedien

    Schlechta Formal Methods for Nonmonotonic and Related Logics

    Vol II: Theory Revision, Inheritance, and Various Abstract Properties
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-89649-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elmasri / Thalheim / Kouramajian | Entity-Relationship Approach - ER '93 | Buch | Sack Fachmedien

    Elmasri / Thalheim / Kouramajian Entity-Relationship Approach - ER '93

    12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58217-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sere / Sekerinski | Program Development by Refinement | Buch | Sack Fachmedien

    Sere / Sekerinski Program Development by Refinement

    Case Studies Using the B Method
    1999
    Verlag: Springer
    ISBN: 978-1-85233-053-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giesl | Term Rewriting and Applications | Buch | Sack Fachmedien

    Giesl Term Rewriting and Applications

    16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siveroni / Hankin | Static Analysis | Buch | Sack Fachmedien

    Siveroni / Hankin Static Analysis

    12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28584-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribenboim | Collected Works in Ordered Structures and Mathematical Logic | Buch | Sack Fachmedien

    Ribenboim Collected Works in Ordered Structures and Mathematical Logic

    Volume 2
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72143-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czelakowski | Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | Buch | Sack Fachmedien

    Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-09074-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Pasero / Faundez-Zanuy | Neural Approaches to Dynamics of Signal Exchanges | Buch | Sack Fachmedien

    Esposito / Pasero / Faundez-Zanuy Neural Approaches to Dynamics of Signal Exchanges

    1. Auflage 2020
    Verlag: Springer Nature Singapore
    ISBN: 978-981-13-8949-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Roosmalen / Zhang | More than Moore | Buch | Sack Fachmedien

    van Roosmalen / Zhang More than Moore

    Creating High Value Micro/Nanoelectronics Systems
    2009
    Verlag: Springer US
    ISBN: 978-1-4899-8431-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler | Linguistic Expressions and Semantic Processing | Buch | Sack Fachmedien

    Butler Linguistic Expressions and Semantic Processing

    A Practical Approach
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-38610-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunen | Set Theory An Introduction To Independence Proofs | Buch | Sack Fachmedien

    Kunen Set Theory An Introduction To Independence Proofs

    Erscheinungsjahr 1983
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-444-86839-8
    Medium: Buch
    61,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crossley / Sweedler / Remmel | Logical Methods | Buch | Sack Fachmedien

    Crossley / Sweedler / Remmel Logical Methods

    In Honor of Anil Nerode's Sixtieth Birthday
    1993
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3690-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Rozenberg / Juhas | Unifying Petri Nets | Buch | Sack Fachmedien

    Ehrig / Rozenberg / Juhas Unifying Petri Nets

    Advances in Petri Nets
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43067-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aliev | Robust Technology with Analysis of Interference in Signal Processing | Buch | Sack Fachmedien

    Aliev Robust Technology with Analysis of Interference in Signal Processing

    2003
    Verlag: Springer US
    ISBN: 978-0-306-47479-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Ciobanu | Modelling in Molecular Biology | Buch | Sack Fachmedien

    Rozenberg / Ciobanu Modelling in Molecular Biology

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40799-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lugiez / Amadio | CONCUR 2003 - Concurrency Theory | Buch | Sack Fachmedien

    Lugiez / Amadio CONCUR 2003 - Concurrency Theory

    14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40753-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noltemeier | Computational Geometry and its Applications | Buch | Sack Fachmedien

    Noltemeier Computational Geometry and its Applications

    CG '88 International Workshop on Computational Geometry Würzburg, FRG, March 24-25, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50335-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dechter | Principles and Practice of Constraint Programming - CP 2000 | Buch | Sack Fachmedien

    Dechter Principles and Practice of Constraint Programming - CP 2000

    6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawson / Boyd / Clark | Information Security and Privacy | Buch | Sack Fachmedien

    Dawson / Boyd / Clark Information Security and Privacy

    5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67742-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Urabe / Kano | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Urabe / Kano Discrete and Computational Geometry

    Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, 2000. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42306-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Maluszynski / Hermenegildo | Analysis and Visualization Tools for Constraint Programming | Buch | Sack Fachmedien

    Deransart / Maluszynski / Hermenegildo Analysis and Visualization Tools for Constraint Programming

    Constraint Debugging
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gritzalis | Secure Electronic Voting | Buch | Sack Fachmedien

    Gritzalis Secure Electronic Voting

    2003
    Verlag: Springer US
    ISBN: 978-1-4020-7301-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Schwiegelshohn / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Schwiegelshohn / Rudolph Job Scheduling Strategies for Parallel Processing

    8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00172-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibaraki / Ono / Katoh | Algorithms and Computation | Buch | Sack Fachmedien

    Ibaraki / Ono / Katoh Algorithms and Computation

    14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20695-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoshida / Gardner | CONCUR 2004 -- Concurrency Theory | Buch | Sack Fachmedien

    Yoshida / Gardner CONCUR 2004 -- Concurrency Theory

    15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22940-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meier / Roy | Fast Software Encryption | Buch | Sack Fachmedien

    Meier / Roy Fast Software Encryption

    11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22171-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria-Steffen / Wermelinger | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Margaria-Steffen / Wermelinger Fundamental Approaches to Software Engineering

    7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21305-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Varadharajan / Pieprzyk | Information Security and Privacy | Buch | Sack Fachmedien

    Wang / Varadharajan / Pieprzyk Information Security and Privacy

    9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22379-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangiovanni-Vincentelli / Di Benedetto | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Sangiovanni-Vincentelli / Di Benedetto Hybrid Systems: Computation and Control

    4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41866-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reichel / Ferreira | STACS 2001 | Buch | Sack Fachmedien

    Reichel / Ferreira STACS 2001

    18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41695-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franklin | Multiscalar Processors | Buch | Sack Fachmedien

    Franklin Multiscalar Processors

    2003
    Verlag: Springer US
    ISBN: 978-1-4020-7286-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwon / Lladós | Graphics Recognition. Recent Advances and Perspectives | Buch | Sack Fachmedien

    Kwon / Lladós Graphics Recognition. Recent Advances and Perspectives

    5th International Workshop, GREC 2003, Barcelona, Spain, July 30-31, 2003, Revides Selected Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22478-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robert | Les Systèmes Dynamiques Discrets | Buch | Sack Fachmedien

    Robert Les Systèmes Dynamiques Discrets

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60086-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamatzky | Reaction-Diffusion Automata: Phenomenology, Localisations, Computation | Buch | Sack Fachmedien

    Adamatzky Reaction-Diffusion Automata: Phenomenology, Localisations, Computation

    2013
    Verlag: Springer
    ISBN: 978-3-642-31077-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tison | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Tison Rewriting Techniques and Applications

    13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43916-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Segala / Hermanns | Process Algebra and Probabilistic Methods: Performance Modeling and Verification | Buch | Sack Fachmedien

    Segala / Hermanns Process Algebra and Probabilistic Methods: Performance Modeling and Verification

    Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43913-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drobiazgiewicz / Soldek | Artificial Intelligence and Security in Computing Systems | Buch | Sack Fachmedien

    Drobiazgiewicz / Soldek Artificial Intelligence and Security in Computing Systems

    9th International Conference, ACS '2002 Mi¿dzyzdroje, Poland October 23-25, 2002 Proceedings
    2003
    Verlag: Springer US
    ISBN: 978-1-4020-7396-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narukawa / Torra | Modeling Decisions | Buch | Sack Fachmedien

    Narukawa / Torra Modeling Decisions

    Information Fusion and Aggregation Operators
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-08833-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63371-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Posthoff / Steinbach | Logic Functions and Equations | Buch | Sack Fachmedien

    Posthoff / Steinbach Logic Functions and Equations

    Fundamentals and Applications using the XBOOLE-Monitor
    Third Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88944-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Posthoff / Steinbach | Logic Functions and Equations | Buch | Sack Fachmedien

    Posthoff / Steinbach Logic Functions and Equations

    Fundamentals and Applications using the XBOOLE-Monitor
    Third Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88947-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sasamal / Mohan / Singh | Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective | Buch | Sack Fachmedien

    Sasamal / Mohan / Singh Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective

    1. Auflage 2020
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-1822-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zemek / Meduna | Regulated Grammars and Automata | Buch | Sack Fachmedien

    Zemek / Meduna Regulated Grammars and Automata

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-1-4939-4316-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sui / Li | R-CALCULUS: A Logic of Belief Revision | Buch | Sack Fachmedien

    Sui / Li R-CALCULUS: A Logic of Belief Revision

    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-16-2946-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Usman / Khanum / Muthukkumarasamy | Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks | Buch | Sack Fachmedien

    Usman / Khanum / Muthukkumarasamy Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

    1. Auflage 2018
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-7466-0
    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