Search Results for - Narrowed by: Springer E-Book Collection - Mathematics of Computing.

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

2024-04-28T19:46:45Z

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

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Ghaffari, Mohsen. editor.
https://doi.org/10.1007/978-3-030-34992-9
Format: Electronic Resources

Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096
https://doi.org/10.1007/978-3-030-10828-1
Format: Electronic Resources

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
https://doi.org/10.1007/978-3-030-28796-2
Format: Electronic Resources

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686
https://doi.org/10.1007/978-3-030-25636-4
Format: Electronic Resources

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
https://doi.org/10.1007/978-3-030-31304-3
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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 III

2024-04-28T19:46:45Z

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

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

2024-04-28T19:46:45Z

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

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
https://doi.org/10.1007/978-3-030-31038-7
Format: Electronic Resources

Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday

2024-04-28T19:46:45Z

Yazar Li, Quan-Lin. editor.
https://doi.org/10.1007/978-981-15-0864-6
Format: Electronic Resources

String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048
https://doi.org/10.1007/978-3-030-32686-9
Format: Electronic Resources

Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) Transcending Boundaries, Embracing Multidisciplinary Diversities

2024-04-28T19:46:45Z

Yazar Kor, Liew-Kee. editor.
https://doi.org/10.1007/978-981-13-7279-7
Format: Electronic Resources

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227
https://doi.org/10.1007/978-3-030-33388-1
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXXIV

2024-04-28T19:46:45Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-60555-4
Format: Electronic Resources

Deep Learning with R

2024-04-28T19:46:45Z

Yazar Ghatak, Abhijit. author.
https://doi.org/10.1007/978-981-13-5850-0
Format: Electronic Resources

Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Donnellan, Brian. editor.
https://doi.org/10.1007/978-3-030-02907-4
Format: Electronic Resources

Linear Algebra for Computational Sciences and Engineering

2024-04-28T19:46:45Z

Yazar Neri, Ferrante. author.
https://doi.org/10.1007/978-3-030-21321-3
Format: Electronic Resources

Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Liu, Xingang. editor. (orcid)0000-0003-4881-0216
https://doi.org/10.1007/978-3-030-06161-6
Format: Electronic Resources

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X
https://doi.org/10.1007/978-3-030-16692-2
Format: Electronic Resources

Numerical Mathematics and Advanced Applications ENUMATH 2017

2024-04-28T19:46:45Z

Yazar Radu, Florin Adrian. editor.
https://doi.org/10.1007/978-3-319-96415-7
Format: Electronic Resources

Simulation and Synthesis in Medical Imaging 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Burgos, Ninon. editor. (orcid)0000-0002-4668-2006
https://doi.org/10.1007/978-3-030-32778-1
Format: Electronic Resources

Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings

2024-04-28T19:46:45Z

Yazar Fu, Huazhu. editor. (orcid)0000-0002-9702-5524
https://doi.org/10.1007/978-3-030-32956-3
Format: Electronic Resources

Transactions on Rough Sets XXI

2024-04-28T19:46:45Z

Yazar Peters, James F. editor. (orcid)0000-0002-1026-4638
https://doi.org/10.1007/978-3-662-58768-3
Format: Electronic Resources

Visual Saliency: From Pixel-Level to Object-Level Analysis

2024-04-28T19:46:45Z

Yazar Zhang, Jianming. author.
https://doi.org/10.1007/978-3-030-04831-0
Format: Electronic Resources

Game Theory for Networks 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Avrachenkov, Konstantin. editor.
https://doi.org/10.1007/978-3-030-16989-3
Format: Electronic Resources

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources

Geometric Science of Information 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Nielsen, Frank. editor.
https://doi.org/10.1007/978-3-030-26980-7
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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-04-28T19:46:45Z

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-04-28T19:46:45Z

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

Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Parlier, Greg H. editor.
https://doi.org/10.1007/978-3-030-16035-7
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939
https://doi.org/10.1007/978-3-030-12598-1
Format: Electronic Resources

Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Cowen, Lenore J. editor.
https://doi.org/10.1007/978-3-030-17083-7
Format: Electronic Resources

Industrial Networks and Intelligent Systems 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Duong, Trung Quang. editor.
https://doi.org/10.1007/978-3-030-30149-1
Format: Electronic Resources

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources

Numerical Geometry, Grid Generation and Scientific Computing Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018

2024-04-28T19:46:45Z

Yazar Garanzha, Vladimir A. editor.
https://doi.org/10.1007/978-3-030-23436-2
Format: Electronic Resources

Methods and Models in Mathematical Programming

2024-04-28T19:46:45Z

Yazar MirHassani, S. A. author.
https://doi.org/10.1007/978-3-030-27045-2
Format: Electronic Resources

Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383
https://doi.org/10.1007/978-3-030-34029-2
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Duong, Trung Q. editor.
https://doi.org/10.1007/978-3-030-05873-9
Format: Electronic Resources

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261
https://doi.org/10.1007/978-3-030-20351-1
Format: Electronic Resources

Quality, Reliability, Security and Robustness in Heterogeneous Systems 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Duong, Trung Q. editor.
https://doi.org/10.1007/978-3-030-14413-5
Format: Electronic Resources

Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Pekeč, Saša. editor.
https://doi.org/10.1007/978-3-030-31489-7
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III

2024-04-28T19:46:45Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377
https://doi.org/10.1007/978-3-030-34618-8
Format: Electronic Resources

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources

Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Li, Deng-Feng. editor.
https://doi.org/10.1007/978-981-15-0657-4
Format: Electronic Resources

Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings

2024-04-28T19:46:45Z

Yazar Archambault, Daniel. editor. (orcid)0000-0003-4978-8479
https://doi.org/10.1007/978-3-030-35802-0
Format: Electronic Resources

Intelligent Data Processing 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Strijov, Vadim V. editor. (orcid)0000-0002-2194-8859
https://doi.org/10.1007/978-3-030-35400-8
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-04-28T19:46:45Z

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

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar German, Reinhard. editor.
https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Bender, Michael A. editor.
https://doi.org/10.1007/978-3-319-77404-6
Format: Electronic Resources

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Baum, Marcus. editor.
https://doi.org/10.1007/978-3-319-96271-9
Format: Electronic Resources

Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-319-99447-5
Format: Electronic Resources

Fundamentals and Applications of Hardcopy Communication Conveying Side Information by Printed Media

2024-04-28T19:46:45Z

Yazar Mayer, Joceli. author.
https://doi.org/10.1007/978-3-319-74083-6
Format: Electronic Resources

Artificial Intelligence 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Verheij, Bart. editor.
https://doi.org/10.1007/978-3-319-76892-2
Format: Electronic Resources

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-00689-1
Format: Electronic Resources

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources

Multi-Objective Optimization Evolutionary to Hybrid Framework

2024-04-28T19:46:45Z

Yazar Mandal, Jyotsna K. editor.
https://doi.org/10.1007/978-981-13-1471-1
Format: Electronic Resources

Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collection

2024-04-28T19:46:45Z

Yazar Lawo, Michael. editor.
https://doi.org/10.1007/978-3-658-21957-4
Format: Electronic Resources

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Panda, B.S. editor.
https://doi.org/10.1007/978-3-319-74180-2
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-04-28T19:46:45Z

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

Handbook of Model Checking

2024-04-28T19:46:45Z

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

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Parlier, Greg H. editor.
https://doi.org/10.1007/978-3-319-94767-9
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374
https://doi.org/10.1007/978-3-319-75931-9
Format: Electronic Resources

Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Nicosia, Giuseppe. editor.
https://doi.org/10.1007/978-3-319-72926-8
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Ganapathi, Geetha. editor.
https://doi.org/10.1007/978-981-13-0716-4
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2024-04-28T19:46:45Z

Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources

Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Ghosh, Debdas. editor.
https://doi.org/10.1007/978-981-13-0023-3
Format: Electronic Resources

Studies on Speech Production 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Fang, Qiang. editor.
https://doi.org/10.1007/978-3-030-00126-1
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-04-28T19:46:45Z

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

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

2024-04-28T19:46:45Z

Yazar Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-030-01449-0
Format: Electronic Resources

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-04-28T19:46:45Z

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

Transactions on Computational Collective Intelligence XXXI

2024-04-28T19:46:45Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-58464-4
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Kozubek, Tomáš. editor.
https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources

Data Analytics for Renewable Energy Integration 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Woon, Wei Lee. editor.
https://doi.org/10.1007/978-3-319-50947-1
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-04-28T19:46:45Z

Yazar Rossi, Federico. editor. (orcid)0000-0002-1854-532X
https://doi.org/10.1007/978-3-319-57711-1
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-04-28T19:46:45Z

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

The Incomputable Journeys Beyond the Turing Barrier

2024-04-28T19:46:45Z

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

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2024-04-28T19:46:45Z

Yazar Chen, Quan. author.
https://doi.org/10.1007/978-981-10-6238-4
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I

2024-04-28T19:46:45Z

Yazar Cong, Fengyu. editor.
https://doi.org/10.1007/978-3-319-59072-1
Format: Electronic Resources

Geometric Science of Information Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Nielsen, Frank. editor. (orcid)0000-0001-5728-0726
https://doi.org/10.1007/978-3-319-68445-1
Format: Electronic Resources

Introduction to Mathematica® with Applications

2024-04-28T19:46:45Z

Yazar Mureşan, Marian. author.
https://doi.org/10.1007/978-3-319-52003-2
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II

2024-04-28T19:46:45Z

Yazar Cong, Fengyu. editor.
https://doi.org/10.1007/978-3-319-59081-3
Format: Electronic Resources

Verifiable Composition of Signature and Encryption A Comprehensive Study of the Design Paradigms

2024-04-28T19:46:45Z

Yazar El Aimani, Laila. author.
https://doi.org/10.1007/978-3-319-68112-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-04-28T19:46:45Z

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

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Alba, Enrique. editor.
https://doi.org/10.1007/978-3-319-59513-9
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-04-28T19:46:45Z

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

Innovative Security Solutions for Information Technology and Communications 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Farshim, Pooya. editor.
https://doi.org/10.1007/978-3-319-69284-5
Format: Electronic Resources

The Musical-Mathematical Mind Patterns and Transformations

2024-04-28T19:46:45Z

Yazar Pareyon, Gabriel. editor.
https://doi.org/10.1007/978-3-319-47337-6
Format: Electronic Resources

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Beck, J. Christopher. editor.
https://doi.org/10.1007/978-3-319-66158-2
Format: Electronic Resources

Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Vitoriano, Begoña. editor.
https://doi.org/10.1007/978-3-319-53982-9
Format: Electronic Resources

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Peng, Sheng-Lung. editor.
https://doi.org/10.1007/978-3-319-72329-7
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

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

2024-04-28T19:46:45Z

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

Modern Language Models and Computation Theory with Applications

2024-04-28T19:46:45Z

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

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Blömer, Johannes. editor.
https://doi.org/10.1007/978-3-319-72453-9
Format: Electronic Resources

Space in Weak Propositional Proof Systems

2024-04-28T19:46:45Z

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

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Yue, Wuyi. editor.
https://doi.org/10.1007/978-3-319-68520-5
Format: Electronic Resources

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2024-04-28T19:46:45Z

Yazar Beebe, Nelson H.F. author.
https://doi.org/10.1007/978-3-319-64110-2
Format: Electronic Resources

Privately and Publicly Verifiable Computing Techniques A Survey

2024-04-28T19:46:45Z

Yazar Demirel, Denise. author.
https://doi.org/10.1007/978-3-319-53798-6
Format: Electronic Resources

Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

2024-04-28T19:46:45Z

Yazar Giri, Debasis. editor.
https://doi.org/10.1007/978-981-10-4642-1
Format: Electronic Resources

Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Chrobak, Marek. editor.
https://doi.org/10.1007/978-3-319-53058-1
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII

2024-04-28T19:46:45Z

Yazar Emmerich, Michael. editor.
https://doi.org/10.1007/978-3-319-49325-1
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-04-28T19:46:45Z

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

BNAIC 2016: Artificial Intelligence 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Bosse, Tibor. editor.
https://doi.org/10.1007/978-3-319-67468-1
Format: Electronic Resources

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Kotsireas, Ilias S. editor.
http://dx.doi.org/10.1007/978-3-319-32859-1
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-04-28T19:46:45Z

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

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-04-28T19:46:45Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-04-28T19:46:45Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Linear Algebra for Computational Sciences and Engineering

