Search Results for - Narrowed by: Computer science. - Mathematics of Computing.

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

by Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-030-01449-0
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-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

by Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97589-4
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-05-26T20:19:13Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
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-05-26T20:19:13Z

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

Transactions on Computational Science XXXIII

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

by Baum, Marcus. editor.
https://doi.org/10.1007/978-3-319-96271-9
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-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

Multi-Objective Optimization Evolutionary to Hybrid Framework

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

by Panda, B.S. editor.
https://doi.org/10.1007/978-3-319-74180-2
Format: Electronic Resources

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

Transactions on Computational Collective Intelligence XXXI

2024-05-26T20:19:13Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-26T20:19:13Z

by Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
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-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

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

Handbook of Model Checking

2024-05-26T20:19:13Z

by Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
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-05-26T20:19:13Z

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

Matrix and Tensor Factorization Techniques for Recommender Systems

2024-05-26T20:19:13Z

by Symeonidis, Panagiotis. author.
https://doi.org/10.1007/978-3-319-41357-0
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Herdt, Vladimir. author.
https://doi.org/10.1007/978-3-658-12680-3
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-05-26T20:19:13Z

by Kozubek, Tomáš. editor.
https://doi.org/10.1007/978-3-319-40361-8
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-05-26T20:19:13Z

by Kotsireas, Ilias S. editor.
https://doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-31153-1
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Ryabko, Boris. author.
https://doi.org/10.1007/978-3-319-32253-7
Format: Electronic Resources

Linear Algebra for Computational Sciences and Engineering

2024-05-26T20:19:13Z

by Neri, Ferrante. author.
https://doi.org/10.1007/978-3-319-40341-0
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-05-26T20:19:13Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Turing Computability Theory and Applications

2024-05-26T20:19:13Z

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

Mathematical Analysis and the Mathematics of Computation

2024-05-26T20:19:13Z

by Römisch, Werner. author.
https://doi.org/10.1007/978-3-319-42755-3
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II

2024-05-26T20:19:13Z

by Cheon, Jung Hee. editor.
https://doi.org/10.1007/978-3-662-53890-6
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Cazenave, Tristan. editor.
https://doi.org/10.1007/978-3-319-39402-2
Format: Electronic Resources

Boolean Functions and Their Applications in Cryptography

2024-05-26T20:19:13Z

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

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

2024-05-26T20:19:13Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-31204-0
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-05-26T20:19:13Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Beckmann, Arnold. editor.
https://doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I

2024-05-26T20:19:13Z

by Cheon, Jung Hee. editor.
https://doi.org/10.1007/978-3-662-53887-6
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-05-26T20:19:13Z

by Johnson, Colin. editor.
https://doi.org/10.1007/978-3-319-31008-4
Format: Electronic Resources

Parallelism in Matrix Computations

2024-05-26T20:19:13Z

by Gallopoulos, Efstratios. author.
https://doi.org/10.1007/978-94-017-7188-7
Format: Electronic Resources

All About Music The Complete Ontology: Realities, Semiotics, Communication, and Embodiment

2024-05-26T20:19:13Z

by Mazzola, Guerino. author.
https://doi.org/10.1007/978-3-319-47334-5
Format: Electronic Resources

Cool Math for Hot Music A First Introduction to Mathematics for Music Theorists

2024-05-26T20:19:13Z

by Mazzola, Guerino. author.
https://doi.org/10.1007/978-3-319-42937-3
Format: Electronic Resources

Music Through Fourier Space Discrete Fourier Transform in Music Theory

2024-05-26T20:19:13Z

by Amiot, Emmanuel. author.
https://doi.org/10.1007/978-3-319-45581-5
Format: Electronic Resources

Finitely Supported Mathematics An Introduction

2024-05-26T20:19:13Z

by Alexandru, Andrei. author.
https://doi.org/10.1007/978-3-319-42282-4
Format: Electronic Resources

Random-Like Bi-level Decision Making

2024-05-26T20:19:13Z

by Xu, Jiuping. author.
https://doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Banagaaya, N. author.
https://doi.org/10.2991/978-94-6239-189-5
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Olivetti, Nicola. editor.
https://doi.org/10.1007/978-3-319-40229-1
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-05-26T20:19:13Z

by Cheng, Long. editor.
https://doi.org/10.1007/978-3-319-40663-3
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Rossi, Federico. editor.
https://doi.org/10.1007/978-3-319-32695-5
Format: Electronic Resources

Cryptography Made Simple

2024-05-26T20:19:13Z

by Smart, Nigel P. author.
https://doi.org/10.1007/978-3-319-21936-3
Format: Electronic Resources

An Introduction to Data Analysis using Aggregation Functions in R

2024-05-26T20:19:13Z

by James, Simon. author.
https://doi.org/10.1007/978-3-319-46762-7
Format: Electronic Resources

Algorithms for Data Science

2024-05-26T20:19:13Z

by Steele, Brian. author.
https://doi.org/10.1007/978-3-319-45797-0
Format: Electronic Resources

Relaxed Abduction Robust Information Interpretation for Industrial Applications

2024-05-26T20:19:13Z

by Hubauer, Thomas. author.
https://doi.org/10.1007/978-3-658-14407-4
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Creignou, Nadia. editor.
https://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-05-26T20:19:13Z

by Rueher, Michel. editor.
https://doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers

2024-05-26T20:19:13Z

by Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-540-68111-3
Format: Electronic Resources

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

2024-05-26T20:19:13Z

by Simovici, Dan A. author.
http://dx.doi.org/10.1007/978-1-84800-201-2
Format: Electronic Resources

The Algorithm Design Manual

2024-05-26T20:19:13Z

by Skiena, Steven S. author.
http://dx.doi.org/10.1007/978-1-84800-070-4
Format: Electronic Resources

The Modern Algebra of Information Retrieval

2024-05-26T20:19:13Z

by Dominich, Sándor. author.
http://dx.doi.org/10.1007/978-3-540-77659-8
Format: Electronic Resources

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings

2024-05-26T20:19:13Z

by Sadayappan, Ponnuswamy. editor.
http://dx.doi.org/10.1007/978-3-540-89894-8
Format: Electronic Resources

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

2024-05-26T20:19:13Z

by Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-540-79709-8
Format: Electronic Resources

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

2024-05-26T20:19:13Z

by Agrawal, Manindra. editor.
http://dx.doi.org/10.1007/978-3-540-79228-4
Format: Electronic Resources

Handbook of Large-Scale Random Networks

2024-05-26T20:19:13Z

by Bollobás, Béla. editor.
http://dx.doi.org/10.1007/978-3-540-69395-6
Format: Electronic Resources

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

2024-05-26T20:19:13Z

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

