Search Results for Theory of Computation.

Theory of Fuzzy Computation

2026-04-02T03:55:17Z

by Syropoulos, Apostolos. author.
http://dx.doi.org/10.1007/978-1-4614-8379-3
Format: Electronic Resources

Introduction to the theory of computation

2026-04-02T03:55:17Z

by Sipser, Michael.
Format: Books

Dynamics and Control of Trajectory Tubes Theory and Computation

2026-04-02T03:55:17Z

by Kurzhanski, Alexander B. author.
http://dx.doi.org/10.1007/978-3-319-10277-1
Format: Electronic Resources

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

2026-04-02T03:55:17Z

by Tannen, Val. editor.
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: Electronic Resources

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

2026-04-02T03:55:17Z

by Gąsieniec, Leszek. editor.
http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Electronic Resources

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2026-04-02T03:55:17Z

by Kosowski, Adrian. editor.
http://dx.doi.org/10.1007/978-3-319-22177-9
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

2026-04-02T03:55:17Z

by Nishizaki, Shin-ya. editor.
http://dx.doi.org/10.1007/978-4-431-54436-4
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2026-04-02T03:55:17Z

by Iwama, Kazuo. editor.
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2026-04-02T03:55:17Z

by Chan, T-H. Hubert. editor.
http://dx.doi.org/10.1007/978-3-642-38236-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

2026-04-02T03:55:17Z

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

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-04-02T03:55:17Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-04-02T03:55:17Z

by Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-04-02T03:55:17Z

by Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

2026-04-02T03:55:17Z

by Cicalese, Ferdinando. author.
http://dx.doi.org/10.1007/978-3-642-17327-1
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Bridging Constraint Satisfaction and Boolean Satisfiability

2026-04-02T03:55:17Z

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

Higher-Order Computability

2026-04-02T03:55:17Z

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

Words and Graphs

2026-04-02T03:55:17Z

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

Memristor Networks

2026-04-02T03:55:17Z

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

Constructivity and Computability in Historical and Philosophical Perspective

2026-04-02T03:55:17Z

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

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-04-02T03:55:17Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Electronic Resources

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2026-04-02T03:55:17Z

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

Augmented Marked Graphs

2026-04-02T03:55:17Z

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

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2026-04-02T03:55:17Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources

Carl Adam Petri Life and Science

2026-04-02T03:55:17Z

by Smith, Einar. author.
http://dx.doi.org/10.1007/978-3-662-48093-9
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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

by Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
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

2026-04-02T03:55:17Z

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

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-04-02T03:55:17Z

by Reisig, Wolfgang. author.
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-04-02T03:55:17Z

by Jansen, Thomas. author.
http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Quantum Walks and Search Algorithms

2026-04-02T03:55:17Z

by Portugal, Renato. author.
http://dx.doi.org/10.1007/978-1-4614-6336-8
Format: Electronic Resources

Computing Nature Turing Centenary Perspective

2026-04-02T03:55:17Z

by Dodig-Crnkovic, Gordana. editor.
http://dx.doi.org/10.1007/978-3-642-37225-4
Format: Electronic Resources

Constraint Solving and Planning with Picat

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-319-08123-6
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

2026-04-02T03:55:17Z

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

Distributed Algorithms for Message-Passing Systems

2026-04-02T03:55:17Z

by Raynal, Michel. author.
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: Electronic Resources

The Foundations of Computability Theory

2026-04-02T03:55:17Z

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

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2026-04-02T03:55:17Z

by Heckel, Reiko. editor.
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Guided Self-Organization: Inception

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

by Dannecker, Lars. author.
http://dx.doi.org/10.1007/978-3-658-11039-0
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

2026-04-02T03:55:17Z

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

Introduction to Evolutionary Computing

2026-04-02T03:55:17Z

by Eiben, A.E. author.
http://dx.doi.org/10.1007/978-3-662-44874-8
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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

2026-04-02T03:55:17Z

by Lipton, Richard J. author.
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: Electronic Resources

Genetic Programming Theory and Practice XI

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Genetic Programming Theory and Practice X

2026-04-02T03:55:17Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources

Graph and Model Transformation General Framework and Applications

2026-04-02T03:55:17Z

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

Quantum Computational Number Theory

2026-04-02T03:55:17Z

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

Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers

2026-04-02T03:55:17Z