2024-04-28T19:46:45Z

Yazar Neri, Ferrante. author.
http://dx.doi.org/10.1007/978-3-319-40341-0
Format: Electronic Resources

Random-Like Bi-level Decision Making

2024-04-28T19:46:45Z

Yazar Xu, Jiuping. author.
http://dx.doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2024-04-28T19:46:45Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Kozubek, Tomáš. editor.
http://dx.doi.org/10.1007/978-3-319-40361-8
Format: Electronic Resources

Compression-Based Methods of Statistical Analysis and Prediction of Time Series

2024-04-28T19:46:45Z

Yazar Ryabko, Boris. author.
http://dx.doi.org/10.1007/978-3-319-32253-7
Format: Electronic Resources

Advances in Neural Networks – ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

2024-04-28T19:46:45Z

Yazar Cheng, Long. editor.
http://dx.doi.org/10.1007/978-3-319-40663-3
Format: Electronic Resources

Cryptography Made Simple

2024-04-28T19:46:45Z

Yazar Smart, Nigel P. author.
http://dx.doi.org/10.1007/978-3-319-21936-3
Format: Electronic Resources

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-04-28T19:46:45Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
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-04-28T19:46:45Z

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

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

2024-04-28T19:46:45Z

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

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2024-04-28T19:46:45Z

Yazar Rueher, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2024-04-28T19:46:45Z

Yazar Johnson, Colin. editor.
http://dx.doi.org/10.1007/978-3-319-31008-4
Format: Electronic Resources

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

2024-04-28T19:46:45Z

Yazar Squillero, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-31153-1
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-04-28T19:46:45Z

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

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

2024-04-28T19:46:45Z

Yazar Squillero, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-31204-0
Format: Electronic Resources

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2024-04-28T19:46:45Z

Yazar Herdt, Vladimir. author.
http://dx.doi.org/10.1007/978-3-658-12680-3
Format: Electronic Resources

Boolean Functions and Their Applications in Cryptography

2024-04-28T19:46:45Z

Yazar Wu, Chuan-Kun. author.
http://dx.doi.org/10.1007/978-3-662-48865-2
Format: Electronic Resources

Relaxed Abduction Robust Information Interpretation for Industrial Applications

2024-04-28T19:46:45Z

Yazar Hubauer, Thomas. author.
http://dx.doi.org/10.1007/978-3-658-14407-4
Format: Electronic Resources

Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations

2024-04-28T19:46:45Z

Yazar Banagaaya, N. author.
http://dx.doi.org/10.2991/978-94-6239-189-5
Format: Electronic Resources

Turing Computability Theory and Applications

2024-04-28T19:46:45Z

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

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-04-28T19:46:45Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Parallelism in Matrix Computations

2024-04-28T19:46:45Z

Yazar Gallopoulos, Efstratios. author.
http://dx.doi.org/10.1007/978-94-017-7188-7
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-04-28T19:46:45Z

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

Algorithms for Sensor Systems 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Gao, Jie. editor.
http://dx.doi.org/10.1007/978-3-662-46018-4
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-04-28T19:46:45Z

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

Petri Net Synthesis

2024-04-28T19:46:45Z

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

Introduction to Cryptography Principles and Applications

2024-04-28T19:46:45Z

Yazar Delfs, Hans. author.
http://dx.doi.org/10.1007/978-3-662-47974-2
Format: Electronic Resources

Higher-Order Computability

2024-04-28T19:46:45Z

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

Words and Graphs

2024-04-28T19:46:45Z

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

Data Analytics for Renewable Energy Integration Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Woon, Wei Lee. editor.
http://dx.doi.org/10.1007/978-3-319-27430-0
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-04-28T19:46:45Z

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

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2024-04-28T19:46:45Z

Yazar Jain, Rahul. editor.
http://dx.doi.org/10.1007/978-3-319-17142-5
Format: Electronic Resources

Algorithms for Sensor Systems 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Bose, Prosenjit. editor.
http://dx.doi.org/10.1007/978-3-319-28472-9
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

Mathematical Problems in Data Science Theoretical and Practical Methods

2024-04-28T19:46:45Z

Yazar Chen, Li M. author.
http://dx.doi.org/10.1007/978-3-319-25127-1
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-04-28T19:46:45Z

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

