Search Results for - Narrowed by: Computer Communication Networks. - Logic design.

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-06-09T02:53:10Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
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-09T02:53:10Z

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

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2024-06-09T02:53:10Z

by Smart, Nigel P. editor. (orcid)0000-0003-3567-3304
https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-06-09T02:53:10Z

by Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

2024-06-09T02:53:10Z

by Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-030-01141-3
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-06-09T02:53:10Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2024-06-09T02:53:10Z

by Knoll, Florian. editor. (orcid)0000-0001-5357-8656
https://doi.org/10.1007/978-3-030-00129-2
Format: Electronic Resources

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

2024-06-09T02:53:10Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99130-6
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-06-09T02:53:10Z

by Berekovic, Mladen. editor.
https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-06-09T02:53:10Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
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-09T02:53:10Z

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

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-06-09T02:53:10Z

by Hildebrandt, Thomas. editor.
https://doi.org/10.1007/978-3-319-33612-1
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-09T02:53:10Z

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-09T02:53:10Z

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

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-06-09T02:53:10Z

by Abdulla, Parosh Aziz. editor.
https://doi.org/10.1007/978-3-319-46140-3
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-09T02:53:10Z

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

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-06-09T02:53:10Z

by Mauw, Sjouke. editor.
https://doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-06-09T02:53:10Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-06-09T02:53:10Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
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-09T02:53:10Z

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

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2024-06-09T02:53:10Z

by Amos, Martyn. editor.
https://doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

2024-06-09T02:53:10Z

by Dignum, Virginia. editor.
https://doi.org/10.1007/978-3-319-42691-4
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2024-06-09T02:53:10Z

by Milazzo, Paolo. editor.
https://doi.org/10.1007/978-3-319-50230-4
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-09T02:53:10Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
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-09T02:53:10Z

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

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2024-06-09T02:53:10Z

by Gulliksen, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Electronic Resources

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2024-06-09T02:53:10Z

by Kounev, Samuel. editor.
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-06-09T02:53:10Z

by Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-06-09T02:53:10Z

by Baroglio, Cristina. editor.
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Electronic Resources

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

2024-06-09T02:53:10Z

by Bui, The Duy. editor.
http://dx.doi.org/10.1007/978-3-540-89674-6
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-06-09T02:53:10Z

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

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

2024-06-09T02:53:10Z

by Domingue, John. editor.
http://dx.doi.org/10.1007/978-3-540-89704-0
Format: Electronic Resources

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

2024-06-09T02:53:10Z

by Sheth, Amit. editor.
http://dx.doi.org/10.1007/978-3-540-88564-1
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-09T02:53:10Z

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

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2024-06-09T02:53:10Z

by Graham, T. C. Nicholas. editor.
http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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-06-09T02:53:10Z

by Ramakrishnan, C. R. editor.
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2024-06-09T02:53:10Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-79124-9
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-09T02:53:10Z

by Tuyls, Karl. editor.
http://dx.doi.org/10.1007/978-3-540-77949-0
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-09T02:53:10Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/978-3-540-79003-7
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-09T02:53:10Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
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-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

by Stenström, Per. editor.
http://dx.doi.org/10.1007/978-3-540-77560-7
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-09T02:53:10Z

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

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-06-09T02:53:10Z

by Dumas, Marlon. editor.
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2024-06-09T02:53:10Z

by Forbrig, Peter. editor.
http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources

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

2024-06-09T02:53:10Z

by Cha, Sungdeok (Steve). editor.
http://dx.doi.org/10.1007/978-3-540-88387-6
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-09T02:53:10Z

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

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-06-09T02:53:10Z

by Gurevich, Yuri. editor.
http://dx.doi.org/10.1007/978-3-540-73770-4
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-09T02:53:10Z

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

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-06-09T02:53:10Z

by Paillier, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-06-09T02:53:10Z

by Okada, Mitsu. editor.
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-06-09T02:53:10Z

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

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-06-09T02:53:10Z

by Wolter, Katinka. editor.
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

by Montanari, Ugo. editor.
http://dx.doi.org/10.1007/978-3-540-75336-0
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-09T02:53:10Z

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

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-06-09T02:53:10Z

by Coninx, Karin. editor.
http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-06-09T02:53:10Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-1
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-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-06-09T02:53:10Z

by Derrick, John. editor.
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-06-09T02:53:10Z

by Doherty, Gavin. editor.
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-06-09T02:53:10Z

by George, Chris W. editor.
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-06-09T02:53:10Z

by Overhage, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers I

2024-06-09T02:53:10Z

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

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-06-09T02:53:10Z

by Antoniou, Grigoris. editor.
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Electronic Resources

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-06-09T02:53:10Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-06-09T02:53:10Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73281-5
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-09T02:53:10Z

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

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-06-09T02:53:10Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73105-4
Format: Electronic Resources

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-06-09T02:53:10Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: Electronic Resources

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2024-06-09T02:53:10Z