by Dolev, Shlomi. editor.
http://dx.doi.org/10.1007/978-3-642-38250-5
Format: Electronic Resources

Discrete and Topological Models in Molecular Biology

2026-04-02T03:55:17Z

by Jonoska, Nataša. editor.
http://dx.doi.org/10.1007/978-3-642-40193-0
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

2026-04-02T03:55:17Z

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

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

2026-04-02T03:55:17Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-642-45318-2
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2026-04-02T03:55:17Z

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

Massively Parallel Evolutionary Computation on GPGPUs

2026-04-02T03:55:17Z

by Tsutsui, Shigeyoshi. editor.
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2026-04-02T03:55:17Z

by Paule, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2026-04-02T03:55:17Z

by Raynal, Michel. author.
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Electronic Resources

Modeling and Optimization in Space Engineering

2026-04-02T03:55:17Z

by Fasano, Giorgio. editor.
http://dx.doi.org/10.1007/978-1-4614-4469-5
Format: Electronic Resources

Theory and Principled Methods for the Design of Metaheuristics

2026-04-02T03:55:17Z

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

Combinatorial Search: From Algorithms to Systems

2026-04-02T03:55:17Z

by Hamadi, Youssef. author.
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Petri Net Synthesis

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Regulated Grammars and Automata

2026-04-02T03:55:17Z

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

Advances in Applied Self-Organizing Systems

2026-04-02T03:55:17Z

by Prokopenko, Mikhail. editor.
http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: Electronic Resources

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-04-02T03:55:17Z

by Karhumäki, Juhani. editor.
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources

Open Problems in Mathematics and Computational Science

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2026-04-02T03:55:17Z

by Glass, Kristin. editor.
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Transactions on Computational Science XXII

2026-04-02T03:55:17Z

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

Teoria degli Automi Finiti

2026-04-02T03:55:17Z

by Luca, Aldo de. author.
http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Electronic Resources

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2026-04-02T03:55:17Z

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

Natural Computing Algorithms

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Programming Languages and Operational Semantics A Concise Overview

2026-04-02T03:55:17Z

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

CryptoSchool

2026-04-02T03:55:17Z

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

The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery

2026-04-02T03:55:17Z

by de Moura, Carlos A. editor.
http://dx.doi.org/10.1007/978-0-8176-8394-8
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2026-04-02T03:55:17Z

by Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources

Encyclopedia of Applied and Computational Mathematics

2026-04-02T03:55:17Z

by Engquist, Björn. editor.
http://dx.doi.org/10.1007/978-3-540-70529-1
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Decentralized Spatial Computing Foundations of Geosensor Networks

2026-04-02T03:55:17Z

by Duckham, Matt. author.
http://dx.doi.org/10.1007/978-3-642-30853-6
Format: Electronic Resources

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2026-04-02T03:55:17Z

by Fellows, Michael. editor.
http://dx.doi.org/10.1007/978-3-642-38756-2
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

2026-04-02T03:55:17Z

by Iwata, Tetsu. editor.
http://dx.doi.org/10.1007/978-3-662-48797-6
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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

by Malkin, Tal. editor.
http://dx.doi.org/10.1007/978-3-319-28166-7
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

2026-04-02T03:55:17Z

by 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

2026-04-02T03:55:17Z

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

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2026-04-02T03:55:17Z

by Grossi, Davide. editor.
http://dx.doi.org/10.1007/978-3-642-40948-6
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

2026-04-02T03:55:17Z

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

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

2026-04-02T03:55:17Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2026-04-02T03:55:17Z

by Artemov, Sergei. editor.
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Stochastic Reactive Distributed Robotic Systems Design, Modeling and Optimization

2026-04-02T03:55:17Z

by Mermoud, Gregory. author.
http://dx.doi.org/10.1007/978-3-319-02609-1
Format: Electronic Resources

Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings

2026-04-02T03:55:17Z

by Yust, Jason. editor.
http://dx.doi.org/10.1007/978-3-642-39357-0
Format: Electronic Resources

Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings

2026-04-02T03:55:17Z

by Groth, Jens. editor.
http://dx.doi.org/10.1007/978-3-319-27239-9
Format: Electronic Resources

Handbook of Regional Science

2026-04-02T03:55:17Z

