Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3668
- 88
- 5
- Erscheinungsjahr
-
- 180
- 308
- 173
- 144
- 150
- 144
- 128
- 177
- 93
- 92
- 43
- 82
- 173
- 347
- 82
- 271
- 116
- 94
- 46
- 33
- 31
- 31
- 41
- 99
- 80
- 67
- 72
- 67
- 58
- 65
- 52
- 61
- 44
- 30
- 31
- 11
- 9
- 6
- 3
- 7
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 14
- 15
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 15
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 6
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 4
- 7
- 8
- 9
- 4
- 6
- 4
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 16
- 3
- 3
- 4
- 7
- 6
- 4
- 4
- 3
- 3
- 8
- 7
- 7
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 12
- 5
- 12
- 6
- 5
- 4
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 6
- 5
- 3
- 10
- 3
- 3
- 8
- 8
- 4
- 5
- 5
- 4
- 4
- 7
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 5
- 7
- 4
- 7
- 3
- 4
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 5
- 5
- 3
- 3
- 4
- 7
- 5
- 5
- 6
- 3
- 3
- 3
- 14
- 3
- 4
- 4
- 3
- 9
- 3
- 5
- 4
- 4
- 6
- 4
- 4
- 3
- 3
- 5
- 7
- 3
- 8
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 12
- 12
- 4
- 4
- 13
- 3
- 5
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 12
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 13
- 3
- 3
- 3
- 3
- 8
- 12
- 5
- 4
- 3
- 3
- 17
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 6
- 4
- 4
- 4
- 5
- 5
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 4
- 3
- 16
- 3
- 3
- 4
- 3
- 13
- 3
- 3
- 5
- 6
- 3
- 7
- 7
- 3
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 5
- 3
- 3
- 12
- 3
- 9
- 3
- 3
- 6
- 3
- 3
- 4
- 7
- 4
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 7
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- Verlag
-
- 1
- 1
- 1
- 1
- 22
- 2
- 2
- 8
- 6
- 4
- 54
- 2
- 5
- 149
- 1
- 2
- 1
- 22
- 1
- 37
- 52
- 1
- 9
- 9
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 12
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 15
- 1
- 1
- 3
- 2
- 889
- 537
- 680
- 2
- 1
- 6
- 4
- 228
- 392
- 1
- 119
- 14
- 268
- 1
- 16
- 10
- 1
- 22
- 17
- 7
- 2
- 1
- 1
- 36
- 31
- 1
- 1
- 4
- Preis
-
- 29
- 241
- 1685
- 1806
- Sprachen
-
- 3589
- 169
- 2
- 2
- Verfügbarkeit
-
- 3743
- 18
- Eigenschaften
-
- 1
- Katalog
-
- 3761
- 292
-
Pnueli / Manna The Temporal Logic of Reactive and Concurrent Systems
SpecificationSoftcover Nachdruck of the original 1. Auflage 1992Verlag: SpringerISBN: 978-1-4612-6950-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Knott Interpolating Cubic Splines
Softcover Nachdruck of the original 1. Auflage 2000Verlag: Birkhäuser BostonISBN: 978-1-4612-7092-8Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Martin / Levine Bounded Queries in Recursion Theory
1999Verlag: Birkhäuser BostonISBN: 978-1-4612-6848-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nicholls / Torre Neural Circuits and Networks
Proceedings of the NATO advanced Study Institute on Neuronal Circuits and Networks, held at the Ettore Majorana Center, Erice, Italy, June 15-27 1997Softcover Nachdruck of the original 1. Auflage 1998Verlag: SpringerISBN: 978-3-642-63801-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang / Du Algorithms and Computation
5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58325-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Godefroid Partial-Order Methods for the Verification of Concurrent Systems
An Approach to the State-Explosion Problem1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60761-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gollmann Fast Software Encryption
Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60865-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reischuk / Puech STACS 96
13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60922-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Limongelli / Calmet Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61697-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Guessarian Semantics of Systems of Concurrent Processes
LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53479-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Enjalbert / Wagner / Mayr STACS 94
11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57785-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ramalingam Bounded Incremental Computation
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61320-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schwichtenberg / Berger Computational Logic
Softcover Nachdruck of the original 1. Auflage 1999Verlag: SpringerISBN: 978-3-642-63670-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cunningham / Queyranne / McCormick Integer Programming and Combinatorial Optimization
5th International IPCO Conference Vancouver, British Columbia, Canada June 3-5, 1996 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61310-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fitzgerald / Lucas / Jones FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63533-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Felty / Gunter Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rolim Randomization and Approximation Techniques in Computer Science
International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63248-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Spanier / Niederreiter Monte-Carlo and Quasi-Monte Carlo Methods 1998
Proceedings of a Conference held at the Claremont Graduate University, Claremont, California, USA, June 22-26, 19981. Auflage 1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66176-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fisher Fractal Image Encoding and Analysis
1998Verlag: SpringerISBN: 978-3-642-08324-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Klinke Data Structures for Computational Statistics
Softcover Nachdruck of the original 1. Auflage 1997Verlag: Physica-Verlag HDISBN: 978-3-7908-0982-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schwenkert / Stry Mathematik kompakt
für Ingenieure und Informatiker4., neu bearbeiteteund erweiterte Auflage 2013Verlag: SpringerISBN: 978-3-642-24326-4Medium: Buch32,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Parallel-Vector Equation Solvers for Finite Element Engineering Applications
2002Verlag: Springer USISBN: 978-1-4613-5504-5Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Curien Categorical Combinators, Sequential Algorithms, and Functional Programming
Softcover Nachdruck of the original 1. Auflage 1993Verlag: Birkhäuser BostonISBN: 978-1-4612-6704-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bungartz / Pflüger / Garcke Sparse Grids and Applications - Munich 2018
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81361-1Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort