Search Results for - Narrowed by: Information systems. - Programming Languages, Compilers, Interpreters.

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-06-05T02:27:54Z

by Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-06-05T02:27:54Z

by Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-06-05T02:27:54Z

by Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-06-05T02:27:54Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

2024-06-05T02:27:54Z

by Li, Qing. editor.
http://dx.doi.org/10.1007/978-3-540-87877-3
Format: Electronic Resources

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-06-05T02:27:54Z

by Cha, Sungdeok (Steve). editor.
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources

Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

2024-06-05T02:27:54Z

by Issarny, Valérie. editor.
http://dx.doi.org/10.1007/978-3-540-89856-6
Format: Electronic Resources

Visual Languages and Applications

2024-06-05T02:27:54Z

by Zhang, Kang. author.
http://dx.doi.org/10.1007/978-0-387-68257-0
Format: Electronic Resources

An Introduction to HTML and JavaScript for Scientists and Engineers

2024-06-05T02:27:54Z

by Brooks, David R. author.
http://dx.doi.org/10.1007/978-1-84628-657-5
Format: Electronic Resources

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2024-06-05T02:27:54Z

by Cerqueira, Renato. editor.
http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-06-05T02:27:54Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-06-05T02:27:54Z

by Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-06-05T02:27:54Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/11901914
Format: Electronic Resources

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-06-05T02:27:54Z

by Gotzhein, Reinhard. editor.
http://dx.doi.org/10.1007/11951148
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

2024-06-05T02:27:54Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/11877028
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2024-06-05T02:27:54Z

by Benhamou, Frédéric. editor.
http://dx.doi.org/10.1007/11889205
Format: Electronic Resources

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

2024-06-05T02:27:54Z

by Steen, Maarten. editor.
http://dx.doi.org/10.1007/11925071
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2024-06-05T02:27:54Z

by Beek, Peter. editor.
http://dx.doi.org/10.1007/11564751
Format: Electronic Resources

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-06-05T02:27:54Z

by Peled, Doron A. editor.
http://dx.doi.org/10.1007/11562948
Format: Electronic Resources

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

2024-06-05T02:27:54Z

by Alonso, Gustavo. editor.
http://dx.doi.org/10.1007/11587552
Format: Electronic Resources

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

2024-06-05T02:27:54Z

by Glück, Robert. editor.
http://dx.doi.org/10.1007/11561347
Format: Electronic Resources

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

2024-06-05T02:27:54Z

by Adi, Asaf. editor.
http://dx.doi.org/10.1007/11580072
Format: Electronic Resources