by Fischer, Manfred M. editor.
http://dx.doi.org/10.1007/978-3-642-23430-9
Format: Electronic Resources

Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)

2026-04-02T03:55:17Z

by Satapathy, Suresh Chandra. editor.
http://dx.doi.org/10.1007/978-3-642-35314-7
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings

2026-04-02T03:55:17Z

by Youssef, Amr. editor.
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: Electronic Resources

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2026-04-02T03:55:17Z

by Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-23534-9
Format: Electronic Resources

Elements of Quantum Computing History, Theories and Engineering Applications

2026-04-02T03:55:17Z

by Akama, Seiki. author.
http://dx.doi.org/10.1007/978-3-319-08284-4
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

2026-04-02T03:55:17Z

by Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46497-7
Format: Electronic Resources

Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings

2026-04-02T03:55:17Z

by Hoefer, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48433-3
Format: Electronic Resources

Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

2026-04-02T03:55:17Z

by Le Thi, Hoai An. editor.
http://dx.doi.org/10.1007/978-3-319-17996-4
Format: Electronic Resources

Dual Phase Evolution

2026-04-02T03:55:17Z

by Green, David G. author.
http://dx.doi.org/10.1007/978-1-4419-8423-4
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings

2026-04-02T03:55:17Z

by Lee, Jon. editor.
http://dx.doi.org/10.1007/978-3-319-07557-0
Format: Electronic Resources

Modal Analysis of Nonlinear Mechanical Systems

2026-04-02T03:55:17Z

by Kerschen, Gaetan. editor.
http://dx.doi.org/10.1007/978-3-7091-1791-0
Format: Electronic Resources

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2026-04-02T03:55:17Z

by Fomin, Fedor V. editor.
http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2026-04-02T03:55:17Z

by Fomin, Fedor V. editor.
http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources

Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-04-02T03:55:17Z

by Machado, Penousal. editor.
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: Electronic Resources

Computing the Optical Properties of Large Systems

2026-04-02T03:55:17Z

by Zuehlsdorff, Tim Joachim. author.
http://dx.doi.org/10.1007/978-3-319-19770-8
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

2026-04-02T03:55:17Z

by Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46494-6
Format: Electronic Resources

Introductory Statistical Inference with the Likelihood Function

2026-04-02T03:55:17Z

by Rohde, Charles A. author.
http://dx.doi.org/10.1007/978-3-319-10461-4
Format: Electronic Resources

Lectures on Complex Integration

2026-04-02T03:55:17Z

by Gogolin, A. O. author.
http://dx.doi.org/10.1007/978-3-319-00212-5
Format: Electronic Resources

Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014. Proceedings

2026-04-02T03:55:17Z

by Poovendran, Radha. editor.
http://dx.doi.org/10.1007/978-3-319-12601-2
Format: Electronic Resources

Advances in Global Optimization

2026-04-02T03:55:17Z

by Gao, David. editor.
http://dx.doi.org/10.1007/978-3-319-08377-3
Format: Electronic Resources

Algebraic K-theory of Crystallographic Groups The Three-Dimensional Splitting Case

2026-04-02T03:55:17Z

by Farley, Daniel Scott. author.
http://dx.doi.org/10.1007/978-3-319-08153-3
Format: Electronic Resources

Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

2026-04-02T03:55:17Z

by Ahn, Hee-Kap. editor.
http://dx.doi.org/10.1007/978-3-319-13075-0
Format: Electronic Resources

Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

2026-04-02T03:55:17Z

by Cygan, Marek. editor.
http://dx.doi.org/10.1007/978-3-319-13524-3
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2014 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings

2026-04-02T03:55:17Z

by Nguyen, Phong Q. editor.
http://dx.doi.org/10.1007/978-3-642-55220-5
Format: Electronic Resources

Prolate Spheroidal Wave Functions of Order Zero Mathematical Tools for Bandlimited Approximation

2026-04-02T03:55:17Z

by Osipov, Andrei. author.
http://dx.doi.org/10.1007/978-1-4614-8259-8
Format: Electronic Resources

Nonequilibrium Green's Functions Approach to Inhomogeneous Systems

2026-04-02T03:55:17Z

by Balzer, Karsten. author.
http://dx.doi.org/10.1007/978-3-642-35082-5
Format: Electronic Resources

Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I

2026-04-02T03:55:17Z

