Search Results for - Narrowed by: Computer network architectures. - Programming Languages, Compilers, Interpreters.

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-05-30T15:28:55Z

by Lohstroh, Marten. editor.
https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources

Programming with Actors State-of-the-Art and Research Perspectives

2024-05-30T15:28:55Z

by Ricci, Alessandro. editor.
https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources

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

2024-05-30T15:28:55Z

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

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-05-30T15:28:55Z

by Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
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-30T15:28:55Z

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

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-05-30T15:28:55Z

by Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
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-30T15:28:55Z

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

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-05-30T15:28:55Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-05-30T15:28:55Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
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-30T15:28:55Z

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. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-05-30T15:28:55Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-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-30T15:28:55Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
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-05-30T15:28:55Z

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

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

2024-05-30T15:28:55Z

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

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-05-30T15:28:55Z

by Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

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-05-30T15:28:55Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
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-30T15:28:55Z

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

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-05-30T15:28:55Z

by Chandrasekaran, Sunita. editor.
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-30T15:28:55Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-05-30T15:28:55Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

Distributed Embedded Control Systems Improving Dependability with Coherent Design

2024-05-30T15:28:55Z

by Colnarič, Matjaž. author.
http://dx.doi.org/10.1007/978-1-84800-052-0
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-05-30T15:28:55Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: Electronic Resources

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-05-30T15:28:55Z

by Huss, Sorin A. editor.
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources

Fundamental Networking in Java

2024-05-30T15:28:55Z

by Pitt, Esmond. author.
http://dx.doi.org/10.1007/1-84628-252-7
Format: Electronic Resources

XML for Bioinformatics

2024-05-30T15:28:55Z

by Cerami, Ethan. author.
http://dx.doi.org/10.1007/0-387-27478-2
Format: Electronic Resources

Software Agent-Based Applications, Platforms and Development Kits

2024-05-30T15:28:55Z

by Unland, Rainer. editor.
http://dx.doi.org/10.1007/b137512
Format: Electronic Resources