Search Results for - Narrowed by: Computer Communication Networks. - Programming Languages, Compilers, Interpreters.

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-06-20T04:54:02Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-06-20T04:54:02Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

2024-06-20T04:54:02Z

by Prasad, Sushil K. editor.
https://doi.org/10.1007/978-3-319-93109-8
Format: Electronic Resources

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-06-20T04:54:02Z

by Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-20T04:54:02Z

by Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-06-20T04:54:02Z

by Jobstmann, Barbara. editor.
https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2024-06-20T04:54:02Z

by Wąsowski, Andrzej. editor.
https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2024-06-20T04:54:02Z

by Grabowski, Jens. editor.
https://doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2024-06-20T04:54:02Z

by Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2024-06-20T04:54:02Z

by Bloem, Roderick. editor.
https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedings

2024-06-20T04:54:02Z

by Remke, Anne. editor.
https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

2024-06-20T04:54:02Z

by Gorentla Venkata, Manjunath. editor.
https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2024-06-20T04:54:02Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2024-06-20T04:54:02Z

by Crnkovic, Ivica. editor.
https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

Network Performance Analysis Using the J Programming Language

2024-06-20T04:54:02Z

by Holt, Alan. author.
http://dx.doi.org/10.1007/978-1-84628-823-4
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

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

2024-06-20T04:54:02Z

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

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

2024-06-20T04:54:02Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/978-3-540-88643-3
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-06-20T04:54:02Z

by Meier, René. editor.
http://dx.doi.org/10.1007/978-3-540-68642-2
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-06-20T04:54:02Z

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

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2024-06-20T04:54:02Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

2024-06-20T04:54:02Z

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

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

2024-06-20T04:54:02Z

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

Languages and Compilers for Parallel Computing 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

2024-06-20T04:54:02Z

by Adve, Vikram. editor.
http://dx.doi.org/10.1007/978-3-540-85261-2
Format: Electronic Resources

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2024-06-20T04:54:02Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-540-77564-5
Format: Electronic Resources

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-06-20T04:54:02Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2024-06-20T04:54:02Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-06-20T04:54:02Z

by Tuyls, Karl. editor.
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers

2024-06-20T04:54:02Z

by Amaral, José Nelson. editor.
http://dx.doi.org/10.1007/978-3-540-89740-8
Format: Electronic Resources

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-06-20T04:54:02Z

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

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

2024-06-20T04:54:02Z

by Stenström, Per. editor.
http://dx.doi.org/10.1007/978-3-540-77560-7
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-06-20T04:54:02Z

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

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

2024-06-20T04:54:02Z

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

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

2024-06-20T04:54:02Z

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

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-06-20T04:54:02Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-06-20T04:54:02Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-06-20T04:54:02Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-06-20T04:54:02Z

by Petrenko, Alexandre. editor.
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources

An Introduction to Network Programming with Java

2024-06-20T04:54:02Z

by Graba, Jan. author.
http://dx.doi.org/10.1007/978-1-84628-630-8
Format: Electronic Resources

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-20T04:54:02Z

by Indulska, Jadwiga. editor.
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-20T04:54:02Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-06-20T04:54:02Z

by Noriega, Pablo. editor.
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-06-20T04:54:02Z

by Lumpe, Markus. editor.
http://dx.doi.org/10.1007/978-3-540-77351-1
Format: Electronic Resources

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

2024-06-20T04:54:02Z

by Almási, George. editor.
http://dx.doi.org/10.1007/978-3-540-72521-3
Format: Electronic Resources

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-06-20T04:54:02Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-06-20T04:54:02Z

by Südholt, Mario. editor.
http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-06-20T04:54:02Z

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

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-06-20T04:54:02Z

by Schmidt, Heinz W. editor.
http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-06-20T04:54:02Z

by Ernst, Erik. editor.
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2024-06-20T04:54:02Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-06-20T04:54:02Z

by Montanari, Ugo. editor.
http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Electronic Resources

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-06-20T04:54:02Z

by Padgham, Lin. editor.
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

2024-06-20T04:54:02Z

by Abdennadher, Nabil. editor.
http://dx.doi.org/10.1007/978-3-540-73230-3
Format: Electronic Resources

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

2024-06-20T04:54:02Z

by Bosschere, Koen. editor.
http://dx.doi.org/10.1007/978-3-540-69338-3
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers I

2024-06-20T04:54:02Z

by Stenström, Per. editor.
http://dx.doi.org/10.1007/978-3-540-71528-3
Format: Electronic Resources

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-20T04:54:02Z

by Eliassen, Frank. editor.
http://dx.doi.org/10.1007/11773887
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2024-06-20T04:54:02Z

by Boissier, Olivier. editor.
http://dx.doi.org/10.1007/11775331
Format: Electronic Resources

Advanced Topics in Exception Handling Techniques