by Gennaro, Rosario. editor.
http://dx.doi.org/10.1007/978-3-662-47989-6
Format: Electronic Resources

Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II

2026-04-02T03:55:17Z

by Gennaro, Rosario. editor.
http://dx.doi.org/10.1007/978-3-662-48000-7
Format: Electronic Resources

Dynamic and Stochastic Multi-Project Planning

2026-04-02T03:55:17Z

by Melchiors, Philipp. author.
http://dx.doi.org/10.1007/978-3-319-04540-5
Format: Electronic Resources

EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation III

2026-04-02T03:55:17Z

by Schuetze, Oliver. editor.
http://dx.doi.org/10.1007/978-3-319-01460-9
Format: Electronic Resources

Graph Embedding for Pattern Analysis

2026-04-02T03:55:17Z

by Fu, Yun. editor.
http://dx.doi.org/10.1007/978-1-4614-4457-2
Format: Electronic Resources

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

2026-04-02T03:55:17Z

by Sako, Kazue. editor.
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

2026-04-02T03:55:17Z

by Sako, Kazue. editor.
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources

The Classification of the Virtually Cyclic Subgroups of the Sphere Braid Groups

2026-04-02T03:55:17Z

by Lima Goncalves, Daciberg. author.
http://dx.doi.org/10.1007/978-3-319-00257-6
Format: Electronic Resources

The Calculus of Life Towards a Theory of Life

2026-04-02T03:55:17Z

by Moya, Andrés. author.
http://dx.doi.org/10.1007/978-3-319-16970-5
Format: Electronic Resources

Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings

2026-04-02T03:55:17Z

by Silva, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings

2026-04-02T03:55:17Z

by Bartz-Beielstein, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-10762-2
Format: Electronic Resources

Wireless Next Generation Networks A Virtue-Based Trust Model

2026-04-02T03:55:17Z

by Harvey, Michael G. author.
http://dx.doi.org/10.1007/978-3-319-11903-8
Format: Electronic Resources

PRICAI 2014: Trends in Artificial Intelligence 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings

2026-04-02T03:55:17Z

by Pham, Duc-Nghia. editor.
http://dx.doi.org/10.1007/978-3-319-13560-1
Format: Electronic Resources

Bio-inspired Computation in Unmanned Aerial Vehicles

2026-04-02T03:55:17Z

by Duan, Haibin. author.
http://dx.doi.org/10.1007/978-3-642-41196-0
Format: Electronic Resources

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-04-02T03:55:17Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVI

2026-04-02T03:55:17Z

by Kowalczyk, Ryszard. editor.
http://dx.doi.org/10.1007/978-3-662-44871-7
Format: Electronic Resources

Statistical Modeling and Computation

2026-04-02T03:55:17Z

by Kroese, Dirk P. author.
http://dx.doi.org/10.1007/978-1-4614-8775-3
Format: Electronic Resources

Transactions on Computational Collective Intelligence XV

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-44750-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence XIV

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-44509-9
Format: Electronic Resources

Foundations of Intelligent Systems Proceedings of the Eighth International Conference on Intelligent Systems and Knowledge Engineering, Shenzhen, China, Nov 2013 (ISKE 2013)

2026-04-02T03:55:17Z

by Wen, Zhenkun. editor.
http://dx.doi.org/10.1007/978-3-642-54924-3
Format: Electronic Resources

Transactions on Computational Intelligence XIII

2026-04-02T03:55:17Z

by Nguyen, Ngoc-Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-54455-2
Format: Electronic Resources

Philosophy and Theory of Artificial Intelligence

2026-04-02T03:55:17Z

by Müller, Vincent C. editor.
http://dx.doi.org/10.1007/978-3-642-31674-6
Format: Electronic Resources

Transactions on Computational Collective Intelligence XI

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2026-04-02T03:55:17Z

by Goemans, Michel. editor.
http://dx.doi.org/10.1007/978-3-642-36694-9
Format: Electronic Resources

Automata, Universality, Computation Tribute to Maurice Margenstern

2026-04-02T03:55:17Z

by Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-09039-9
Format: Electronic Resources

Bayesian Methods for the Physical Sciences Learning from Examples in Astronomy and Physics

2026-04-02T03:55:17Z

