Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 2 Berechenbarkeitstheorie, Komplexitätstheorie
- 47 Künstliche Intelligenz
- 146 Logik, formale Sprachen, Automaten
- 13 Mathematik für Informatiker
- 34 Mensch-Maschine-Interaktion
- 1 Natürliche Sprachen & Maschinelle Übersetzung
- 15 Rechnerarchitektur
- 8 Theoretische Informatik
-
- 235
-
- 235
-
- 12
- 198
- 25
-
- 235
-
- 235
-
- 235
- 4
-
Vallecillo / Gray / Pierantonio Theory and Practice of Model Transformations
First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69926-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Peled / Tsay Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29209-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
D'Souza / Narayan Kumar Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68166-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Artho / Legay / Peled Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46519-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Paschke / Biletskiy Advances in Rule Interchange and Applications
International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75974-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Finkbeiner / Pu / Zhang Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24952-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rensink / Warmer Model-Driven Architecture - Foundations and Applications
Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35909-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Aichernig / de Boer / Bonsangue Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 20101. Auflage 2011Verlag: SpringerISBN: 978-3-642-25270-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hung / Sokolsky Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59151-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Doherty / Blandford Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Holzinger / Ziefle / Hitz Human Factors in Computing and Informatics
First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39061-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cassez / Raskin Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jacko Human-Computer Interaction. HCI Applications and Services
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73109-2Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nambiar / Poess Topics in Performance Evaluation, Measurement and Characterization
Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32626-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Peña / van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis
Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32494-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis
First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15330-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jacko Human-Computer Interaction. Interaction Platforms and Techniques
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73106-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
ter Beek / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45942-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73104-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design
8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11796-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Á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-43612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16019-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design
5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70815-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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: SpringerISBN: 978-3-319-60224-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
