Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10009
- 1638
- 29
- 12
- Erscheinungsjahr
-
- 1
- 67
- 568
- 1206
- 1219
- 562
- 416
- 349
- 374
- 360
- 417
- 321
- 430
- 297
- 444
- 406
- 513
- 250
- 516
- 239
- 255
- 261
- 225
- 258
- 223
- 222
- 180
- 162
- 119
- 108
- 95
- 84
- 80
- 71
- 63
- 68
- 38
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 3
- 3
- 4
- 3
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 4
- 4
- 10
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 10
- 3
- 5
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 8
- 5
- 5
- 7
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 6
- 4
- 4
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 11
- 5
- 10
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 9
- 23
- 3
- 23
- 5
- 6
- 7
- 4
- 3
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 7
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 23
- 3
- 6
- 4
- 4
- 3
- 4
- 7
- 3
- 3
- 7
- 4
- 3
- 10
- 3
- 3
- 4
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 21
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 3
- 3
- 16
- 3
- 4
- 16
- 4
- 7
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 10
- 3
- 4
- 3
- 8
- 4
- 3
- 5
- 10
- 19
- 4
- 9
- 16
- 4
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 11
- 10
- 5
- 3
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 3
- 5
- 12
- 5
- 3
- 4
- 13
- 10
- 4
- 4
- 10
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 20
- 4
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 8
- 4
- 33
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 5
- 5
- 3
- 6
- 8
- 3
- 4
- 3
- 3
- 6
- 3
- 8
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 16
- 3
- 8
- 4
- 4
- 12
- 3
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 8
- 3
- 9
- 3
- 4
- 12
- 4
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 3
- 4
- 4
- 4
- 4
- 4
- 9
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 9
- 3
- 5
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 5
- 8
- 6
- 3
- 6
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 15
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 7
- 13
- 6
- 7
- 10
- 7
- 8
- 10
- 6
- 7
- 4
- 9
- 5
- 7
- 22
- 6
- 4
- 18
- 5
- 4
- 5
- 6
- 5
- 5
- 12
- 3
- 4
- 4
- 5
- 4
- 4
- 5
- 5
- 6
- 5
- 9
- 4
- 4
- 29
- 25
- 4
- 3
- 4
- 8
- 4
- 4
- 5
- 9
- 8
- 13
- 5
- 18
- 6
- 5
- 16
- 4
- 16
- 4
- 9
- 7
- 5
- 4
- 4
- 7
- 10
- 6
- 7
- 4
- 4
- 7
- 27
- 9
- 5
- 9
- 7
- 4
- 8
- 4
- 4
- 7
- 4
- 9
- 7
- 11
- 8
- 4
- 41
- 9
- 10
- 7
- 12
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 8
- 4
- 4
- 5
- 7
- 9
- 5
- 6
- 5
- 20
- 4
- 5
- 4
- 9
- 4
- 10
- 6
- 6
- 8
- 8
- 5
- 4
- 6
- 4
- 5
- 6
- 8
- 8
- 11
- 4
- 6
- 4
- 4
- 5
- 10
- 10
- 5
- 6
- 8
- 6
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 4
- 9
- 5
- 9
- 4
- 7
- 4
- 6
- 19
- 10
- 4
- 4
- 4
- 5
- 11
- 5
- 7
- 6
- 6
- 5
- 8
- 4
- 10
- 4
- 7
- 4
- 4
- 12
- 4
- 4
- 4
- 4
- 4
- 8
- 7
- 8
- 15
- 7
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 6
- 13
- 7
- 8
- 12
- 9
- 7
- 66
- 4
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 7
- 5
- 7
- 6
- 4
- 12
- 12
- 18
- 6
- 16
- 4
- 6
- 11
- 6
- 4
- 4
- 24
- 6
- 10
- 7
- 5
- 4
- 10
- 10
- 12
- 37
- 4
- 5
- 15
- 5
- 4
- 4
- 6
- 6
- 9
- 4
- 7
- 10
- 15
- 7
- 4
- 7
- 6
- 4
- 6
- 4
- 23
- 27
- 5
- 4
- 4
- 4
- 20
- 11
- 6
- 6
- 4
- 5
- 8
- 5
- 5
- 8
- 7
- 5
- 12
- 7
- 12
- 11
- 31
- 10
- 6
- 4
- 9
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 5
- 9
- 4
- 4
- 4
- 6
- 8
- 7
- 5
- 12
- 6
- 10
- 4
- 7
- 4
- 7
- 7
- 6
- 9
- 4
- 4
- 7
- 9
- 4
- 5
- 5
- 4
- 21
- 21
- 4
- 4
- 12
- 5
- 7
- 5
- 8
- 7
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 4
- 10
- 5
- 4
- 7
- 5
- 5
- 15
- 4
- 8
- 7
- 4
- 4
- 11
- 10
- 6
- 9
- 4
- 21
- 15
- 5
- 4
- 4
- 10
- 10
- 4
- 5
- 8
- 7
- 4
- 5
- 7
- 10
- 4
- 4
- 5
- 7
- 4
- 4
- 8
- 8
- 4
- 7
- 4
- 8
- 4
- 4
- 7
- 7
- 23
- 5
- 9
- 5
- 4
- 4
- 7
- 15
- 6
- 4
- 4
- 4
- 4
- 24
- 6
- 4
- 8
- 4
- 7
- 4
- 4
- 5
- 4
- 7
- 6
- 4
- 12
- 10
- 4
- 4
- 5
- 5
- 8
- 4
- 4
- 10
- 11
- 5
- 7
- 5
- 4
- 4
- 4
- 9
- 16
- 6
- 4
- 4
- 4
- 47
- 56
- 12
- 4
- 9
- 12
- 12
- 22
- 9
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 7
- 5
- 5
- 11
- 7
- 48
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 4
- 13
- 35
- 4
- 6
- 5
- 4
- 8
- 10
- 4
- 11
- 10
- 10
- 4
- 6
- 14
- 4
- 8
- 4
- 7
- 4
- 6
- 11
- 6
- 8
- 6
- 5
- 4
- 4
- 15
- 10
- 4
- 4
- 5
- 7
- 4
- 13
- 13
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 9
- 7
- 12
- 4
- 7
- 4
- 5
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 16
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 7
- 12
- 4
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 8
- 12
- 4
- 4
- 12
- 5
- 5
- 6
- 9
- 4
- 6
- 22
- 4
- 7
- 10
- 4
- 10
- 9
- 4
- 4
- 6
- 7
- 8
- 7
- Verlag
-
- 2
- 3
- 5
- 4
- 1
- 3
- 1
- 51
- 6
- 488
- 1
- 48
- 18
- 3
- 8
- 3
- 282
- 1
- 22
- 1
- 1
- 3
- 4
- 3
- 73
- 1
- 91
- 1
- 219
- 1
- 520
- 1327
- 15
- 1
- 2
- 56
- 100
- 1
- 3
- 2
- 3
- 1
- 60
- 2
- 1
- 51
- 29
- 1
- 25
- 1
- 4
- 3
- 12
- 5
- 36
- 4
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 25
- 1
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 103
- 55
- 4
- 3
- 4
- 17
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 13
- 2
- 1
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 23
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 3
- 2
- 1
- 15
- 1
- 6
- 32
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6412
- 31
- 9
- 1
- 1
- 1
- 35
- 5
- 1
- 31
- 34
- 1
- 107
- 86
- 3
- 2
- 22
- 1
- 284
- 28
- 120
- 52
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 5
- 2
- 87
- 3
- 10
- 1
- 24
- 10
- 1
- 1
- 2
- 2
- Preis
-
- 431
- 2015
- 5535
- 3707
- Sprachen
-
- 10727
- 972
- 2
- Verfügbarkeit
-
- 11365
- 323
- Eigenschaften
-
- 10
- 5
- Katalog
-
- 11688
- 1823
-
Klusácek / Cirne / Desai Job Scheduling Strategies for Parallel Processing
23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-63170-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen / Malavolta / Muccini Software Architecture
14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58922-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paasivaara / Kruchten Agile Processes in Software Engineering and Extreme Programming - Workshops
XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58857-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morisio / Torchiano / Jedlitschka Product-Focused Software Process Improvement
21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64147-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64353-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ng / Storey / Trujillo Conceptual Modeling - ER 2013
32th International Conference, ER 2013Hong-Kong, China, November 11-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41923-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kourie / Watson The Correctness-by-Construction Approach to Programming
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-44854-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haller / Huang / Paik Web Information Systems Engineering
Combined WISE 2011 and 2012 Workshops, Sydney, Australia, October 13-14, 2011 and Paphos, Cyprus, November 28-30, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38332-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McMillan / Rival Verification, Model Checking, and Abstract Interpretation
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54012-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eleftherakis / Hinchey / Holcombe Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33825-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Van Gorp / Ritter / Rose Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bartocci / Ramakrishnan Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39175-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV1. Auflage 2021Verlag: SpringerISBN: 978-3-030-83722-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Silhavy / Prokopova Software Engineering Application in Informatics
Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 11. Auflage 2021Verlag: SpringerISBN: 978-3-030-90317-6Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Silhavy / Prokopova Data Science and Intelligent Systems
Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 21. Auflage 2021Verlag: SpringerISBN: 978-3-030-90320-6Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qian / Cao / Su Recent Advances in Computer Science and Information Engineering
Volume 41. Auflage 2012Verlag: SpringerISBN: 978-3-642-25768-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fokkink Introduction to Process Algebra
1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66579-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brucker / Julliand Tests and Proofs
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30472-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Darvishy / Hutter / Seifert Age-Appropriate Digital Channels
1. Auflage 2022Verlag: SpringerISBN: 978-3-658-38445-6Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gorny / Tauber Visualization in Human-Computer Interaction
7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988. Selected Contributions1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52698-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-61361-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-61358-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Foster / Sampaio The Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement2024Verlag: SpringerISBN: 978-3-031-67113-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Santos / Álvarez / Hernández-Leo Collaboration Technologies and Social Computing
30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-67997-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Strauss / Amagasa / Manco Database and Expert Systems Applications
35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-68311-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (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