by Andreon, Stefano. author.
http://dx.doi.org/10.1007/978-3-319-15287-5
Format: Electronic Resources

Correct Software in Web Applications and Web Services

2026-04-02T03:55:17Z

by Thalheim, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-17112-8
Format: Electronic Resources

Applied Number Theory

2026-04-02T03:55:17Z

by Niederreiter, Harald. author.
http://dx.doi.org/10.1007/978-3-319-22321-6
Format: Electronic Resources

Visual Cryptography for Image Processing and Security Theory, Methods, and Applications

2026-04-02T03:55:17Z

by Liu, Feng. author.
http://dx.doi.org/10.1007/978-3-319-23473-1
Format: Electronic Resources

Transactions on Computational Collective Intelligence XX

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-319-27543-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVIII

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-48145-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence XIX

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Time and Money How Long and How Much Money is Needed to Regulate a Viable Economy

2026-04-02T03:55:17Z

by Aubin, Jean-Pierre. author.
http://dx.doi.org/10.1007/978-3-319-00005-3
Format: Electronic Resources

Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings

2026-04-02T03:55:17Z

by Padró, Carles. editor.
http://dx.doi.org/10.1007/978-3-319-04268-8
Format: Electronic Resources

AdS/CFT in condensed matter

2026-04-02T03:55:17Z

by Pires, A. (Antonio), author.
http://iopscience.iop.org/book/978-1-627-05309-9.pdf
Format: Electronic Resources

The ADI Model Problem

2026-04-02T03:55:17Z

by Wachspress, Eugene. author.
http://dx.doi.org/10.1007/978-1-4614-5122-8
Format: Electronic Resources

Inequalities for the Numerical Radius of Linear Operators in Hilbert Spaces

2026-04-02T03:55:17Z

by Dragomir, Silvestru Sever. author.
http://dx.doi.org/10.1007/978-3-319-01448-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XII

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-53878-0
Format: Electronic Resources

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2026-04-02T03:55:17Z

by Wolf, Felix. editor.
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Electronic Resources

Transactions on Computational Collective Intelligence X

2026-04-02T03:55:17Z

by Nguyen, Ngoc-Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-38496-7
Format: Electronic Resources

Small Universal Cellular Automata in Hyperbolic Spaces A Collection of Jewels

2026-04-02T03:55:17Z

by Margenstern, Maurice. author.
http://dx.doi.org/10.1007/978-3-642-36663-5
Format: Electronic Resources

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-04-02T03:55:17Z

by Coecke, Bob. editor.
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources

Transactions on Computational Collective Intelligence IX

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-642-36815-8
Format: Electronic Resources

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

2026-04-02T03:55:17Z

by Tantar, Emilia. editor.
http://dx.doi.org/10.1007/978-3-642-32726-1
Format: Electronic Resources

Turing’s Revolution The Impact of His Ideas about Computability

2026-04-02T03:55:17Z

by Sommaruga, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-319-22156-4
Format: Electronic Resources

Artificial Neural Networks Methods and Applications in Bio-/Neuroinformatics

2026-04-02T03:55:17Z

by Koprinkova-Hristova, Petia. editor.
http://dx.doi.org/10.1007/978-3-319-09903-3
Format: Electronic Resources

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2026-04-02T03:55:17Z

by de Paiva, Valeria. editor.
http://dx.doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources

Computer Algebra and Polynomials Applications of Algebra and Number Theory

2026-04-02T03:55:17Z

by Gutierrez, Jaime. editor.
http://dx.doi.org/10.1007/978-3-319-15081-9
Format: Electronic Resources

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

2026-04-02T03:55:17Z

by Shi, Guoyong. author.
http://dx.doi.org/10.1007/978-1-4939-1103-5
Format: Electronic Resources

Physical Computation and Cognitive Science

2026-04-02T03:55:17Z

by Fresco, Nir. author.
http://dx.doi.org/10.1007/978-3-642-41375-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVII

2026-04-02T03:55:17Z

by Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-44994-3
Format: Electronic Resources

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

2026-04-02T03:55:17Z

by Barkatou, Moulay. editor.
http://dx.doi.org/10.1007/978-3-642-54479-8
Format: Electronic Resources

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume

2026-04-02T03:55:17Z

by Agrawal, Manindra. editor.
http://dx.doi.org/10.1007/978-3-319-05446-9
Format: Electronic Resources

