Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3173
- 350
- 3
- 1
- Erscheinungsjahr
-
- 1
- 3
- 30
- 77
- 238
- 96
- 65
- 78
- 82
- 92
- 66
- 25
- 39
- 31
- 33
- 21
- 25
- 21
- 125
- 77
- 149
- 302
- 302
- 206
- 107
- 140
- 105
- 112
- 82
- 88
- 82
- 77
- 78
- 67
- 65
- 60
- 40
- 65
- 33
- 34
- 26
- 21
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 11
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 24
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 24
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 2
- 7
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 4
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 10
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 5
- 3
- 7
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 4
- 5
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 9
- 3
- 3
- 4
- 5
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 5
- 4
- 9
- 8
- 3
- 3
- 3
- 4
- 5
- 3
- 8
- 4
- 6
- 6
- 3
- 4
- 28
- 11
- 3
- 4
- 9
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 4
- 3
- 5
- 6
- 5
- 7
- 5
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 6
- 3
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 5
- 15
- 3
- 4
- 3
- 3
- 4
- 10
- 3
- 3
- 3
- 8
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 6
- 4
- 6
- 4
- 3
- 6
- 6
- 3
- 3
- 6
- 3
- 4
- Verlag
-
- 3
- 2
- 1
- 1
- 302
- 2
- 1
- 1
- 7
- 4
- 3
- 34
- 13
- 68
- 1
- 28
- 369
- 1
- 6
- 5
- 1
- 1
- 6
- 1
- 2
- 3
- 2
- 4
- 3
- 1
- 15
- 8
- 1
- 3
- 2
- 1
- 1
- 21
- 1
- 2
- 1
- 1
- 4
- 4
- 1
- 13
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 7
- 2
- 6
- 2
- 1
- 2347
- 20
- 2
- 11
- 16
- 16
- 7
- 2
- 19
- 2
- 18
- 1
- 27
- 6
- 2
- 1
- 21
- 16
- 1
- 3
- 1
- 1
- 1
- 1
- Preis
-
- 132
- 510
- 2034
- 851
- Sprachen
-
- 3294
- 230
- 7
- 1
- Verfügbarkeit
-
- 3465
- 62
- Katalog
-
- 3527
- 183
-
Maheshwari Foundations of Software Technology and Theoretical Computer Science
Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings1. Auflage 1985Verlag: SpringerISBN: 978-3-540-16042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cardelli / Emmott Transactions on Computational Systems Biology IV
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33245-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berardi / Coppo Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61780-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Borzemski / Grzech / Ali New Frontiers in Applied Artificial Intelligence
21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69045-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Henzinger / Sontag Hybrid Systems III
Verification and Control1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrenberger Computer Safety, Reliability and Security
17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65110-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asano / Igarashi / Nagamochi Algorithms and Computation
7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-62048-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermenegildo / Penjam Programming Language Implementation and Logic Programming
6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58402-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jarzebowicz / Lukovic / Przybylek Software, System, and Service Engineering
S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 Septembe1. Auflage 2024Verlag: SpringerISBN: 978-3-031-51074-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheese Parallel Execution of Parlog
Erscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55382-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring Mathematics of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64591-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kikuchi / Rannenberg Advances in Information and Computer Security
Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-75650-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robinet International Symposium on Programming
Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 19801. Auflage 1980Verlag: SpringerISBN: 978-3-540-09981-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blikle / Barstow / Brauer MetaSoft Primer
Towards a Metalanguage for Applied Denotational Semantics1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18657-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Levi / Rodriguez-Artalejo Algebraic and Logic Programming
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58431-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pichler / Moreno Diaz Computer Aided Systems Theory - EUROCAST '91
A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55354-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ryan / Soule / Poli Genetic Programming
6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00971-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43928-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stadler / Stiller Active Technologies for Network and Service Management
10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66598-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sands Programming Languages and Systems
10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41862-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ito / Halstead Parallel Lisp: Languages and Systems
US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52782-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ingolfsdottir / Mishra / Nielson Transactions on Computational Systems Biology VII
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48837-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tixeuil / Herman Self-Stabilizing Systems
7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 20051. Auflage 2005Verlag: SpringerISBN: 978-3-540-29814-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Najm / Nestmann / Stevens Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20491-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Konev / Wolter Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74620-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort