Search Results for - Narrowed by: Springer E-Book Collection - Data Structures. - Software engineering.

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2024-06-06T16:11:53Z

Yazar Catania, Barbara. editor. (orcid)0000-0002-6443-169X
https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-06-06T16:11:53Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-06-06T16:11:53Z

Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-06-06T16:11:53Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-06-06T16:11:53Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-06-06T16:11:53Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

2024-06-06T16:11:53Z

Yazar Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
https://doi.org/10.1007/978-3-319-73915-1
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-06-06T16:11:53Z

Yazar Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

2024-06-06T16:11:53Z

Yazar Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
https://doi.org/10.1007/978-3-319-71147-8
Format: Electronic Resources

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

2024-06-06T16:11:53Z

Yazar Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
https://doi.org/10.1007/978-3-319-71150-8
Format: Electronic Resources

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2024-06-06T16:11:53Z

Yazar Carayol, Arnaud. editor.
https://doi.org/10.1007/978-3-319-60134-2
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XII

2024-06-06T16:11:53Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-55862-1
Format: Electronic Resources

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-06-06T16:11:53Z

Yazar Echahed, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Security Standardisation Research Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings

2024-06-06T16:11:53Z

Yazar Chen, Liqun. editor.
http://dx.doi.org/10.1007/978-3-319-27152-1
Format: Electronic Resources

Data Science 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings

2024-06-06T16:11:53Z

Yazar Maneth, Sebastian. editor.
http://dx.doi.org/10.1007/978-3-319-20424-6
Format: Electronic Resources

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-06-06T16:11:53Z

Yazar Parisi-Presicce, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

2024-06-06T16:11:53Z

Yazar Gribaudo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-18579-8
Format: Electronic Resources

Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday

2024-06-06T16:11:53Z

Yazar Zaroliagis, Christos. editor.
http://dx.doi.org/10.1007/978-3-319-24024-4
Format: Electronic Resources

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

2024-06-06T16:11:53Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

2024-06-06T16:11:53Z

Yazar Giese, Holger. editor.
http://dx.doi.org/10.1007/978-3-319-09108-2
Format: Electronic Resources

Real-time Security Extensions for EPCglobal Networks Case Study for the Pharmaceutical Industry

2024-06-06T16:11:53Z

Yazar Schapranow, Matthieu-P. author.
http://dx.doi.org/10.1007/978-3-642-36343-6
Format: Electronic Resources

Information Systems Management in the Big Data Era

2024-06-06T16:11:53Z

Yazar Lake, Peter. author.
http://dx.doi.org/10.1007/978-3-319-13503-8
Format: Electronic Resources