Opening book details…
Can I read Frontiers Of Combining Systems: 9th International Symposium, Frocos 2013, Nancy, France, September 18-20, 2013, Proceedings (lecture Notes In Computer Science) on EtoBox?
Frontiers Of Combining Systems: 9th International Symposium, Frocos 2013, Nancy, France, September 18-20, 2013, Proceedings (lecture Notes In Computer Science) by Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.) is a computer science book available to read on EtoBox.
What is Frontiers Of Combining Systems: 9th International Symposium, Frocos 2013, Nancy, France, September 18-20, 2013, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical
Who reads Frontiers Of Combining Systems: 9th International Symposium, Frocos 2013, Nancy, France, September 18-20, 2013, Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783642408854
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
More by Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Similar books
- Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings (Lecture Notes in Computer Science, 1794) — Alexander Bockmayr, Friedrich Eisenbrand (auth.), Hélène Kirchner, Christophe Ringeissen (2000)
- Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings (Lecture Notes in Computer Science, 6989) — Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (2011)
- Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings — Silvio Ranise Carsten Lutz (2015)
- Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings (Lecture Notes in Computer Science, 5749) — Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (2009)
- Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings (Lecture Notes in Computer Science (6197)) — Henri Darmon (auth.), Guillaume Hanrot, François Morain, Emmanuel Thomé (2010)
- Graph Drawing: 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers (Lecture Notes in Computer Science (8242)) — Fabrizio Frati, Michael Kaufmann, János Pach, Csaba D. Tóth, David R. Wood (auth.), Stephen Wismath, Alexander Wolff (2013)