High Performance Computing in Science and Engineering `07 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007

2024-05-26T20:19:13Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/978-3-540-74739-0
Format: Electronic Resources

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2024-05-26T20:19:13Z

by Avron, Arnon. editor.
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: Electronic Resources

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-05-26T20:19:13Z

by Chapman, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources

Mathematical Modeling, Simulation, Visualization and e-Learning

2024-05-26T20:19:13Z

by Konaté, Dialla. editor.
http://dx.doi.org/10.1007/978-3-540-74339-2
Format: Electronic Resources

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-05-26T20:19:13Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Electronic Resources

Mathematical Methods in Computer Science Essays in Memory of Thomas Beth

2024-05-26T20:19:13Z

by Calmet, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-89994-5
Format: Electronic Resources

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations

2024-05-26T20:19:13Z

by Mathew, Tarek Poonithara Abraham. author.
http://dx.doi.org/10.1007/978-3-540-77209-5
Format: Electronic Resources

Combinatorial Optimization Theory and Algorithms

2024-05-26T20:19:13Z

by Korte, Bernhard. author.
http://dx.doi.org/10.1007/978-3-540-71844-4
Format: Electronic Resources

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-05-26T20:19:13Z

by Hodges, Wilfrid. editor.
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources

Graphs, Networks and Algorithms

2024-05-26T20:19:13Z

by Jungnickel, Dieter. author.
http://dx.doi.org/10.1007/978-3-540-72780-4
Format: Electronic Resources

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2024-05-26T20:19:13Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources

Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks

2024-05-26T20:19:13Z

by Lowen, Robert. editor.
http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Electronic Resources

Matrix-Based Multigrid Theory and Applications

2024-05-26T20:19:13Z

by Shapira, Yair. editor.
http://dx.doi.org/10.1007/978-0-387-49765-5
Format: Electronic Resources

Handbook of Continued Fractions for Special Functions

2024-05-26T20:19:13Z

by Cuyt, Annie. author.
http://dx.doi.org/10.1007/978-1-4020-6949-9
Format: Electronic Resources

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2024-05-26T20:19:13Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources

Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

2024-05-26T20:19:13Z

by Munthe-Kaas, Hans. editor.
http://dx.doi.org/10.1007/978-3-540-68850-1
Format: Electronic Resources

Advances in Automatic Differentiation

2024-05-26T20:19:13Z

by Bischof, Christian H. editor.
http://dx.doi.org/10.1007/978-3-540-68942-3
Format: Electronic Resources

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-05-26T20:19:13Z

by Martín-Vide, Carlos. editor.
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers

2024-05-26T20:19:13Z

by Palma, José M. Laginha M. editor.
http://dx.doi.org/10.1007/978-3-540-92859-1
Format: Electronic Resources

Essentials of Mathematica With Applications to Mathematics and Physics

2024-05-26T20:19:13Z

by Boccara, Nino. author.
http://dx.doi.org/10.1007/978-0-387-49514-9
Format: Electronic Resources

Understanding and Using Linear Programming

2024-05-26T20:19:13Z

by Matoušek, Jiří. author.
http://dx.doi.org/10.1007/978-3-540-30717-4
Format: Electronic Resources

Theoretical Aspects of Local Search

2024-05-26T20:19:13Z

by Michiels, Wil. author.
http://dx.doi.org/10.1007/978-3-540-35854-1
Format: Electronic Resources

Algorithms for Approximation Proceedings of the 5th International Conference, Chester, July 2005

2024-05-26T20:19:13Z

by Iske, Armin. editor.
http://dx.doi.org/10.1007/978-3-540-46551-5
Format: Electronic Resources

High Performance Computing in Science and Engineering ’06 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2006

2024-05-26T20:19:13Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/978-3-540-36183-1
Format: Electronic Resources

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

2024-05-26T20:19:13Z

by Diekert, Volker. editor.
http://dx.doi.org/10.1007/978-3-540-74510-5
Format: Electronic Resources

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

2024-05-26T20:19:13Z

by Cai, Jin-Yi. editor.
http://dx.doi.org/10.1007/978-3-540-72504-6
Format: Electronic Resources

Integrated Methods for Optimization

2024-05-26T20:19:13Z

by Hooker, John N. author.
http://dx.doi.org/10.1007/978-0-387-38274-6
Format: Electronic Resources

Practical Optimization Algorithms and Engineering Applications

2024-05-26T20:19:13Z

by Antoniou, Andreas. author.
http://dx.doi.org/10.1007/978-0-387-71107-2
Format: Electronic Resources

Domain Decomposition Methods in Science and Engineering XVI

2024-05-26T20:19:13Z

by Widlund, Olof B. editor.
http://dx.doi.org/10.1007/978-3-540-34469-8
Format: Electronic Resources

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2024-05-26T20:19:13Z

by Cooper, S. Barry. editor.
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Electronic Resources

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2024-05-26T20:19:13Z

by Leivant, Daniel. editor.
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: Electronic Resources

Binary Quadratic Forms An Algorithmic Approach

2024-05-26T20:19:13Z

by Buchmann, Johannes. author.
http://dx.doi.org/10.1007/978-3-540-46368-9
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2024-05-26T20:19:13Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Electronic Resources

Geometric Modelling, Numerical Simulation, and Optimization Applied Mathematics at SINTEF

2024-05-26T20:19:13Z

by Hasle, Geir. editor.
http://dx.doi.org/10.1007/978-3-540-68783-2
Format: Electronic Resources

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings

2024-05-26T20:19:13Z

by Aluru, Srinivas. editor.
http://dx.doi.org/10.1007/978-3-540-77220-0
Format: Electronic Resources

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

2024-05-26T20:19:13Z

by Kågström, Bo. editor.
http://dx.doi.org/10.1007/978-3-540-75755-9
Format: Electronic Resources

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

2024-05-26T20:19:13Z

by Perrott, Ronald. editor.
http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Electronic Resources

Vacation Queueing Models Theory and Applications

2024-05-26T20:19:13Z

by Tian, Naishuo. author.
http://dx.doi.org/10.1007/978-0-387-33723-4
Format: Electronic Resources

Elementary Functions Algorithms and Implementation

2024-05-26T20:19:13Z

by Muller, Jean-Michel. author.
http://dx.doi.org/10.1007/b137928
Format: Electronic Resources

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

2024-05-26T20:19:13Z

by Cai, Jin-Yi. editor.
http://dx.doi.org/10.1007/11750321
Format: Electronic Resources

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

2024-05-26T20:19:13Z

by Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/11752578
Format: Electronic Resources

Positive Operators

2024-05-26T20:19:13Z

by Aliprantis, Charalambos D. author.
http://dx.doi.org/10.1007/978-1-4020-5008-4
Format: Electronic Resources

Quantum Computation and Quantum Communication Theory and Experiments

2024-05-26T20:19:13Z

by Pavičić, Mladen. author.
http://dx.doi.org/10.1007/978-0-387-28900-7
Format: Electronic Resources

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

2024-05-26T20:19:13Z

by Dongarra, Jack. editor.
http://dx.doi.org/10.1007/11558958
Format: Electronic Resources

Grammatical Picture Generation A Tree-Based Approach

2024-05-26T20:19:13Z

by Drewes, Frank. author.
http://dx.doi.org/10.1007/3-540-32507-7
Format: Electronic Resources

Mathematical Approaches to Software Quality

2024-05-26T20:19:13Z

by O'Regan, Gerard. author.
http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources

Nonlinear Integer Programming

2024-05-26T20:19:13Z

by Li, Duan. author.
http://dx.doi.org/10.1007/0-387-32995-1
Format: Electronic Resources

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2024-05-26T20:19:13Z

by Ceragioli, F. editor.
http://dx.doi.org/10.1007/0-387-33006-2
Format: Electronic Resources

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

2024-05-26T20:19:13Z

by Grigoriev, Dima. editor.
http://dx.doi.org/10.1007/11753728
Format: Electronic Resources

Automatic Differentiation: Applications, Theory, and Implementations

2024-05-26T20:19:13Z

by Bücker, Martin. editor.
http://dx.doi.org/10.1007/3-540-28438-9
Format: Electronic Resources

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

2024-05-26T20:19:13Z

by Mazzola, Guerino. author.
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: Electronic Resources

Combinatorial Optimization Theory and Algorithms.

2024-05-26T20:19:13Z

by SpringerLink (Online service)
http://dx.doi.org/10.1007/3-540-29297-7
Format: Electronic Resources

High Performance Computing in Science and Engineering’ 05 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005

2024-05-26T20:19:13Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/3-540-29064-8
Format: Electronic Resources

Numerical Solution of Partial Differential Equations on Parallel Computers

2024-05-26T20:19:13Z

by Bruaset, Are Magnus. editor.
http://dx.doi.org/10.1007/3-540-31619-1
Format: Electronic Resources

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

2024-05-26T20:19:13Z

by Gerndt, Michael. editor.
http://dx.doi.org/10.1007/11847366
Format: Electronic Resources

Numerical Optimization Theoretical and Practical Aspects

2024-05-26T20:19:13Z

by Bonnans, J. Frédéric. author.
http://dx.doi.org/10.1007/978-3-540-35447-5
Format: Electronic Resources

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

2024-05-26T20:19:13Z

by Futatsugi, Kokichi. editor.
http://dx.doi.org/10.1007/11780274
Format: Electronic Resources

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

2024-05-26T20:19:13Z

by Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/11780342
Format: Electronic Resources

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings

2024-05-26T20:19:13Z

by Robert, Yves. editor.
http://dx.doi.org/10.1007/11945918
Format: Electronic Resources

Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2024-05-26T20:19:13Z

by Ceragioli, F. editor.
http://dx.doi.org/10.1007/0-387-33882-9
Format: Electronic Resources

Multivariate Public Key Cryptosystems

2024-05-26T20:19:13Z

by Ding, Jintai. author.
http://dx.doi.org/10.1007/978-0-387-36946-4
Format: Electronic Resources

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2024-05-26T20:19:13Z

by Gabbay, Dov M. editor.
http://dx.doi.org/10.1007/0-387-31072-X
Format: Electronic Resources

Handbook on Modelling for Discrete Optimization

2024-05-26T20:19:13Z

by Appa, Gautam. editor.
http://dx.doi.org/10.1007/0-387-32942-0
Format: Electronic Resources

Combinatorial Optimization in Communication Networks

2024-05-26T20:19:13Z

by Cheng, Maggie Xiaoyan. editor.
http://dx.doi.org/10.1007/0-387-29026-5
Format: Electronic Resources

Computational Electromagnetics

2024-05-26T20:19:13Z

by Bondeson, Anders. author.
http://dx.doi.org/10.1007/b136922
Format: Electronic Resources

A Modern Perspective on Type Theory From its Origins until Today

2024-05-26T20:19:13Z

by Kamareddine, Fairouz. author.
http://dx.doi.org/10.1007/1-4020-2335-9
Format: Electronic Resources

Categories for Software Engineering

2024-05-26T20:19:13Z

by Fiadeiro, José Luiz. author.
http://dx.doi.org/10.1007/b138249
Format: Electronic Resources

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

2024-05-26T20:19:13Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/b106965
Format: Electronic Resources

An Introduction to Meshfree Methods and Their Programming

2024-05-26T20:19:13Z

by Liu, G.R. author.
http://dx.doi.org/10.1007/1-4020-3468-7
Format: Electronic Resources

Adaptive and Natural Computing Algorithms Proceedings of the International Conference in Coimbra, Portugal, 2005

2024-05-26T20:19:13Z

by Ribeiro, Bernardete. editor.
http://dx.doi.org/10.1007/b138998
Format: Electronic Resources

Domain Decomposition Methods — Algorithms and Theory

2024-05-26T20:19:13Z

by Toselli, Andrea. author.
http://dx.doi.org/10.1007/b137868
Format: Electronic Resources

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

2024-05-26T20:19:13Z

by Hromkovič, Juraj. author.
http://dx.doi.org/10.1007/b137871
Format: Electronic Resources

Domain Decomposition Methods in Science and Engineering

2024-05-26T20:19:13Z

by Barth, Timothy J. editor.
http://dx.doi.org/10.1007/b138136
Format: Electronic Resources

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis

2024-05-26T20:19:13Z

by Iglesias, M. author.
http://dx.doi.org/10.1007/1-4020-3665-5
Format: Electronic Resources

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings

2024-05-26T20:19:13Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11557654
Format: Electronic Resources

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings

2024-05-26T20:19:13Z

by Bader, David A. editor.
http://dx.doi.org/10.1007/11602569
Format: Electronic Resources

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

2024-05-26T20:19:13Z

by Cooper, S. Barry. editor.
http://dx.doi.org/10.1007/b136981
Format: Electronic Resources

Dynamical Systems Examples of Complex Behaviour

2024-05-26T20:19:13Z

by Jost, Jürgen. author.
http://dx.doi.org/10.1007/3-540-28889-9
Format: Electronic Resources

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA.

2024-05-26T20:19:13Z

by SpringerLink (Online service)
http://dx.doi.org/10.1007/b138692
Format: Electronic Resources

Graphs, Networks and Algorithms

2024-05-26T20:19:13Z

by Jungnickel, Dieter. author.
http://dx.doi.org/10.1007/b138283
Format: Electronic Resources

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

2024-05-26T20:19:13Z

by Zhang, Jun. editor.
http://dx.doi.org/10.1007/b104566
Format: Electronic Resources

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2024-05-26T20:19:13Z

by Chapman, Barbara M. editor.
http://dx.doi.org/10.1007/b105895
Format: Electronic Resources

Contemporary Cryptology

2024-05-26T20:19:13Z

by Catalano, Dario. author.
http://dx.doi.org/10.1007/3-7643-7394-6
Format: Electronic Resources

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings

2024-05-26T20:19:13Z

by Bougé, Luc. editor.
http://dx.doi.org/10.1007/b104576
Format: Electronic Resources

Constraint Theory Multidimensional Mathematical Model Management

2024-05-26T20:19:13Z

by Friedman, George J. author.
http://dx.doi.org/10.1007/0-387-27650-5
Format: Electronic Resources

QoS in Packet Networks

2024-05-26T20:19:13Z

by Park, Kun I. author.
http://dx.doi.org/10.1007/b101424
Format: Electronic Resources

The Next Wave in Computing, Optimization, and Decision Technologies

2024-05-26T20:19:13Z

by Golden, Bruce. editor.
http://dx.doi.org/10.1007/b101696
Format: Electronic Resources

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

2024-05-26T20:19:13Z

by G, H J. editor.
http://dx.doi.org/10.1007/b99770
Format: Electronic Resources