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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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 I

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887
https://doi.org/10.1007/978-3-030-21395-4
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-03T11:16:33Z

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

Carl Adam Petri: Ideas, Personality, Impact

2024-05-03T11:16:33Z

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-03T11:16:33Z

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

Handbook of Memristor Networks

2024-05-03T11:16:33Z

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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430
https://doi.org/10.1007/978-3-030-33778-0
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-03T11:16:33Z

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

Managed Software Evolution

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-05-03T11:16:33Z

Yazar Özçep, Özgür Lütfü. author.
https://doi.org/10.1007/978-3-030-25785-9
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Paakki, Jukka. author.
https://doi.org/10.1007/978-3-030-16049-4
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-03T11:16:33Z

Yazar Chen, Keke. editor. (orcid)0000-0002-9996-156X
https://doi.org/10.1007/978-3-030-23551-2
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-03T11:16:33Z

Yazar Kojima, Kazuhiro. editor.
https://doi.org/10.1007/978-3-030-31605-1
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-030-27008-7
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-03T11:16:33Z

Yazar Doucet, Antoine. editor.
https://doi.org/10.1007/978-3-030-30760-8
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

Formal Methods An Appetizer

2024-05-03T11:16:33Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-05156-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-03T11:16:33Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
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-03T11:16:33Z

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

Simplicity is Complex Foundations of Cyber-Physical System Design

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

An Introduction to Kolmogorov Complexity and Its Applications

2024-05-03T11:16:33Z

Yazar Li, Ming. author.
https://doi.org/10.1007/978-3-030-11298-1
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Bassioni, Ghada. editor.
https://doi.org/10.1007/978-3-030-34863-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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
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-03T11:16:33Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-030-11030-7
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-03T11:16:33Z

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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Alferes, José Júlio. editor.
https://doi.org/10.1007/978-3-030-05998-9
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-03T11:16:33Z

Yazar Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-030-22999-3
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
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-03T11:16:33Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25540-4
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-03T11:16:33Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
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-03T11:16:33Z

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

Principles in Noisy Optimization Applied to Multi-agent Coordination

2024-05-03T11:16:33Z

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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

Hyper-Heuristics: Theory and Applications

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561
https://doi.org/10.1007/978-3-030-03667-6
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-03T11:16:33Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

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

Transactions on Computational Science XXXIII

2024-05-03T11:16:33Z

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

Foraging-Inspired Optimisation Algorithms

2024-05-03T11:16:33Z

Yazar Brabazon, Anthony. author.
https://doi.org/10.1007/978-3-319-59156-8
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-03T11:16:33Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
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-03T11:16:33Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-03T11:16:33Z

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

Handbook of Model Checking

2024-05-03T11:16:33Z

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-03T11:16:33Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
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-03T11:16:33Z

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

An Introduction to Metaheuristics for Optimization

2024-05-03T11:16:33Z

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-03T11:16:33Z

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

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

2024-05-03T11:16:33Z

Yazar Raynal, Michel. author.
https://doi.org/10.1007/978-3-319-94141-7
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-03T11:16:33Z

Yazar Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-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-03T11:16:33Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
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-03T11:16:33Z

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-03T11:16:33Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
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-03T11:16:33Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Handbook of Parallel Constraint Reasoning

2024-05-03T11:16:33Z

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

Computational Matter

2024-05-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Böckenhauer, Hans-Joachim. editor.
https://doi.org/10.1007/978-3-319-98355-4
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-03T11:16:33Z

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

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

2024-05-03T11:16:33Z

Yazar Ausiello, Giorgio. author.
https://doi.org/10.1007/978-3-319-62680-2
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-03T11:16:33Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
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-03T11:16:33Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXX

2024-05-03T11:16:33Z

Yazar Thanh Nguyen, Ngoc. editor.
https://doi.org/10.1007/978-3-319-99810-7
Format: Electronic Resources

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

2024-05-03T11:16:33Z

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

Computational Artifacts Towards a Philosophy of Computer Science

2024-05-03T11:16:33Z

Yazar Turner, Raymond. author.
https://doi.org/10.1007/978-3-662-55565-1
Format: Electronic Resources

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources

Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Kryszkiewicz, Marzena. editor.
https://doi.org/10.1007/978-3-319-60438-1
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II

2024-05-03T11:16:33Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68204-4
Format: Electronic Resources

Models of Computation

2024-05-03T11:16:33Z

Yazar Bruni, Roberto. author.
https://doi.org/10.1007/978-3-319-42900-7
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I

2024-05-03T11:16:33Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58068-5
Format: Electronic Resources

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Maedche, Alexander. editor.
https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources

The Incomputable Journeys Beyond the Turing Barrier

2024-05-03T11:16:33Z

Yazar Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

2024-05-03T11:16:33Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70697-9
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

2024-05-03T11:16:33Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70700-6
Format: Electronic Resources

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2024-05-03T11:16:33Z

Yazar Draheim, Dirk. author.
https://doi.org/10.1007/978-3-642-55198-7
Format: Electronic Resources

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Dutra, Inês. editor.
https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

2024-05-03T11:16:33Z

Yazar Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: Electronic Resources

Adventures in Computer Science From Classical Bits to Quantum Bits

2024-05-03T11:16:33Z

Yazar Moret-Bonillo, Vicente. author.
https://doi.org/10.1007/978-3-319-64807-1
Format: Electronic Resources

Theory of Reversible Computing

2024-05-03T11:16:33Z

Yazar Morita, Kenichi. author.
https://doi.org/10.1007/978-4-431-56606-9
Format: Electronic Resources

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar D'Souza, Deepak. editor.
https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

2024-05-03T11:16:33Z

Yazar Takagi, Tsuyoshi. editor.
https://doi.org/10.1007/978-3-319-70694-8
Format: Electronic Resources

Space in Weak Propositional Proof Systems

2024-05-03T11:16:33Z

Yazar Bonacina, Ilario. author.
https://doi.org/10.1007/978-3-319-73453-8
Format: Electronic Resources

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-58667-0
Format: Electronic Resources

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2024-05-03T11:16:33Z

Yazar Rojas, Ignacio. editor.
https://doi.org/10.1007/978-3-319-59147-6
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
https://doi.org/10.1007/978-3-319-71682-4
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources

Introduction to Learning Classifier Systems

2024-05-03T11:16:33Z

Yazar Urbanowicz, Ryan J. author.
https://doi.org/10.1007/978-3-662-55007-6
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II

2024-05-03T11:16:33Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58451-5
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-05-03T11:16:33Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources

Biomimetic and Biohybrid Systems 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Mangan, Michael. editor. (orcid)0000-0002-0293-8874
https://doi.org/10.1007/978-3-319-63537-8
Format: Electronic Resources

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

2024-05-03T11:16:33Z

Yazar Lindell, Yehuda. editor.
https://doi.org/10.1007/978-3-319-57048-8
Format: Electronic Resources

Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Maffei, Matteo. editor.
https://doi.org/10.1007/978-3-662-54455-6
Format: Electronic Resources

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Cazenave, Tristan. editor.
https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Fantechi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Rossi, Federico. editor. (orcid)0000-0002-1854-532X
https://doi.org/10.1007/978-3-319-57711-1
Format: Electronic Resources

Computational Intelligence for Network Structure Analytics

2024-05-03T11:16:33Z

Yazar Gong, Maoguo. author.
https://doi.org/10.1007/978-981-10-4558-5
Format: Electronic Resources

The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-70407-4
Format: Electronic Resources

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2024-05-03T11:16:33Z

Yazar Rojas, Ignacio. editor.
https://doi.org/10.1007/978-3-319-59153-7
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

2024-05-03T11:16:33Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68288-4
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-57708-1
Format: Electronic Resources

Modern Language Models and Computation Theory with Applications

2024-05-03T11:16:33Z

Yazar Meduna, Alexander. author.
https://doi.org/10.1007/978-3-319-63100-4
Format: Electronic Resources

Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Da Silveira, Marcos. editor.
https://doi.org/10.1007/978-3-319-69751-2
Format: Electronic Resources

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Cuppens, Frédéric. editor.
https://doi.org/10.1007/978-3-319-54876-0
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

2024-05-03T11:16:33Z

Yazar Kravets, Alla. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-319-65551-2
Format: Electronic Resources

Biomimetic and Biohybrid Systems 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings

2024-05-03T11:16:33Z

Yazar Lepora, Nathan F. editor.
http://dx.doi.org/10.1007/978-3-319-42417-0
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-05-03T11:16:33Z

Yazar Creignou, Nadia. editor.
http://dx.doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Rossi, Federico. editor.
http://dx.doi.org/10.1007/978-3-319-32695-5
Format: Electronic Resources

Evolutionary Computer Vision The First Footprints

2024-05-03T11:16:33Z

Yazar Olague, Gustavo. author.
http://dx.doi.org/10.1007/978-3-662-43693-6
Format: Electronic Resources

Encyclopedia of Algorithms

2024-05-03T11:16:33Z

Yazar Kao, Ming-Yang. editor.
http://dx.doi.org/10.1007/978-1-4939-2864-4
Format: Electronic Resources

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Cazenave, Tristan. editor.
http://dx.doi.org/10.1007/978-3-319-39402-2
Format: Electronic Resources

Hybrid Metaheuristics Powerful Tools for Optimization

2024-05-03T11:16:33Z

Yazar Blum, Christian. author.
http://dx.doi.org/10.1007/978-3-319-30883-8
Format: Electronic Resources

Turing Computability Theory and Applications

2024-05-03T11:16:33Z

Yazar Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources

Self-aware Computing Systems An Engineering Approach

2024-05-03T11:16:33Z

Yazar Lewis, Peter R. editor.
http://dx.doi.org/10.1007/978-3-319-39675-0
Format: Electronic Resources

Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

2024-05-03T11:16:33Z

Yazar Manulis, Mark. editor.
http://dx.doi.org/10.1007/978-3-319-39555-5
Format: Electronic Resources

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2024-05-03T11:16:33Z

Yazar Kunkel, Julian M. editor.
http://dx.doi.org/10.1007/978-3-319-41321-1
Format: Electronic Resources

Topics in Grammatical Inference

2024-05-03T11:16:33Z

Yazar Heinz, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-662-48395-4
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-05-03T11:16:33Z

Yazar Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: Electronic Resources

Biomimetic and Biohybrid Systems 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings

2024-05-03T11:16:33Z

Yazar Wilson, Stuart P. editor.
http://dx.doi.org/10.1007/978-3-319-22979-9
Format: Electronic Resources

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Duval, Béatrice. editor.
http://dx.doi.org/10.1007/978-3-319-27947-3
Format: Electronic Resources

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Bridging Constraint Satisfaction and Boolean Satisfiability

2024-05-03T11:16:33Z

Yazar Petke, Justyna. author.
http://dx.doi.org/10.1007/978-3-319-21810-6
Format: Electronic Resources

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

2024-05-03T11:16:33Z

Yazar Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-21819-9
Format: Electronic Resources

Applied Cryptography and Network Security 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Malkin, Tal. editor.
http://dx.doi.org/10.1007/978-3-319-28166-7
Format: Electronic Resources

Introduction to Evolutionary Computing

2024-05-03T11:16:33Z

Yazar Eiben, A.E. author.
http://dx.doi.org/10.1007/978-3-662-44874-8
Format: Electronic Resources

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Roubtsova, Ella. editor.
http://dx.doi.org/10.1007/978-3-319-21912-7
Format: Electronic Resources

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

2024-05-03T11:16:33Z

Yazar Heule, Marijn. editor.
http://dx.doi.org/10.1007/978-3-319-24318-4
Format: Electronic Resources

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings

2024-05-03T11:16:33Z

Yazar Chaudhuri, Kamalika. editor.
http://dx.doi.org/10.1007/978-3-319-24486-0
Format: Electronic Resources

The Foundations of Computability Theory

2024-05-03T11:16:33Z

Yazar Robič, Borut. author.
http://dx.doi.org/10.1007/978-3-662-44808-3
Format: Electronic Resources

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-05-03T11:16:33Z

Yazar Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

CryptoSchool

2024-05-03T11:16:33Z

Yazar von zur Gathen, Joachim. author.
http://dx.doi.org/10.1007/978-3-662-48425-8
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II

2024-05-03T11:16:33Z

Yazar Iwata, Tetsu. editor.
http://dx.doi.org/10.1007/978-3-662-48800-3
Format: Electronic Resources

Higher-Order Computability

2024-05-03T11:16:33Z

Yazar Longley, John. author.
http://dx.doi.org/10.1007/978-3-662-47992-6
Format: Electronic Resources

Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Black, Elizabeth. editor.
http://dx.doi.org/10.1007/978-3-319-28460-6
Format: Electronic Resources

Carl Adam Petri Life and Science

2024-05-03T11:16:33Z

Yazar Smith, Einar. author.
http://dx.doi.org/10.1007/978-3-662-48093-9
Format: Electronic Resources

Advances in Cryptology -- ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I

2024-05-03T11:16:33Z

Yazar Iwata, Tetsu. editor.
http://dx.doi.org/10.1007/978-3-662-48797-6
Format: Electronic Resources

Petri Net Synthesis

2024-05-03T11:16:33Z

Yazar Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: Electronic Resources

Graph and Model Transformation General Framework and Applications

2024-05-03T11:16:33Z

Yazar Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/978-3-662-47980-3
Format: Electronic Resources

Natural Computing Algorithms

2024-05-03T11:16:33Z

Yazar Brabazon, Anthony. author.
http://dx.doi.org/10.1007/978-3-662-43631-8
Format: Electronic Resources

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

2024-05-03T11:16:33Z

Yazar Kunkel, Julian M. editor.
http://dx.doi.org/10.1007/978-3-319-20119-1
Format: Electronic Resources

Quantum Computational Number Theory

2024-05-03T11:16:33Z

Yazar Yan, Song Y. author.
http://dx.doi.org/10.1007/978-3-319-25823-2
Format: Electronic Resources

Words and Graphs

2024-05-03T11:16:33Z

Yazar Kitaev, Sergey. author.
http://dx.doi.org/10.1007/978-3-319-25859-1
Format: Electronic Resources

Constraint Solving and Planning with Picat

2024-05-03T11:16:33Z

Yazar Zhou, Neng-Fa. author.
http://dx.doi.org/10.1007/978-3-319-25883-6
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-05-03T11:16:33Z

Yazar Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: Electronic Resources

Energy Time Series Forecasting Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain

2024-05-03T11:16:33Z

Yazar Dannecker, Lars. author.
http://dx.doi.org/10.1007/978-3-658-11039-0
Format: Electronic Resources

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Vinh, Phan Cong. editor.
http://dx.doi.org/10.1007/978-3-319-15392-6
Format: Electronic Resources

Memristor Networks

2024-05-03T11:16:33Z

Yazar Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-02630-5
Format: Electronic Resources

Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Boureanu, Ioana. editor.
http://dx.doi.org/10.1007/978-3-319-07536-5
Format: Electronic Resources

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30 – August 1, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Duff, Armin. editor.
http://dx.doi.org/10.1007/978-3-319-09435-9
Format: Electronic Resources

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Gopal, T. V. editor.
http://dx.doi.org/10.1007/978-3-319-06089-7
Format: Electronic Resources

Augmented Marked Graphs

2024-05-03T11:16:33Z

Yazar Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Das, Vinu V. editor.
http://dx.doi.org/10.1007/978-3-319-11629-7
Format: Electronic Resources

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-05-03T11:16:33Z

Yazar Anderson, Neal G. editor.
http://dx.doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2024-05-03T11:16:33Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-43790-2
Format: Electronic Resources

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2024-05-03T11:16:33Z

Yazar Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2024-05-03T11:16:33Z

Yazar Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I

2024-05-03T11:16:33Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources

Discrete and Topological Models in Molecular Biology

2024-05-03T11:16:33Z

Yazar Jonoska, Nataša. editor.
http://dx.doi.org/10.1007/978-3-642-40193-0
Format: Electronic Resources

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Bacon, Dave. editor.
http://dx.doi.org/10.1007/978-3-642-54429-3
Format: Electronic Resources

Constructivity and Computability in Historical and Philosophical Perspective

2024-05-03T11:16:33Z

Yazar Dubucs, Jacques. editor.
http://dx.doi.org/10.1007/978-94-017-9217-2
Format: Electronic Resources

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

2024-05-03T11:16:33Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45324-3
Format: Electronic Resources

Pairing-Based Cryptography – Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Cao, Zhenfu. editor.
http://dx.doi.org/10.1007/978-3-319-04873-4
Format: Electronic Resources

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-05-03T11:16:33Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

Open Problems in Mathematics and Computational Science

2024-05-03T11:16:33Z

Yazar Koç, Çetin Kaya. editor.
http://dx.doi.org/10.1007/978-3-319-10683-0
Format: Electronic Resources

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Cazenave, Tristan. editor.
http://dx.doi.org/10.1007/978-3-319-14923-3
Format: Electronic Resources

Theory and Principled Methods for the Design of Metaheuristics

2024-05-03T11:16:33Z

Yazar Borenstein, Yossi. editor.
http://dx.doi.org/10.1007/978-3-642-33206-7
Format: Electronic Resources

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers

2024-05-03T11:16:33Z

Yazar Black, Elizabeth. editor.
http://dx.doi.org/10.1007/978-3-642-54373-9
Format: Electronic Resources

Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

2024-05-03T11:16:33Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45321-2
Format: Electronic Resources

Language, Culture, Computation. Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

2024-05-03T11:16:33Z

Yazar Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-642-45327-4
Format: Electronic Resources

Regulated Grammars and Automata

2024-05-03T11:16:33Z

Yazar Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2024-05-03T11:16:33Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

2024-05-03T11:16:33Z

Yazar Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-10082-1
Format: Electronic Resources

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Cazenave, Tristan. editor.
http://dx.doi.org/10.1007/978-3-319-05428-5
Format: Electronic Resources

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Kunkel, Julian Martin. editor.
http://dx.doi.org/10.1007/978-3-319-07518-1
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Sinz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-05-03T11:16:33Z

Yazar Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-3-319-11268-8
Format: Electronic Resources

Genetic Programming Theory and Practice XI

2024-05-03T11:16:33Z

Yazar Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2024-05-03T11:16:33Z

Yazar Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings

2024-05-03T11:16:33Z

Yazar Auer, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-11662-4
Format: Electronic Resources

Transactions on Computational Science XXII

2024-05-03T11:16:33Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-642-54212-1
Format: Electronic Resources

Guided Self-Organization: Inception

2024-05-03T11:16:33Z

Yazar Prokopenko, Mikhail. editor.
http://dx.doi.org/10.1007/978-3-642-53734-9
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part II

2024-05-03T11:16:33Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources