語系
Margaria, Tiziana.
概要
| 作品: | 1 作品在 19 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationfoundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Yi, Wang.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationtools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Service-oriented computing - ICSOC 20086th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
Bouguettaya, Athman.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Graf, Susanne.; Larsen, Kim G.; Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard,
(書目-電子資源)
Process design for natural scientistsan agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Leveraging applications of formal methods, verification, and validation4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part II /
by:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part I /
by:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation. Applications and case studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-語言資料,印刷品)
Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Correct hardware design and verification methods11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; Melham, Tom.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validationtechnologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-語言資料,印刷品)
Leveraging applications of formal methods, verification and validationdiscussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
更多
較少的
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Operating Systems.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Science
Information Systems Applications (incl. Internet)
Database Management.
Algorithm Analysis and Problem Complexity.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Robots
Special Purpose and Application-Based Systems.
Data Mining and Knowledge Discovery.
Models and Principles.
Information Systems Applications (incl.Internet)
Service-oriented architecture (Computer science)
Business Information Systems.
Machine learning
The Computing Profession.
Computer science
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computers and Society.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer System Implementation.
Blockchains (Databases)
Integrated circuits
System analysis