2024-06-20T04:54:02Z

by Dony, Christophe. editor.
http://dx.doi.org/10.1007/11818502
Format: Electronic Resources

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2024-06-20T04:54:02Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11691792
Format: Electronic Resources

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2024-06-20T04:54:02Z

by Löwe, Welf. editor.
http://dx.doi.org/10.1007/11821946
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

2024-06-20T04:54:02Z

by Pinho, Luís Miguel. editor.
http://dx.doi.org/10.1007/11767077
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-20T04:54:02Z

by Gorrieri, Roberto. editor.
http://dx.doi.org/10.1007/11768869
Format: Electronic Resources

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2024-06-20T04:54:02Z

by Gorton, Ian. editor.
http://dx.doi.org/10.1007/11783565
Format: Electronic Resources

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2024-06-20T04:54:02Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/11678823
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-20T04:54:02Z

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

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2024-06-20T04:54:02Z

by Thomas, Dave. editor.
http://dx.doi.org/10.1007/11785477
Format: Electronic Resources

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-06-20T04:54:02Z

by Reussner, Ralf H. editor.
http://dx.doi.org/10.1007/11786160
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2024-06-20T04:54:02Z

by Thompson, Simon G. editor.
http://dx.doi.org/10.1007/11683704
Format: Electronic Resources

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2024-06-20T04:54:02Z

by Müller, Jörg P. editor.
http://dx.doi.org/10.1007/11752660
Format: Electronic Resources

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2024-06-20T04:54:02Z

by Baier, Christel. editor.
http://dx.doi.org/10.1007/11817949
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-06-20T04:54:02Z

by Barkaoui, Kamel. editor.
http://dx.doi.org/10.1007/11921240
Format: Electronic Resources

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2024-06-20T04:54:02Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11961536
Format: Electronic Resources

Rigorous Development of Complex Fault-Tolerant Systems

2024-06-20T04:54:02Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/11916246
Format: Electronic Resources

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2024-06-20T04:54:02Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/11757283
Format: Electronic Resources

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers

2024-06-20T04:54:02Z

by Ayguadé, Eduard. editor.
http://dx.doi.org/10.1007/978-3-540-69330-7
Format: Electronic Resources

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-06-20T04:54:02Z

by Nicola, Rocco. editor.
http://dx.doi.org/10.1007/11580850
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2024-06-20T04:54:02Z

by Hung, Dang. editor.
http://dx.doi.org/10.1007/11560647
Format: Electronic Resources

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers

2024-06-20T04:54:02Z

by Pugh, Bill. editor.
http://dx.doi.org/10.1007/11596110
Format: Electronic Resources

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

2024-06-20T04:54:02Z

by Conte, Tom. editor.
http://dx.doi.org/10.1007/11587514
Format: Electronic Resources

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2024-06-20T04:54:02Z

by Kudenko, Daniel. editor.
http://dx.doi.org/10.1007/b106974
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-06-20T04:54:02Z

by Steffen, Martin. editor.
http://dx.doi.org/10.1007/b136996
Format: Electronic Resources

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-06-20T04:54:02Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/11554578
Format: Electronic Resources

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

2024-06-20T04:54:02Z

by Gschwind, Thomas. editor.
http://dx.doi.org/10.1007/b107130
Format: Electronic Resources

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

2024-06-20T04:54:02Z

by Gschwind, Thomas. editor.
http://dx.doi.org/10.1007/11550679
Format: Electronic Resources

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-06-20T04:54:02Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/b105887
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-06-20T04:54:02Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/b107116
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

2024-06-20T04:54:02Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/11532378
Format: Electronic Resources

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-06-20T04:54:02Z

by Odell, James. editor.
http://dx.doi.org/10.1007/b105022
Format: Electronic Resources

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

2024-06-20T04:54:02Z

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

Embedded Systems Design The ARTIST Roadmap for Research and Development

2024-06-20T04:54:02Z

by Bouyssounouse, Bruno. author.
http://dx.doi.org/10.1007/b106761
Format: Electronic Resources

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-06-20T04:54:02Z

by Kutvonen, Lea. editor.
http://dx.doi.org/10.1007/b137217
Format: Electronic Resources

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2024-06-20T04:54:02Z

by Leite, João. editor.
http://dx.doi.org/10.1007/b136890
Format: Electronic Resources

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-06-20T04:54:02Z

by Black, Andrew P. editor.
http://dx.doi.org/10.1007/11531142
Format: Electronic Resources

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

2024-06-20T04:54:02Z

by Vardanega, Tullio. editor.
http://dx.doi.org/10.1007/b137344
Format: Electronic Resources

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2024-06-20T04:54:02Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/b135888
Format: Electronic Resources

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

2024-06-20T04:54:02Z

by Abadi, Martín. editor.
http://dx.doi.org/10.1007/11539452
Format: Electronic Resources