Foliations: Dynamics, Geometry and Topology

2026-04-02T03:55:17Z

by Asaoka, Masayuki. author.
http://dx.doi.org/10.1007/978-3-0348-0871-2
Format: Electronic Resources

Integral Geometry and Valuations

2026-04-02T03:55:17Z

by Alesker, Semyon. author.
http://dx.doi.org/10.1007/978-3-0348-0874-3
Format: Electronic Resources

Programming Logics Essays in Memory of Harald Ganzinger

2026-04-02T03:55:17Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2026-04-02T03:55:17Z

by Chatterjee, Krishnendu. editor.
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources

Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings

2026-04-02T03:55:17Z

by Suzuki, Yasuhiro. editor.
http://dx.doi.org/10.1007/978-4-431-54394-7
Format: Electronic Resources

Excursions in Harmonic Analysis, Volume 3 The February Fourier Talks at the Norbert Wiener Center

2026-04-02T03:55:17Z

by Balan, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-13230-3
Format: Electronic Resources

Understanding Analysis

2026-04-02T03:55:17Z

by Abbott, Stephen. author.
http://dx.doi.org/10.1007/978-1-4939-2712-8
Format: Electronic Resources

Rotordynamics of Automotive Turbochargers

2026-04-02T03:55:17Z

by Nguyen-Schäfer, Hung. author.
http://dx.doi.org/10.1007/978-3-319-17644-4
Format: Electronic Resources

Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations A Monograph Based on Articles of the Founding Authors, Reproduced in Full

2026-04-02T03:55:17Z

by Stankovic, Radomir S. author.
http://dx.doi.org/10.2991/978-94-6239-163-5
Format: Electronic Resources

Cellular Automata in Image Processing and Geometry

2026-04-02T03:55:17Z

by Rosin, Paul. editor.
http://dx.doi.org/10.1007/978-3-319-06431-4
Format: Electronic Resources

Information and Control in Networks

2026-04-02T03:55:17Z

by Como, Giacomo. editor.
http://dx.doi.org/10.1007/978-3-319-02150-8
Format: Electronic Resources

Proceedings of the European Conference on Complex Systems 2012

2026-04-02T03:55:17Z

by Gilbert, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-00395-5
Format: Electronic Resources

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2026-04-02T03:55:17Z

by Bezhanishvili, Guram. editor.
http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Electronic Resources

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

2026-04-02T03:55:17Z

by Stam, Martijn. editor.
http://dx.doi.org/10.1007/978-3-642-45239-0
Format: Electronic Resources

Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

2026-04-02T03:55:17Z

by Ganguly, Sumit. editor.
http://dx.doi.org/10.1007/978-3-319-14974-5
Format: Electronic Resources

Nonlinear Control and Filtering Using Differential Flatness Approaches Applications to Electromechanical Systems

2026-04-02T03:55:17Z

by Rigatos, Gerasimos G. author.
http://dx.doi.org/10.1007/978-3-319-16420-5
Format: Electronic Resources

Bayesian Statistics from Methods to Models and Applications Research from BAYSM 2014

2026-04-02T03:55:17Z

by Frühwirth-Schnatter, Sylvia. editor.
http://dx.doi.org/10.1007/978-3-319-16238-6
Format: Electronic Resources

Machine Learning for Audio, Image and Video Analysis Theory and Applications

2026-04-02T03:55:17Z

by Camastra, Francesco. author.
http://dx.doi.org/10.1007/978-1-4471-6735-8
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2026-04-02T03:55:17Z

by Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings

2026-04-02T03:55:17Z

by Lindell, Yehuda. editor.
http://dx.doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

2026-04-02T03:55:17Z

by Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers

2026-04-02T03:55:17Z

by David, Esther. editor.
http://dx.doi.org/10.1007/978-3-642-40864-9
Format: Electronic Resources

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-04-02T03:55:17Z

by Czarnecki, Krzysztof. editor.
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2026-04-02T03:55:17Z

by O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Electronic Resources

Modelling Computing Systems Mathematics for Computer Science

2026-04-02T03:55:17Z

by Moller, Faron. author.
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources

Advances in Dynamic Games Theory, Applications, and Numerical Methods

2026-04-02T03:55:17Z

