Search Results for - Narrowed by: TEDU library - Springer E-Book Collection - Computer science. - Logic design. - Special Purpose and Application-Based Systems.

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-06-19T23:20:42Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-06-19T23:20:42Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-06-19T23:20:42Z

Yazar Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-06-19T23:20:42Z

Yazar Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-319-77398-8
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-06-19T23:20:42Z

Yazar Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-06-19T23:20:42Z

Yazar Zhang, Fa. editor.
https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-06-19T23:20:42Z

Yazar Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-06-19T23:20:42Z

Yazar Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2024-06-19T23:20:42Z

Yazar Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-06-19T23:20:42Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
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-19T23:20:42Z

Yazar Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar Petrucci, Laure. editor.
https://doi.org/10.1007/978-3-319-67113-0
Format: Electronic Resources

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
https://doi.org/10.1007/978-3-319-67549-7
Format: Electronic Resources

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar de Supinski, Bronis R. editor.
https://doi.org/10.1007/978-3-319-65578-9
Format: Electronic Resources

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-66320-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2024-06-19T23:20:42Z

Yazar Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-55849-3
Format: Electronic Resources

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

2024-06-19T23:20:42Z

Yazar An, Bo. editor. (orcid)0000-0002-7064-7438
https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2024-06-19T23:20:42Z

Yazar Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-55792-2
Format: Electronic Resources