by Kedad, Zoubida. editor.
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-06-09T02:53:10Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-06-09T02:53:10Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: Electronic Resources

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-06-09T02:53:10Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-06-09T02:53:10Z

by Winckler, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-77222-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-09T02:53:10Z

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

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-06-09T02:53:10Z

by Choi, Lynn. editor.
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2024-06-09T02:53:10Z

by Jesshope, Chris. editor.
http://dx.doi.org/10.1007/11859802
Format: Electronic Resources

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

2024-06-09T02:53:10Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/11678823
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-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

by Thomas, Dave. editor.
http://dx.doi.org/10.1007/11785477
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-09T02:53:10Z

by Gorrieri, Roberto. editor.
http://dx.doi.org/10.1007/11768869
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-09T02:53:10Z

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

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2024-06-09T02:53:10Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11841197
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-09T02:53:10Z

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

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2024-06-09T02:53:10Z

by Horváth, András. editor.
http://dx.doi.org/10.1007/11777830
Format: Electronic Resources

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

2024-06-09T02:53:10Z

by Gorton, Ian. editor.
http://dx.doi.org/10.1007/11783565
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-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2024-06-09T02:53:10Z

by Najm, Elie. editor.
http://dx.doi.org/10.1007/11888116
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2024-06-09T02:53:10Z

by Dignum, Frank P. M. editor.
http://dx.doi.org/10.1007/978-3-540-68143-4
Format: Electronic Resources

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2024-06-09T02:53:10Z

by Shi, Zhong-Zhi. editor.
http://dx.doi.org/10.1007/11802372
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-09T02:53:10Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/11757283
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-09T02:53:10Z

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

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2024-06-09T02:53:10Z

by Gilroy, Stephen W. editor.
http://dx.doi.org/10.1007/11752707
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-06-09T02:53:10Z

by Goubin, Louis. editor.
http://dx.doi.org/10.1007/11894063
Format: Electronic Resources

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings

2024-06-09T02:53:10Z

by Mizoguchi, Riichiro. editor.
http://dx.doi.org/10.1007/11836025
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-06-09T02:53:10Z

by Hermanns, Holger. editor.
http://dx.doi.org/10.1007/11691372
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2024-06-09T02:53:10Z

by Hofmeister, Christine. editor.
http://dx.doi.org/10.1007/11921998
Format: Electronic Resources

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2024-06-09T02:53:10Z

by Cruz, Isabel. editor.
http://dx.doi.org/10.1007/11926078
Format: Electronic Resources

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

2024-06-09T02:53:10Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/11901914
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-09T02:53:10Z

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

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2024-06-09T02:53:10Z

by Kop, Christian. editor.
http://dx.doi.org/10.1007/11765448
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-09T02:53:10Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11961536
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-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-06-09T02:53:10Z

by Rao, Josyula R. editor.
http://dx.doi.org/10.1007/11545262
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-09T02:53:10Z

by Halbwachs, Nicolas. editor.
http://dx.doi.org/10.1007/b107194
Format: Electronic Resources

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2024-06-09T02:53:10Z

by Gil, Yolanda. editor.
http://dx.doi.org/10.1007/11574620
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-06-09T02:53:10Z

by Malenfant, Jacques. editor.
http://dx.doi.org/10.1007/b104146
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2024-06-09T02:53:10Z

by Barley, Michael Wayne. editor.
http://dx.doi.org/10.1007/b107183
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-09T02:53:10Z

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

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-06-09T02:53:10Z

by Eisinger, Norbert. editor.
http://dx.doi.org/10.1007/11526988
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2024-06-09T02:53:10Z

by Eijk, Rogier M. editor.
http://dx.doi.org/10.1007/b106468
Format: Electronic Resources

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

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

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

2024-06-09T02:53:10Z

by Black, Andrew P. editor.
http://dx.doi.org/10.1007/11531142
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-09T02:53:10Z

by Leite, João. editor.
http://dx.doi.org/10.1007/b136890
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-09T02:53:10Z

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

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-06-09T02:53:10Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/b103251
Format: Electronic Resources

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

2024-06-09T02:53:10Z

by Conte, Tom. editor.
http://dx.doi.org/10.1007/11587514
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-09T02:53:10Z

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

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-06-09T02:53:10Z

by Leue, Stefan. editor.
http://dx.doi.org/10.1007/b137052
Format: Electronic Resources

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2024-06-09T02:53:10Z

by Montoyo, Andrés. editor.
http://dx.doi.org/10.1007/b136569
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-06-09T02:53:10Z

by Wang, Farn. editor.
http://dx.doi.org/10.1007/11562436
Format: Electronic Resources

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2024-06-09T02:53:10Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11549970
Format: Electronic Resources

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-06-09T02:53:10Z

by Srikanthan, Thambipillai. editor.
http://dx.doi.org/10.1007/11572961
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-09T02:53:10Z

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