Ergebnisse filtern
Fachgebiet
Medium
  • 4828
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 26
  • 67
  • 54
  • 50
  • 68
  • 117
  • 135
  • 99
  • 136
  • 91
  • 142
  • 105
  • 144
  • 107
  • 249
  • 93
  • 175
  • 338
  • 310
  • 320
  • 238
  • 245
  • 223
  • 198
  • 145
  • 119
  • 109
  • 101
  • 87
  • 91
  • 81
  • 58
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 3
  • 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
  • 3
  • 5
  • 4
  • 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
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 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
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 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
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 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
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 5
  • 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
  • 4
  • 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
  • 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
  • 3
  • 8
  • 7
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 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
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 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
  • 4
  • 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
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 3
  • 8
  • 3
  • 9
  • 4
  • 6
  • 7
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 9
  • 4
  • 6
  • 8
  • 6
  • 3
  • 3
  • 11
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 5
  • 3
  • 3
  • 9
  • 5
  • 4
  • 5
  • 11
  • 1
  • 1
  • 2
  • 23
  • 4
  • 1
  • 3
  • 6
  • 41
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 2
  • 2
  • 1
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 3
  • 1
  • 7
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 5
  • 1
  • 2
  • 8
  • 2
  • 1128
  • 2167
  • 1
  • 657
  • 1
  • 6
  • 3
  • 52
  • 55
  • 127
  • 74
  • 223
  • 8
  • 38
  • 3
  • 2
  • 1
  • 1
  • 7
  • 4
  • 3
  • 1
  • 36
  • 2
  • 22
  • 1
  • 1
  • 3
Preis
  • 15
  • 211
  • 2987
  • 1650
Sprachen
  • 4720
  • 139
  • 13
Verfügbarkeit
  • 4842
  • 21
Katalog
  • 4863
  • 212
4.863  Titel
    Parallel-Vector Equation Solvers for Finite Element Engineering Applications | Buch | Sack Fachmedien

    Parallel-Vector Equation Solvers for Finite Element Engineering Applications

    2002
    Verlag: Springer US
    ISBN: 978-0-306-46640-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lafe | Cellular Automata Transforms | Buch | Sack Fachmedien

    Lafe Cellular Automata Transforms

    Theory and Applications in Multimedia Compression, Encryption, and Modeling
    2000
    Verlag: Springer US
    ISBN: 978-0-7923-7857-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholtes / Powell | System Modelling and Optimization | Buch | Sack Fachmedien

    Scholtes / Powell System Modelling and Optimization

    Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12¿16, 1999, Cambridge, UK
    2000
    Verlag: Springer US
    ISBN: 978-0-7923-7881-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yap / Martino / Frieder | High Performance Computational Methods for Biological Sequence Analysis | Buch | Sack Fachmedien

    Yap / Martino / Frieder High Performance Computational Methods for Biological Sequence Analysis

    1996
    Verlag: Springer US
    ISBN: 978-0-7923-9724-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan | Cryptanalytic Attacks on RSA | Buch | Sack Fachmedien

    Yan Cryptanalytic Attacks on RSA

    2008
    Verlag: Springer US
    ISBN: 978-0-387-48741-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graham / Gokhale | Reconfigurable Computing | Buch | Sack Fachmedien

    Graham / Gokhale Reconfigurable Computing

    Accelerating Computation with Field-Programmable Gate Arrays
    2005
    Verlag: Springer US
    ISBN: 978-0-387-26105-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breughel | Comparative Metric Semantics of Programming Languages | Buch | Sack Fachmedien

    Breughel Comparative Metric Semantics of Programming Languages

    Nondeterminism and Recursion
    1998
    Verlag: Birkhäuser Boston
    ISBN: 978-0-8176-3927-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dormann / Deutsch | Cellular Automaton Modeling of Biological Pattern Formation | Buch | Sack Fachmedien

    Dormann / Deutsch Cellular Automaton Modeling of Biological Pattern Formation

    Characterization, Examples, and Analysis
    2. Auflage 2017
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4899-7978-0
    Medium: Buch
    71,68 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitting / Orlowska | Beyond Two: Theory and Applications of Multiple-Valued Logic | Buch | Sack Fachmedien

    Fitting / Orlowska Beyond Two: Theory and Applications of Multiple-Valued Logic

    2003
    Verlag: Physica
    ISBN: 978-3-7908-1541-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jonsson / Pretschner | Model-Based Testing of Reactive Systems | Buch | Sack Fachmedien

    Broy / Jonsson / Pretschner Model-Based Testing of Reactive Systems

    Advanced Lectures
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26278-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Woodcock / Liu | Formal Methods and Hybrid Real-Time Systems | Buch | Sack Fachmedien

    Jones / Woodcock / Liu Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ivansson / Arnborg | Algorithm Theory - SWAT'98 | Buch | Sack Fachmedien

    Ivansson / Arnborg Algorithm Theory - SWAT'98

    6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64682-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oliveira / Laender | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Oliveira / Laender String Processing and Information Retrieval

    9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44158-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Applications and Services | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Applications and Services

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73109-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duch / Oja / Zadrozny | Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 | Buch | Sack Fachmedien

    Duch / Oja / Zadrozny Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

    15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II
    2005
    Verlag: Springer
    ISBN: 978-3-540-28755-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nayak / Zaki | Knowledge Discovery from XML Documents | Buch | Sack Fachmedien

    Nayak / Zaki Knowledge Discovery from XML Documents

    First International Workshop, KDXD 2006, Singapore, April 9, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-33180-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aguzzoli / Ciabattoni / Marra | Algebraic and Proof-theoretic Aspects of Non-classical Logics | Buch | Sack Fachmedien

    Aguzzoli / Ciabattoni / Marra Algebraic and Proof-theoretic Aspects of Non-classical Logics

    Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75938-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Lingras / Slezak | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Yao / Lingras / Slezak Rough Sets and Knowledge Technology

    Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72457-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maher | Advances in Computer Science - ASIAN 2004, Higher Level Decision Making | Buch | Sack Fachmedien

    Maher Advances in Computer Science - ASIAN 2004, Higher Level Decision Making

    9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24087-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokuyama | Algorithms and Computation | Buch | Sack Fachmedien

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkinson / Morrison / Buneman | Data Types and Persistence | Buch | Sack Fachmedien

    Atkinson / Morrison / Buneman Data Types and Persistence

    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18785-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosen | Concurrent Zero Knowledge | Buch | Sack Fachmedien

    Rosen Concurrent Zero Knowledge

    With Additional Background by Oded Goldreich
    1. ed
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-32938-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corradini / Rozenberg / Ehrig | Graph Transformation | Buch | Sack Fachmedien

    Corradini / Rozenberg / Ehrig Graph Transformation

    First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44310-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