Search Results for - Narrowed by: Computer network architectures. - Theory of Computation.

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-05-29T20:32:48Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-05-29T20:32:48Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-05-29T20:32:48Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-05-29T20:32:48Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-05-29T20:32:48Z

by Ahmed, Amal. editor. (orcid)0000-0001-7424-572X
https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-05-29T20:32:48Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-05-29T20:32:48Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-05-29T20:32:48Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-05-29T20:32:48Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-05-29T20:32:48Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-29T20:32:48Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

2024-05-29T20:32:48Z

by Raynal, Michel. author.
https://doi.org/10.1007/978-3-319-94141-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-05-29T20:32:48Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2024-05-29T20:32:48Z

by Bougé, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Electronic Resources

Advances in Applied Self-organizing Systems

2024-05-29T20:32:48Z

by Prokopenko, Mikhail. editor.
http://dx.doi.org/10.1007/978-1-84628-982-8
Format: Electronic Resources

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2024-05-29T20:32:48Z

by Luque, Emilio. editor.
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Electronic Resources

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2024-05-29T20:32:48Z

by Georgiou, Chryssis. author.
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: Electronic Resources

Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

2024-05-29T20:32:48Z

by Russo, Barbara. editor.
http://dx.doi.org/10.1007/978-0-387-09684-1
Format: Electronic Resources

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-05-29T20:32:48Z

by Kermarrec, Anne-Marie. editor.
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-05-29T20:32:48Z

by Lehner, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

2024-05-29T20:32:48Z

by Levi, Albert. editor.
http://dx.doi.org/10.1007/11902140
Format: Electronic Resources

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2024-05-29T20:32:48Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/11823285
Format: Electronic Resources

Event-Triggered and Time-Triggered Control Paradigms

2024-05-29T20:32:48Z

by Obermaisser, Roman. author.
http://dx.doi.org/10.1007/978-0-387-23044-3
Format: Electronic Resources

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

2024-05-29T20:32:48Z

by Liew, Kim-Meow. editor.
http://dx.doi.org/10.1007/b103538
Format: Electronic Resources

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2024-05-29T20:32:48Z

by Yolum, pInar. editor.
http://dx.doi.org/10.1007/11569596
Format: Electronic Resources

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2024-05-29T20:32:48Z

by Cunha, José C. editor.
http://dx.doi.org/10.1007/11549468
Format: Electronic Resources

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2024-05-29T20:32:48Z

by Chapman, Barbara M. editor.
http://dx.doi.org/10.1007/b105895
Format: Electronic Resources