by Křivan, Vlastimil. editor.
http://dx.doi.org/10.1007/978-3-319-02690-9
Format: Electronic Resources

The Nonlinear Schrödinger Equation Singular Solutions and Optical Collapse

2026-04-02T03:55:17Z

by Fibich, Gadi. author.
http://dx.doi.org/10.1007/978-3-319-12748-4
Format: Electronic Resources

Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers

2026-04-02T03:55:17Z

by Madani, Kurosh. editor.
http://dx.doi.org/10.1007/978-3-319-11271-8
Format: Electronic Resources

N=2 Supersymmetric Dynamics for Pedestrians

2026-04-02T03:55:17Z

by Tachikawa, Yuji. author.
http://dx.doi.org/10.1007/978-3-319-08822-8
Format: Electronic Resources

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I

2026-04-02T03:55:17Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-22180-9
Format: Electronic Resources

Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2026-04-02T03:55:17Z

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

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

2026-04-02T03:55:17Z

by Gutin, Gregory. editor.
http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources

Gröbner Bases Statistics and Software Systems

2026-04-02T03:55:17Z

by Hibi, Takayuki. editor.
http://dx.doi.org/10.1007/978-4-431-54574-3
Format: Electronic Resources

Research in History and Philosophy of Mathematics The CSHPM 2014 Annual Meeting in St. Catharines, Ontario

2026-04-02T03:55:17Z

by Zack, Maria. editor.
http://dx.doi.org/10.1007/978-3-319-22258-5
Format: Electronic Resources

The Message of Quantum Science Attempts Towards a Synthesis

2026-04-02T03:55:17Z

by Blanchard, Philippe. editor.
http://dx.doi.org/10.1007/978-3-662-46422-9
Format: Electronic Resources

Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

2026-04-02T03:55:17Z

by Oswald, Elisabeth. editor.
http://dx.doi.org/10.1007/978-3-662-46803-6
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

2026-04-02T03:55:17Z

by Pointcheval, David. editor.
http://dx.doi.org/10.1007/978-3-319-06734-6
Format: Electronic Resources

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2026-04-02T03:55:17Z

by Blazy, Sandrine. editor.
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2026-04-02T03:55:17Z

by Gerdt, Vladimir P. editor.
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources

Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

2026-04-02T03:55:17Z

by Tenbrink, Thora. editor.
http://dx.doi.org/10.1007/978-3-319-01790-7
Format: Electronic Resources

Topics in Cryptology –- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

2026-04-02T03:55:17Z

by Nyberg, Kaisa. editor.
http://dx.doi.org/10.1007/978-3-319-16715-2
Format: Electronic Resources

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

2026-04-02T03:55:17Z

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

Translational Recurrences From Mathematical Theory to Real-World Applications

2026-04-02T03:55:17Z

by Marwan, Norbert. editor.
http://dx.doi.org/10.1007/978-3-319-09531-8
Format: Electronic Resources

Computational Finance An Introductory Course with R

2026-04-02T03:55:17Z

by Arratia, Argimiro. author.
http://dx.doi.org/10.2991/978-94-6239-070-6
Format: Electronic Resources

Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications

2026-04-02T03:55:17Z

by Tempo, Roberto. author.
http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: Electronic Resources

Treatise on Classical Elasticity Theory and Related Problems

2026-04-02T03:55:17Z

by Teodorescu, Petre P. author.
http://dx.doi.org/10.1007/978-94-007-2616-1
Format: Electronic Resources

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings

2026-04-02T03:55:17Z

by Collins, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-20603-5
Format: Electronic Resources

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II

2026-04-02T03:55:17Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-22186-1
Format: Electronic Resources

Essays on the Frontiers of Modern Astrophysics and Cosmology

2026-04-02T03:55:17Z

by Mathew, Santhosh. author.
http://dx.doi.org/10.1007/978-3-319-01887-4
Format: Electronic Resources

Markov Chains Models, Algorithms and Applications

2026-04-02T03:55:17Z

by Ching, Wai-Ki. author.
http://dx.doi.org/10.1007/978-1-4614-6312-2
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2026-04-02T03:55:17Z

by Johansson, Thomas. editor.
http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources

Frequency Domain Analysis and Design of Nonlinear Systems based on Volterra Series Expansion A Parametric Characteristic Approach

2026-04-02T03:55:17Z

