Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4841
- 24
- 9
- Erscheinungsjahr
-
- 1
- 11
- 31
- 64
- 54
- 51
- 69
- 117
- 135
- 98
- 135
- 91
- 142
- 105
- 145
- 108
- 250
- 92
- 174
- 339
- 310
- 318
- 238
- 244
- 224
- 198
- 142
- 119
- 109
- 102
- 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
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 16
- 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
- 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
- 2
- 5
- 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
- 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
- 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
- 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
- 6
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 17
- 4
- 6
- 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
- 4
- 8
- 7
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 4
- 3
- 3
- 11
- 5
- 9
- 5
- 4
- 4
- 3
- 8
- 5
- 5
- 3
- 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
- 8
- 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
- 3
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 9
- 3
- 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
- 10
- 3
- 6
- 8
- 6
- 3
- 3
- 10
- 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
-
- 6
- 3
- 3
- 9
- 5
- 4
- 5
- 11
- 1
- 1
- 2
- 24
- 4
- 1
- 3
- 7
- 41
- 6
- 3
- 2
- 3
- 8
- 7
- 1
- 2
- 2
- 10
- 2
- 1
- 2
- 9
- 1
- 2
- 1
- 7
- 1
- 3
- 3
- 2
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 8
- 2
- 1125
- 2167
- 1
- 624
- 1
- 6
- 3
- 53
- 103
- 127
- 77
- 221
- 8
- 37
- 3
- 2
- 1
- 1
- 8
- 3
- 1
- 36
- 2
- 27
- 1
- 1
- 3
- Preis
-
- 16
- 206
- 3003
- 1649
- Sprachen
-
- 4732
- 137
- 9
- 3
- 1
- Verfügbarkeit
-
- 4855
- 19
- Katalog
-
- 4874
- 212
-
Ölveczky / Arbab Formal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-35742-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-35721-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rovan / Widmayer / Sassone Mathematical Foundations of Computer Science 2012
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-32588-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Núñez / Counsell Software Engineering and Formal Methods
SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-05031-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Goranko / Bezhanishvili Lectures on Logic and Computation
ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes2012Verlag: SpringerISBN: 978-3-642-31484-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Muggleton / Lisi / Tamaddoni-Nezhad Inductive Logic Programming
21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-31950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ibarra / Yen Developments in Language Theory
16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-31652-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Giachino / Bonsangue / Hähnle Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures2013Verlag: SpringerISBN: 978-3-642-40614-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hierons / Bravetti / Merayo Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40560-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Malyshkin Parallel Computing Technologies
12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39957-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Milius / Heckel Algebra and Coalgebra in Computer Science
5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40205-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / Groves Formal Methods and Software Engineering
15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-41201-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ogawa / Van Hung Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-02443-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Shan Programming Languages and Systems
11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03541-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nederhof / de Groote Formal Grammar
15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 20112012Verlag: SpringerISBN: 978-3-642-32023-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chakraborty / Mukund Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33385-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Minato / Yamashita Reversible Computation
6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08493-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Price / Lampinen / Storn Differential Evolution
A Practical Approach to Global OptimizationErscheinungsjahr 2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-20950-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fountain Semigroups, Formal Languages and Groups
1995Verlag: Springer NetherlandsISBN: 978-0-7923-3540-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rudolph / Feitelson Job Scheduling Strategies for Parallel Processing
7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42817-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mora Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51083-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nadal / Grassberger From Statistical Physics to Statistical Inference and Back
1994Verlag: Springer NetherlandsISBN: 978-0-7923-2775-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Xu Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations
Theories and Methodologies2023Verlag: Springer Nature SingaporeISBN: 978-981-99-3171-2Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Regan Mathematical Foundations of Software Engineering
A Practical Guide to Essentials2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-26214-2Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Morin / Bose Algorithms and Computation
13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00142-3Medium: 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