Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2076
- Erscheinungsjahr
-
- 11
- 156
- 130
- 103
- 39
- 15
- 28
- 32
- 36
- 28
- 38
- 50
- 32
- 53
- 47
- 30
- 76
- 63
- 62
- 86
- 69
- 64
- 120
- 107
- 96
- 76
- 60
- 52
- 37
- 27
- 36
- 33
- 27
- 32
- 18
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 5
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 15
- 2
- 2
- 4
- 4
- 2
- 4
- 4
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 3
- 9
- 5
- 2
- 2
- 2
- 2
- 9
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 5
- 3
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 4
- 3
- 12
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 12
- 23
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 3
- 7
- 3
- 2
- 3
- 5
- 2
- 4
- 2
- 5
- 3
- 7
- 3
- 3
- 2
- 10
- 2
- 2
- 2
- 2
- 24
- 2
- 2
- 7
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 4
- 2
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 6
- 3
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 4
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 7
- 12
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 3
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 4
- 7
- 3
- 3
- 2
- 2
- 4
- 6
- 3
- 3
- 6
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 7
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 3
- 11
- 21
- 2
- 4
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 4
- 11
- 5
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 4
- 19
- 2
- 5
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 18
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 7
- 2
- 3
- 5
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 2
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 12
- 5
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 23
- 2
- 2
- 3
- 5
- 9
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 33
- 2
- 2
- 5
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 6
- 5
- 20
- 3
- 6
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 4
- 2
- 2
- 5
- 3
- 9
- 2
- 2
- 3
- 2
- 3
- 8
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 12
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 4
- 3
- 5
- 3
- 7
- 7
- 3
- 17
- 6
- 3
- 5
- 3
- 3
- Verlag
-
- 2068
- 8
- Preis
-
- 4
- 85
- 1685
- 302
- Sprachen
-
- 2076
- Verfügbarkeit
-
- 2075
- 1
- Katalog
-
- 2076
- 131
-
Abrial / Börger / Langmaack Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler ControlErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Altman / Chaintreau Network Control and Optimization
Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00392-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Whitesides Graph Drawing
6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65473-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ralyté / Chakravarthy / Mohania Conceptual Modeling
41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-17994-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marshall / Nettles / Wakamiya Active Networks
IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42678-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deransart / Hermenegildo / Maluszynski Analysis and Visualization Tools for Constraint Programming
Constraint Debugging1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Sirjani Coordination Models and Languages
24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-08145-3Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ball / Rajamani Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40117-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carvalho / Stolz Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-63881-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ramakrishnan Practical Aspects of Declarative Languages
Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41768-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Li / Xu Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40435-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bjorner Abstract Software Specifications
1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10007-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
Khendek / Dssouli Testing of Communicating Systems
17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26054-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guo / Yang / Di Martino Parallel and Distributed Processing and Applications
4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68067-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Strichman / Tzoref-Brill Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-70388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bezivin / Hullot / Cointe ECOOP '87. European Conference on Object-Oriented Programming
Paris, France, June 15-17, 1987. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18353-2Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Di Tosto / Parunak Multi-Agent-Based Simulation X
International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13552-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruel Satellite Events at the MoDELS 2005 Conference
MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31780-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3
Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66483-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fleischer / Moret / Meineche Schmidt Experimental Algorithmics
From Algorithm Design to Robust and Efficient Software1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00346-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Chen / Douglas High Performance Computing and Applications
Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11841-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yahav Static Analysis
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23701-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rashid / Aksit Transactions on Aspect-Oriented Software Development IV
Focus: Early Aspects and Aspects of Software EvolutionErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77041-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