Operations Research and Enterprise Systems Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Pinson, Eric. editor.
http://dx.doi.org/10.1007/978-3-319-17509-6
Format: Electronic Resources

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-04-28T19:46:45Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

2024-04-28T19:46:45Z

Yazar Pesant, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-23219-5
Format: Electronic Resources

Foundation Mathematics for Computer Science A Visual Approach

2024-04-28T19:46:45Z

Yazar Vince, John. author.
http://dx.doi.org/10.1007/978-3-319-21437-5
Format: Electronic Resources

Operations Research and Enterprise Systems 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar de Werra, Dominique. editor.
http://dx.doi.org/10.1007/978-3-319-27680-9
Format: Electronic Resources

Engineering Computation of Structures: The Finite Element Method

2024-04-28T19:46:45Z

Yazar Neto, Maria Augusta. author.
http://dx.doi.org/10.1007/978-3-319-17710-6
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

The Foundations of Computability Theory

2024-04-28T19:46:45Z

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

Regulated Grammars and Automata

2024-04-28T19:46:45Z

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

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources

Open Problems in Mathematics and Computational Science

2024-04-28T19:46:45Z

Yazar Koç, Çetin Kaya. editor.
http://dx.doi.org/10.1007/978-3-319-10683-0
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-04-28T19:46:45Z

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

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources

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

2024-04-28T19:46:45Z

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

Data Analytics for Renewable Energy Integration Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Woon, Wei Lee. editor.
http://dx.doi.org/10.1007/978-3-319-13290-7
Format: Electronic Resources

Computational Musicology in Hindustani Music

2024-04-28T19:46:45Z

Yazar Chakraborty, Soubhik. author.
http://dx.doi.org/10.1007/978-3-319-11472-9
Format: Electronic Resources

Modeling, Simulation and Optimization for Science and Technology

2024-04-28T19:46:45Z

Yazar Fitzgibbon, William. editor.
http://dx.doi.org/10.1007/978-94-017-9054-3
Format: Electronic Resources

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP

2024-04-28T19:46:45Z

Yazar Förster, Michael. author.
http://dx.doi.org/10.1007/978-3-658-07597-2
Format: Electronic Resources

Fundamentals of Matrix-Analytic Methods

2024-04-28T19:46:45Z

Yazar He, Qi-Ming. author.
http://dx.doi.org/10.1007/978-1-4614-7330-5
Format: Electronic Resources

Morphological Modeling of Terrains and Volume Data

2024-04-28T19:46:45Z

Yazar Čomić, Lidija. author.
http://dx.doi.org/10.1007/978-1-4939-2149-2
Format: Electronic Resources

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

2024-04-28T19:46:45Z

Yazar Simovici, Dan A. author.
http://dx.doi.org/10.1007/978-1-4471-6407-4
Format: Electronic Resources

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-8
Format: Electronic Resources

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Demri, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-08587-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 II

2024-04-28T19:46:45Z

Yazar Sarkar, Palash. editor.
http://dx.doi.org/10.1007/978-3-662-45608-8
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-04-28T19:46:45Z

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

Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Mladenov, Valeri M. editor.
http://dx.doi.org/10.1007/978-3-319-08672-9
Format: Electronic Resources

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar O’Sullivan, Barry. editor.
http://dx.doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources

Cryptography in Constant Parallel Time

2024-04-28T19:46:45Z

Yazar Applebaum, Benny. author.
http://dx.doi.org/10.1007/978-3-642-17367-7
Format: Electronic Resources

Biomedical Image Registration 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Ourselin, Sébastien. editor.
http://dx.doi.org/10.1007/978-3-319-08554-8
Format: Electronic Resources

Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings

2024-04-28T19:46:45Z

Yazar Dorigo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-09952-1
Format: Electronic Resources

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Pizzuti, Clara. editor.
http://dx.doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources

Algorithms for Sensor Systems 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers

2024-04-28T19:46:45Z

Yazar Flocchini, Paola. editor.
http://dx.doi.org/10.1007/978-3-642-45346-5
Format: Electronic Resources

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

2024-04-28T19:46:45Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-642-55224-3
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013

2024-04-28T19:46:45Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-45947-8
Format: Electronic Resources