Ergebnisse filtern
- Fachgebiet
- Medium
-
- 516
- 508
- Erscheinungsjahr
-
- 9
- 39
- 54
- 46
- 66
- 50
- 53
- 54
- 59
- 82
- 71
- 68
- 67
- 58
- 70
- 66
- 53
- 59
- Autoren
-
- 1
- 1
- 2
- 4
- 9
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 6
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 14
- 8
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 14
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 13
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 4
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 3
- 2
- 4
- 5
- 4
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 8
- 2
- 2
- 1
- 11
- 2
- 1
- 3
- 4
- 3
- 8
- 3
- 2
- 2
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 7
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 2
- 3
- 1
- 6
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 6
- 1
- 5
- 4
- 2
- 1
- 3
- 1
- 1
- 2
- 3
- 3
- 1
- 2
- 7
- 2
- 4
- 1
- 4
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 5
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 5
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 4
- 3
- 2
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 3
- 4
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 5
- 4
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 5
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 9
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 12
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 4
- 2
- 2
- 10
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 8
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 12
- 5
- 2
- 6
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 6
- 3
- 3
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 517
- 90
- 400
- 17
- Preis
-
- 81
- 899
- 44
- Sprachen
-
- 1024
- Verfügbarkeit
-
- 1024
- Katalog
-
- 1024
- 19
-
Baier / Caires Formal Techniques for Distributed Objects, Components, and Systems
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-92612-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Habli / Sujan / Bitsch Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-83905-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gotsman / Sokolova Formal Techniques for Distributed Objects, Components, and Systems
40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-50086-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar
-
Habli / Sujan / Gerasimou Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-83906-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar90,94 € (inkl. MwSt.)
sofort verfügbar
-
Palamidessi / Ábrahám Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-662-43612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Nambiar / Poess Performance Evaluation and Benchmarking for the Analytics Era
9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-72401-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar42,79 € (inkl. MwSt.)
sofort verfügbar
-
Bouajjani / Silva Formal Techniques for Distributed Objects, Components, and Systems
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-60225-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design
5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers2007Verlag: SpringerISBN: 978-3-540-70816-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design
6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-77222-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bassiliades / Governatori / Paschke Rule Representation, Interchange and Reasoning on the Web
International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings2008Verlag: SpringerISBN: 978-3-540-88808-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Wolpers / Kirschner / Scheffel Sustaining TEL: From Innovation to Learning and Practice
5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16020-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43613-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Poess / Nambiar Performance Characterization and Benchmarking. Traditional to Big Data
6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15349-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Viswanathan / Graf Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-19194-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kouchnarenko / Julliand B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68760-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Taft / Duff / Brukardt Ada 2012 Reference Manual. Language and Standard Libraries
International Standard ISO/IEC 8652/2012 (E)Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-45419-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar
-
Sokolova / Gotsman Formal Techniques for Distributed Objects, Components, and Systems
40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-50085-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77418-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Yoshida / Pérez Formal Techniques for Distributed Objects, Components, and Systems
39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-21758-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage68,48 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers2008Verlag: SpringerISBN: 978-3-540-77419-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Morgenstern / Stefaneas / Paschke Theory, Practice, and Applications of Rules on the Web
7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39616-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Najm / Pradat-Peyre / Donzeau-Gouge Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-46220-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Calinescu / Garlan Large-Scale Complex IT Systems. Development, Operation and Management
17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34059-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Stephanidis Universal Access in Human-Computer Interaction. Applications and Services
4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part III2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73282-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Morgenstern / Stefaneas / Lévy Theory, Practice, and Applications of Rules on the Web
7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39617-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
