Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Continue reading
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Continue reading
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue reading
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue readingFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue reading
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Continue reading
Hardware and Software, Verification and Testing
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue reading
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Continue reading
Hybrid Systems: Computation and Control (vol. # 3927)
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Continue reading
Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Continue reading
Implementation and Application of Automata
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Continue reading
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Continue reading
Informatics in Control Automation and Robotics : Selected Papers from the International Conference on Informatics in Control Automation and Robotics 2006
The present book includes a set of selected papers from the 3rd “International Conference on Informatics in Control Automation ...
Continue reading
Information Systems Security : 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Information Systems Security, ICISS ...
Continue reading
Information, Interaction, and Agency
Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective ...
Continue reading
Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Continue reading
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Continue reading
