Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1628
- Erscheinungsjahr
-
- 40
- 105
- 39
- 20
- 20
- 31
- 24
- 27
- 36
- 42
- 36
- 58
- 32
- 8
- 13
- 55
- 66
- 67
- 35
- 70
- 115
- 101
- 89
- 76
- 59
- 44
- 40
- 28
- 35
- 32
- 28
- 32
- 20
- 32
- 15
- 14
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 12
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 6
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 11
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 11
- 16
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 15
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 19
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 11
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 11
- 13
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 11
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 14
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 11
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 8
- 9
- 2
- 3
- 2
- 2
- 3
- 4
- 13
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 19
- 2
- 2
- 9
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 15
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 16
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 192
- 1012
- 260
- 1
- 7
- 133
- 23
- Preis
-
- 4
- 63
- 1330
- 231
- Sprachen
-
- 1628
- Verfügbarkeit
-
- 1624
- 4
- Katalog
-
- 1628
- 123
-
Stajano / Anderson / Matyáš Security Protocols XXVIII
28th International Workshop, Cambridge, UK, March 27¿28, 2023, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43032-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kovács / Finkbeiner Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57248-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van der Werf / Kristensen Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26¿28, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-61432-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nickovic / ter Beek / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2¿3, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Koutny / Zhang / Kleijn Transactions on Petri Nets and Other Models of Concurrency XII
1. Auflage 2017Verlag: SpringerISBN: 978-3-662-55861-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Al-Begain / Horváth / Fiems Analytical and Stochastic Modeling Techniques and Applications
16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02204-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lemos / Romanovsky / Gacek Architecting Dependable Systems II
2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23168-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fernández Rivera / Doallo / Bubak Grid Computing
First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21048-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sherman Paragon
A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15212-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chiba / Hirschfeld / Tanter Transactions on Aspect-Oriented Software Development XII
2015Verlag: SpringerISBN: 978-3-662-46733-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
America ECOOP '91 European Conference on Object-Oriented Programming
Geneva, Switzerland, July 15-19, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54262-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Müller-Schloer / Bauer / Ungerer Organic and Pervasive Computing -- ARCS 2004
International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21238-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Meijer / Jeuring Advanced Functional Programming
First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59451-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kermarrec / Kordon Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-01923-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Noble / Wallingford / Johnson Transactions on Pattern Languages of Programming IV
1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-14290-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cunha / Medeiros Euro-Par 2005 Parallel Processing
11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-28700-1Medium: Buch135,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage135,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chang / Hua Algorithms and Architectures for Parallel Processing
9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03094-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seger / Joyce Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57826-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hermanns Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16¿18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu / Zhu / Woodcock Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday2013Verlag: SpringerISBN: 978-3-642-39697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Faudemay / Boral Database Machines
Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51324-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gurevich / Thiele / Kutter Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67959-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seshia / Gurfinkel Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29612-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ito / Halstead Parallel Symbolic Computing: Languages, Systems, and Applications
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57396-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chapman / Zheng / Wang A Practical Programming Model for the Multi-Core Era
International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69302-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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