Search Results for - Narrowed by: Springer E-Book Collection - Theory of Computation. - 2018-2019

Handbook of Memristor Networks

2024-05-20T10:33:15Z

Yazar Chua, Leon. editor.
https://doi.org/10.1007/978-3-319-76375-0
Format: Electronic Resources

Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings

2024-05-20T10:33:15Z

Yazar Cheng, Reynold. editor. (orcid)0000-0002-9480-9809
https://doi.org/10.1007/978-3-030-34223-4
Format: Electronic Resources

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

2024-05-20T10:33:15Z

Yazar Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570
https://doi.org/10.1007/978-3-030-29908-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources

AI 2019: Advances in Artificial Intelligence 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Liu, Jixue. editor.
https://doi.org/10.1007/978-3-030-35288-2
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II

2024-05-20T10:33:15Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401
https://doi.org/10.1007/978-3-030-33617-2
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I

2024-05-20T10:33:15Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401
https://doi.org/10.1007/978-3-030-33607-3
Format: Electronic Resources

Innovations and Interdisciplinary Solutions for Underserved Areas Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Bassioni, Ghada. editor.
https://doi.org/10.1007/978-3-030-34863-2
Format: Electronic Resources

Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V

2024-05-20T10:33:15Z

Yazar Jawahar, C.V. editor.
https://doi.org/10.1007/978-3-030-20873-8
Format: Electronic Resources

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Ölveczky, Peter Csaba. editor.
https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources

An Introduction to Kolmogorov Complexity and Its Applications

2024-05-20T10:33:15Z

Yazar Li, Ming. author.
https://doi.org/10.1007/978-3-030-11298-1
Format: Electronic Resources

Knowledge Graphs and Semantic Web First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887
https://doi.org/10.1007/978-3-030-21395-4
Format: Electronic Resources

Bio-inspired Information and Communication Technologies 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Compagnoni, Adriana. editor.
https://doi.org/10.1007/978-3-030-24202-2
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-05-20T10:33:15Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

2024-05-20T10:33:15Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22741-8
Format: Electronic Resources

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233
https://doi.org/10.1007/978-3-030-33223-5
Format: Electronic Resources

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2024-05-20T10:33:15Z

Yazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234
https://doi.org/10.1007/978-3-030-33274-7
Format: Electronic Resources

Simplicity is Complex Foundations of Cyber-Physical System Design

2024-05-20T10:33:15Z

Yazar Kopetz, Hermann. author.
https://doi.org/10.1007/978-3-030-20411-2
Format: Electronic Resources

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-05-20T10:33:15Z

Yazar Özçep, Özgür Lütfü. author.
https://doi.org/10.1007/978-3-030-25785-9
Format: Electronic Resources

Natural Language Processing and Information Systems 24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26–28, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Métais, Elisabeth. editor.
https://doi.org/10.1007/978-3-030-23281-8
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

2024-05-20T10:33:15Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22734-0
Format: Electronic Resources

Big Data – BigData 2019 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Chen, Keke. editor. (orcid)0000-0002-9996-156X
https://doi.org/10.1007/978-3-030-23551-2
Format: Electronic Resources

Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-030-22999-3
Format: Electronic Resources

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430
https://doi.org/10.1007/978-3-030-33778-0
Format: Electronic Resources

Intelligent Computing Theories and Application 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II

2024-05-20T10:33:15Z

Yazar Huang, De-Shuang. editor.
https://doi.org/10.1007/978-3-030-26969-2
Format: Electronic Resources

Managed Software Evolution

2024-05-20T10:33:15Z

Yazar Reussner, Ralf. editor.
https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources

Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography

2024-05-20T10:33:15Z

Yazar Paakki, Jukka. author.
https://doi.org/10.1007/978-3-030-16049-4
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-05-20T10:33:15Z

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

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-05-20T10:33:15Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar Kojima, Kazuhiro. editor.
https://doi.org/10.1007/978-3-030-31605-1
Format: Electronic Resources

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources

Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

2024-05-20T10:33:15Z

Yazar Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810
https://doi.org/10.1007/978-3-030-36537-0
Format: Electronic Resources

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734
https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources

Carl Adam Petri: Ideas, Personality, Impact

2024-05-20T10:33:15Z

Yazar Reisig, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-96154-5
Format: Electronic Resources

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Majumdar, Amit. editor.
https://doi.org/10.1007/978-981-13-7729-7
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

2024-05-20T10:33:15Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22744-9
Format: Electronic Resources

Formal Methods An Appetizer

2024-05-20T10:33:15Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-05156-3
Format: Electronic Resources

Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Kaliszyk, Cezary. editor. (orcid)0000-0002-8273-6059
https://doi.org/10.1007/978-3-030-23250-4
Format: Electronic Resources

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources

Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments

2024-05-20T10:33:15Z

Yazar Lorig, Fabian. author.
https://doi.org/10.1007/978-3-658-27588-4
Format: Electronic Resources

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-030-11030-7
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources

Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Doucet, Antoine. editor.
https://doi.org/10.1007/978-3-030-30760-8
Format: Electronic Resources

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Alferes, José Júlio. editor.
https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources

Modeling and Using Context 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Bella, Gábor. editor. (orcid)0000-0002-3868-1740
https://doi.org/10.1007/978-3-030-34974-5
Format: Electronic Resources

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-05-20T10:33:15Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar Zhu, Xiaoyan. editor.
https://doi.org/10.1007/978-981-15-1956-7
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

2024-05-20T10:33:15Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22747-0
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

2024-05-20T10:33:15Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22750-0
Format: Electronic Resources

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

2024-05-20T10:33:15Z

Yazar González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262
https://doi.org/10.1007/978-3-030-01379-0
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
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-20T10:33:15Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
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-20T10:33:15Z

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

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Manea, Florin. editor.
https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
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-20T10:33:15Z

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

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

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

2024-05-20T10:33:15Z

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

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-20T10:33:15Z

Yazar Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

Foraging-Inspired Optimisation Algorithms

2024-05-20T10:33:15Z

Yazar Brabazon, Anthony. author.
https://doi.org/10.1007/978-3-319-59156-8
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-05-20T10:33:15Z

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

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

An Introduction to Metaheuristics for Optimization

2024-05-20T10:33:15Z

Yazar Chopard, Bastien. author.
https://doi.org/10.1007/978-3-319-93073-2
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-05-20T10:33:15Z

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

Handbook of Parallel Constraint Reasoning

2024-05-20T10:33:15Z

Yazar Hamadi, Youssef. editor.
https://doi.org/10.1007/978-3-319-63516-3
Format: Electronic Resources

Handbook of Model Checking

2024-05-20T10:33:15Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

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

2024-05-20T10:33:15Z

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

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2024-05-20T10:33:15Z

Yazar Ausiello, Giorgio. author.
https://doi.org/10.1007/978-3-319-62680-2
Format: Electronic Resources

Principles in Noisy Optimization Applied to Multi-agent Coordination

2024-05-20T10:33:15Z

Yazar Rakshit, Pratyusha. author.
https://doi.org/10.1007/978-981-10-8642-7
Format: Electronic Resources

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

2024-05-20T10:33:15Z

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

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

2024-05-20T10:33:15Z

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

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

2024-05-20T10:33:15Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
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-05-20T10:33:15Z

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

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-05-20T10:33:15Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources

Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings

2024-05-20T10:33:15Z

Yazar Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561
https://doi.org/10.1007/978-3-030-03667-6
Format: Electronic Resources

Computational Artifacts Towards a Philosophy of Computer Science

2024-05-20T10:33:15Z

Yazar Turner, Raymond. author.
https://doi.org/10.1007/978-3-662-55565-1
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-20T10:33:15Z

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

Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I

2024-05-20T10:33:15Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401
https://doi.org/10.1007/978-3-030-03493-1
Format: Electronic Resources

Hyper-Heuristics: Theory and Applications

2024-05-20T10:33:15Z

Yazar Pillay, Nelishia. author.
https://doi.org/10.1007/978-3-319-96514-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXX

2024-05-20T10:33:15Z

Yazar Thanh Nguyen, Ngoc. editor.
https://doi.org/10.1007/978-3-319-99810-7
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-20T10:33:15Z

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

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-05-20T10:33:15Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

2024-05-20T10:33:15Z

Yazar Böckenhauer, Hans-Joachim. editor.
https://doi.org/10.1007/978-3-319-98355-4
Format: Electronic Resources

Computational Matter

2024-05-20T10:33:15Z

Yazar Stepney, Susan. editor.
https://doi.org/10.1007/978-3-319-65826-1
Format: Electronic Resources

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

2024-05-20T10:33:15Z

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