by Jing, Xingjian. author.
http://dx.doi.org/10.1007/978-3-319-12391-2
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2026-04-02T03:55:17Z

by Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47666-6
Format: Electronic Resources

The Computing Dendrite From Structure to Function

2026-04-02T03:55:17Z

by Cuntz, Hermann. editor.
http://dx.doi.org/10.1007/978-1-4614-8094-5
Format: Electronic Resources

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2026-04-02T03:55:17Z

by Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2026-04-02T03:55:17Z

by Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2026-04-02T03:55:17Z

by Hung, Dang Van. editor.
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011

2026-04-02T03:55:17Z

by Dowe, David L. editor.
http://dx.doi.org/10.1007/978-3-642-44958-1
Format: Electronic Resources

mODa 10 – Advances in Model-Oriented Design and Analysis Proceedings of the 10th International Workshop in Model-Oriented Design and Analysis Held in Łagów Lubuski, Poland, June 10–14, 2013

2026-04-02T03:55:17Z

by Ucinski, Dariusz. editor.
http://dx.doi.org/10.1007/978-3-319-00218-7
Format: Electronic Resources

Design Computing and Cognition '14

2026-04-02T03:55:17Z

by Gero, John S. editor.
http://dx.doi.org/10.1007/978-3-319-14956-1
Format: Electronic Resources

Neural Fields Theory and Applications

2026-04-02T03:55:17Z

by Coombes, Stephen. editor.
http://dx.doi.org/10.1007/978-3-642-54593-1
Format: Electronic Resources

Facets of Combinatorial Optimization Festschrift for Martin Grötschel

2026-04-02T03:55:17Z

by Jünger, Michael. editor.
http://dx.doi.org/10.1007/978-3-642-38189-8
Format: Electronic Resources

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

2026-04-02T03:55:17Z

by Lin, Xuemin. editor.
http://dx.doi.org/10.1007/978-3-642-41154-0
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-04-02T03:55:17Z

by Cabalar, Pedro. editor.
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2026-04-02T03:55:17Z

by Nicosia, Giuseppe. editor.
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources

New Challenges to Philosophy of Science

2026-04-02T03:55:17Z

by Andersen, Hanne. editor.
http://dx.doi.org/10.1007/978-94-007-5845-2
Format: Electronic Resources

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2026-04-02T03:55:17Z

by Träff, Jesper Larsson. editor.
http://dx.doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

2026-04-02T03:55:17Z

by Das, Kedar Nath. editor.
http://dx.doi.org/10.1007/978-81-322-2217-0
Format: Electronic Resources

Handbook of Human Computation

2026-04-02T03:55:17Z

by Michelucci, Pietro. editor.
http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: Electronic Resources

Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

2026-04-02T03:55:17Z

by Cheng, Reynold. editor.
http://dx.doi.org/10.1007/978-3-319-25255-1
Format: Electronic Resources

Johan van Benthem on Logic and Information Dynamics

2026-04-02T03:55:17Z

by Baltag, Alexandru. editor.
http://dx.doi.org/10.1007/978-3-319-06025-5
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2026-04-02T03:55:17Z

by Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43948-7
Format: Electronic Resources

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

2026-04-02T03:55:17Z

by Dong, Xin Luna. editor.
http://dx.doi.org/10.1007/978-3-319-21042-1
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2026-04-02T03:55:17Z

by Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47672-7
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II

2026-04-02T03:55:17Z

by Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12640-1
Format: Electronic Resources

Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2013

2026-04-02T03:55:17Z

by Satapathy, Suresh Chandra. editor.
http://dx.doi.org/10.1007/978-3-319-02931-3
Format: Electronic Resources

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

2026-04-02T03:55:17Z

by Cai, Leizhen. editor.
http://dx.doi.org/10.1007/978-3-642-45030-3
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I

2026-04-02T03:55:17Z

by Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12637-1
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III

2026-04-02T03:55:17Z

by Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12643-2
Format: Electronic Resources

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2026-04-02T03:55:17Z

by Ali, Moonis. editor.
http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Electronic Resources

Quantum mechanics

2026-04-02T03:55:17Z

by Saleem, Mohammad, author.
http://iopscience.iop.org/book/978-0-7503-1206-6
Format: Electronic Resources

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-04-02T03:55:17Z

by Guo, Chengan. editor.
http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources