Search Results for Logic design. - Narrowed by: Artificial intelligence. - Logic design.

Logics for Computer Science Classical and Non-Classical

2024-08-23T16:22:40Z

Yazar Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Hung, Dang Van. editor.
https://doi.org/10.1007/978-3-319-67729-3
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Fomin, Fedor V. editor.
https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Stepney, Susan. editor. (orcid)0000-0003-3146-5401
https://doi.org/10.1007/978-3-319-92435-9
Format: Electronic Resources

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Bogomolov, Sergiy. editor.
https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2024-08-23T16:22:40Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar van der Aalst, Wil. editor.
https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Patitz, Matthew J. editor.
https://doi.org/10.1007/978-3-319-58187-3
Format: Electronic Resources

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Phillips, Iain. editor.
https://doi.org/10.1007/978-3-319-59936-6
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-60225-7
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-08-23T16:22:40Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning

2024-08-23T16:22:40Z

Yazar Abe, Jair Minoro. author.
http://dx.doi.org/10.1007/978-3-319-17912-4
Format: Electronic Resources

Design of Experiments for Reinforcement Learning

2024-08-23T16:22:40Z

Yazar Gatti, Christopher. author.
http://dx.doi.org/10.1007/978-3-319-12197-0
Format: Electronic Resources

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Bi, Yuanguo. editor.
https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers

2024-08-23T16:22:40Z

Yazar Cervantes, Leticia. author.
http://dx.doi.org/10.1007/978-3-319-26671-8
Format: Electronic Resources

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678
https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Seipel, Dietmar. editor.
https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2024-08-23T16:22:40Z

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

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Knoll, Florian. editor. (orcid)0000-0001-5357-8656
https://doi.org/10.1007/978-3-030-00129-2
Format: Electronic Resources

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar de Moura, Leonardo. editor.
https://doi.org/10.1007/978-3-319-63046-5
Format: Electronic Resources

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2024-08-23T16:22:40Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
https://doi.org/10.1007/978-3-030-20656-7
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Schmidt, Renate A. editor.
https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Tian, Cong. editor.
https://doi.org/10.1007/978-3-319-90104-6
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Češka, Milan. editor. (orcid)0000-0002-0300-9727
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI Special Issue on Data and Security Engineering

2024-08-23T16:22:40Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58808-6
Format: Electronic Resources

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Strichman, Ofer. editor.
https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Cussens, James. editor.
https://doi.org/10.1007/978-3-319-63342-8
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources

Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

2024-08-23T16:22:40Z

Yazar Cardoso, M. Jorge. editor.
https://doi.org/10.1007/978-3-319-67558-9
Format: Electronic Resources

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Berger, Christian. editor.
https://doi.org/10.1007/978-3-319-51738-4
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-08-23T16:22:40Z

Yazar Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Hu, Changjun. editor.
https://doi.org/10.1007/978-981-32-9987-0
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI

2024-08-23T16:22:40Z

Yazar Liu, Derong. editor.
https://doi.org/10.1007/978-3-319-70136-3
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698
https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
https://doi.org/10.1007/978-3-319-51676-9
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Balduccini, Marcello. editor.
https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Li, Lian. editor.
https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Reinecke, Philipp. editor.
https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

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

2024-08-23T16:22:40Z

Yazar Zhang, Fa. editor.
https://doi.org/10.1007/978-3-319-94968-0
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-08-23T16:22:40Z

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

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-08-23T16:22:40Z

Yazar Bombieri, Nicola. editor.
https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768
https://doi.org/10.1007/978-3-319-61581-3
Format: Electronic Resources

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

2024-08-23T16:22:40Z

Yazar Lintas, Alessandra. editor.
https://doi.org/10.1007/978-3-319-68612-7
Format: Electronic Resources

Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

2024-08-23T16:22:40Z

Yazar Lintas, Alessandra. editor.
https://doi.org/10.1007/978-3-319-68600-4
Format: Electronic Resources

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

2024-08-23T16:22:40Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Höfner, Peter. editor.
https://doi.org/10.1007/978-3-319-57418-9
Format: Electronic Resources

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-030-02465-9
Format: Electronic Resources

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
https://doi.org/10.1007/978-3-319-69404-7
Format: Electronic Resources

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Dixon, Clare. editor.
https://doi.org/10.1007/978-3-319-66167-4
Format: Electronic Resources

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

2024-08-23T16:22:40Z

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

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-08-23T16:22:40Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources

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

2024-08-23T16:22:40Z

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

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2024-08-23T16:22:40Z

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

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321
https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources

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

2024-08-23T16:22:40Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-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-08-23T16:22:40Z

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

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

2024-08-23T16:22:40Z

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

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
https://doi.org/10.1007/978-3-319-70169-1
Format: Electronic Resources

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

2024-08-23T16:22:40Z

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

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-08-23T16:22:40Z

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

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-08-23T16:22:40Z

Yazar Mencagli, Gabriele. editor.
https://doi.org/10.1007/978-3-030-10549-5
Format: Electronic Resources

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

2024-08-23T16:22:40Z

Yazar Moral, Serafín. editor. (orcid)0000-0002-5555-0857
https://doi.org/10.1007/978-3-319-67582-4
Format: Electronic Resources

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-08-23T16:22:40Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

2024-08-23T16:22:40Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

2024-08-23T16:22:40Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-59060-8
Format: Electronic Resources

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

2024-08-23T16:22:40Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-59063-9
Format: Electronic Resources

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

2024-08-23T16:22:40Z

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 I

2024-08-23T16:22:40Z

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

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

2024-08-23T16:22:40Z

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 III

2024-08-23T16:22:40Z

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

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

2024-08-23T16:22:40Z

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

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2024-08-23T16:22:40Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395
https://doi.org/10.1007/978-3-030-29400-7
Format: Electronic Resources

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-08-23T16:22:40Z

Yazar Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912
https://doi.org/10.1007/978-3-030-24741-6
Format: Electronic Resources

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

2024-08-23T16:22:40Z

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

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

2024-08-23T16:22:40Z

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

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

2024-08-23T16:22:40Z

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