Search Results for - Narrowed by: 2008 - Logic design. - Programming Techniques.

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2024-09-24T14:20:47Z

by Alpuente, María. editor.
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-09-24T14:20:47Z

by Becker, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87879-7
Format: Electronic Resources

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-09-24T14:20:47Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-09-24T14:20:47Z

by Meier, René. editor.
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources

25 Years of Model Checking History, Achievements, Perspectives

2024-09-24T14:20:47Z

by Grumberg, Orna. editor.
http://dx.doi.org/10.1007/978-3-540-69850-0
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-09-24T14:20:47Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-09-24T14:20:47Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-09-24T14:20:47Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-09-24T14:20:47Z

by Vitek, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: Electronic Resources

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2024-09-24T14:20:47Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-09-24T14:20:47Z

by Cebulla, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: Electronic Resources

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-09-24T14:20:47Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-09-24T14:20:47Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-09-24T14:20:47Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

2024-09-24T14:20:47Z

by Hudak, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-77442-6
Format: Electronic Resources

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

2024-09-24T14:20:47Z

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

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-09-24T14:20:47Z

by Frachtenberg, Eitan. editor.
http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-09-24T14:20:47Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources

Principles of the Spin Model Checker

2024-09-24T14:20:47Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-09-24T14:20:47Z

by Luck, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: Electronic Resources

Programming Languages and Systems 17th European Symposium on Programming, ESOP 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

2024-09-24T14:20:47Z

by Drossopoulou, Sophia. editor.
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: Electronic Resources

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-09-24T14:20:47Z

by Garcia de la Banda, Maria. editor.
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2024-09-24T14:20:47Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Electronic Resources

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-09-24T14:20:47Z

by Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2024-09-24T14:20:47Z

by King, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-09-24T14:20:47Z

by Shankar, Natarajan. editor.
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2024-09-24T14:20:47Z

by Pautasso, Cesare. editor.
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: Electronic Resources

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-09-24T14:20:47Z

by Breugel, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: Electronic Resources

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

2024-09-24T14:20:47Z

by Chitil, Olaf. editor.
http://dx.doi.org/10.1007/978-3-540-85373-2
Format: Electronic Resources