Search Results for mathematical. - Narrowed by: Computer science.

Mathematical Linguistics

2026-01-19T03:26:58Z

Author Kornai, András. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-986-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods in Counterterrorism

2026-01-19T03:26:58Z

Author Memon, Nasrullah. editor. David Farley, Jonathan. editor. Hicks, David L. editor. Rosenorn, Torben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-09442-6
Format: Electronic Resources
Availability Online Library~1

A Mathematical Introduction to Compressive Sensing

2026-01-19T03:26:58Z

Author Foucart, Simon. author. Rauhut, Holger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330552.1)
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4948-7
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2026-01-19T03:26:58Z

Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331853.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic for Computer Science

2026-01-19T03:26:58Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2026-01-19T03:26:58Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic Foundations for Information Science

2026-01-19T03:26:58Z

Author Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Electronic Resources
Availability Online Library~1

Advances in Mathematical and Statistical Modeling

2026-01-19T03:26:58Z

Author Minguez, Roberto. editor. Sarabia, Jose-Maria. editor. Balakrishnan, N. editor. Arnold, Barry C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4626-4
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2026-01-19T03:26:58Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Approaches to Software Quality

2026-01-19T03:26:58Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources
Availability Online Library~1

Constraint Theory Multidimensional Mathematical Model Management

2026-01-19T03:26:58Z

Author Friedman, George J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27650-5
Format: Electronic Resources
Availability Online Library~1

General systems theory mathematical foundations

2026-01-19T03:26:58Z

Author Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2026-01-19T03:26:58Z

Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31072-X
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling, Simulation, Visualization and e-Learning

2026-01-19T03:26:58Z

Author Konaté, Dialla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74339-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Mathematical Models in Computer Vision

2026-01-19T03:26:58Z

Author Paragios, Nikos. editor. Chen, Yunmei. editor. Faugeras, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28831-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-01-19T03:26:58Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2026-01-19T03:26:58Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97595-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-01-19T03:26:58Z

Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2026-01-19T03:26:58Z

Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources
Availability Online Library~1

Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012

2026-01-19T03:26:58Z

Author Ansorge, Rainer. editor. Bijl, Hester. editor. Meister, Andreas. editor. Sonar, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333681.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33221-0
Format: Electronic Resources
Availability Online Library~1

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

2026-01-19T03:26:58Z

Author Gu, Edward Y L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334717.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39047-0
Format: Electronic Resources
Availability Online Library~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2026-01-19T03:26:58Z

Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335941.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

2026-01-19T03:26:58Z

Author Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331669.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number ONLINE(334106.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

2026-01-19T03:26:58Z

Author Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334577.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38294-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

An Introduction to Modern Mathematical Computing With Mathematica®

2026-01-19T03:26:58Z

Author Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-01-19T03:26:58Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2026-01-19T03:26:58Z

Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28212-6
Format: Electronic Resources
Availability Online Library~1

The Science of Cities and Regions Lectures on Mathematical Model Design

2026-01-19T03:26:58Z

Author Wilson, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2266-8
Format: Electronic Resources
Availability Online Library~1

Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

2026-01-19T03:26:58Z

Author Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32313-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings

2026-01-19T03:26:58Z

Author Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28926-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

2026-01-19T03:26:58Z

Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32589-2
Format: Electronic Resources
Availability Online Library~1

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

2026-01-19T03:26:58Z

Author Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33704-8
Format: Electronic Resources
Availability Online Library~1

An Introduction to Modern Mathematical Computing With Maple™

2026-01-19T03:26:58Z

Author Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0122-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

2026-01-19T03:26:58Z

Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22993-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic and Model Theory A Brief Introduction

2026-01-19T03:26:58Z

Author Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

2026-01-19T03:26:58Z

Author Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13606-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Morphology and Its Applications to Image and Signal Processing 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings

2026-01-19T03:26:58Z

Author Soille, Pierre. editor. Pesaresi, Martino. editor. Ouzounis, Georgios K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21569-8
Format: Electronic Resources
Availability Online Library~1

Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers

2026-01-19T03:26:58Z

Author Zhou, Qihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24999-0
Format: Electronic Resources
Availability Online Library~1

Functions, Spaces, and Expansions Mathematical Tools in Physics and Engineering

2026-01-19T03:26:58Z

Author Christensen, Ole. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4980-7
Format: Electronic Resources
Availability Online Library~1

Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

2026-01-19T03:26:58Z

Author Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14706-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2026-01-19T03:26:58Z

Author Kogan, Boris Ja. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76686-7
Format: Electronic Resources
Availability Online Library~1

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

2026-01-19T03:26:58Z

Author Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11618-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers

2026-01-19T03:26:58Z

Author Dæhlen, Morten. editor. Floater, Michael. editor. Lyche, Tom. editor. Merrien, Jean-Louis. editor. Mørken, Knut. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11620-9
Format: Electronic Resources
Availability Online Library~1

Roots of Modern Technology An Elegant Survey of the Basic Mathematical and Scientific Concepts

2026-01-19T03:26:58Z

Author Wendt, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12062-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

2026-01-19T03:26:58Z

Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15155-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

2026-01-19T03:26:58Z

Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15582-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Biology An Introduction with Maple and Matlab

2026-01-19T03:26:58Z

Author Shonkwiler, Ronald W. author. Herod, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-70984-0
Format: Electronic Resources
Availability Online Library~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2026-01-19T03:26:58Z

Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration

2026-01-19T03:26:58Z

Author Möller, Torsten. editor. Hamann, Bernd. editor. Russell, Robert D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106657
Format: Electronic Resources
Availability Online Library~1

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

2026-01-19T03:26:58Z

Author Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03073-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Morphology and Its Application to Signal and Image Processing 9th International Symposium, ISMM 2009 Groningen, The Netherlands, August 24-27, 2009 Proceedings

2026-01-19T03:26:58Z

Author Wilkinson, Michael H. F. editor. Roerdink, Jos B. T. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03613-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

2026-01-19T03:26:58Z

Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03816-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-201-2
Format: Electronic Resources
Availability Online Library~1

Mathematical and Statistical Methods in Insurance and Finance

2026-01-19T03:26:58Z

Author Perna, Cira. editor. Sibillo, Marilena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0704-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods in Computer Science Essays in Memory of Thomas Beth

2026-01-19T03:26:58Z

Author Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89994-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods in Signal Processing and Digital Image Analysis

2026-01-19T03:26:58Z

Author Dahlhaus, Rainer. editor. Kurths, Jürgen. editor. Maass, Peter. editor. Timmer, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75632-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

2026-01-19T03:26:58Z

Author Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2026-01-19T03:26:58Z

Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources
Availability Online Library~1

Reactive Flows, Diffusion and Transport From Experiments via Mathematical Modeling to Numerical Simulation and Optimization Final Report of SFB (Collaborative Research Center) 359

2026-01-19T03:26:58Z

Author Jäger, Willi. editor. Rannacher, Rolf. editor. Warnatz, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-28396-6
Format: Electronic Resources
Availability Online Library~1

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

2026-01-19T03:26:58Z

Author Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Electronic Resources
Availability Online Library~1

Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings

2026-01-19T03:26:58Z

Author Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73986-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

2026-01-19T03:26:58Z

Author Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-7549-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

2026-01-19T03:26:58Z

Author Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11812289
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2026-01-19T03:26:58Z

Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821069
Format: Electronic Resources
Availability Online Library~1

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

2026-01-19T03:26:58Z

Author Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11618027
Format: Electronic Resources
Availability Online Library~1

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

2026-01-19T03:26:58Z

Author Kohlhase, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11826095
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2026-01-19T03:26:58Z

Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11832225
Format: Electronic Resources
Availability Online Library~1

Mathematical and Computer Programming Techniques for Computer Graphics

2026-01-19T03:26:58Z

Author Comninos, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-292-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Morphology: 40 Years On Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005

2026-01-19T03:26:58Z

Author Ronse, Christian. editor. Najman, Laurent. editor. Decencière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3443-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2026-01-19T03:26:58Z

Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549345
Format: Electronic Resources
Availability Online Library~1

Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

2026-01-19T03:26:58Z

Author Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560326
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2026-01-19T03:26:58Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

The Linear Ordering Problem Exact and Heuristic Methods in Combinatorial Optimization

2026-01-19T03:26:58Z

Author Martí, Rafael. author. Reinelt, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16729-4
Format: Electronic Resources
Availability Online Library~1

Erdős Centennial

2026-01-19T03:26:58Z

Author Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334774.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39286-3
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2026-01-19T03:26:58Z

Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources
Availability Online Library~1

Fete of Combinatorics and Computer Science

2026-01-19T03:26:58Z

Author Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13580-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Large-Scale Random Networks

2026-01-19T03:26:58Z

Author Bollobás, Béla. editor. Kozma, Robert. editor. Miklós, Dezső. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69395-6
Format: Electronic Resources
Availability Online Library~1

Horizons of Combinatorics

2026-01-19T03:26:58Z

Author Győri, Ervin. editor. Katona, Gyula O. H. editor. Lovász, László. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77200-2
Format: Electronic Resources
Availability Online Library~1

Scientific Computing and Cultural Heritage Contributions in Computational Humanities

2026-01-19T03:26:58Z

Author Bock, Hans Georg. editor. Jäger, Willi. editor. Winckler, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333171.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-28021-4
Format: Electronic Resources
Availability Online Library~1

Model Based Parameter Estimation Theory and Applications

2026-01-19T03:26:58Z

Author Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number ONLINE(333324.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30367-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Iglesias, M. author. Naudts, B. author. Verschoren, A. author. Vidal, C. author. Lowen, R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3665-5
Format: Electronic Resources
Availability Online Library~1

Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chains

2026-01-19T03:26:58Z

Author Wensing, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20479-1
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Economics The Economy as a Complex Dynamic System

2026-01-19T03:26:58Z

Author Bruun, Charlotte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-37249-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing

2026-01-19T03:26:58Z

Author Calvetti, Daniela. author. Somersalo, Erkki. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73394-4
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-01-19T03:26:58Z

Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28859-3
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-01-19T03:26:58Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2026-01-19T03:26:58Z

Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96271-9
Format: Electronic Resources
Availability Online Library~1

An Introduction to the Technique of Formative Processes in Set Theory

2026-01-19T03:26:58Z

Author Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74778-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2026-01-19T03:26:58Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

Multi-Objective Optimization Evolutionary to Hybrid Framework

2026-01-19T03:26:58Z

Author Mandal, Jyotsna K. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1471-1
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Cyber-Physical Systems

2026-01-19T03:26:58Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2026-01-19T03:26:58Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2026-01-19T03:26:58Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources
Availability Online Library~1

Nonlinear Eigenproblems in Image Processing and Computer Vision

2026-01-19T03:26:58Z

Author Gilboa, Guy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75847-3
Format: Electronic Resources
Availability Online Library~1

Probability and Statistics for Computer Science

2026-01-19T03:26:58Z

Author Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources
Availability Online Library~1

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2026-01-19T03:26:58Z

Author Mendes, Emilia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54157-5
Format: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

2026-01-19T03:26:58Z

Author Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43742-1
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2026-01-19T03:26:58Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2026-01-19T03:26:58Z

Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Quality

2026-01-19T03:26:58Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources
Availability Online Library~1

Multiscale Signal Analysis and Modeling

2026-01-19T03:26:58Z

Author Shen, Xiaoping. editor. Zayed, Ahmed I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331437.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4145-8
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2026-01-19T03:26:58Z

Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Electronic Resources
Availability Online Library~1

Search Theory A Game Theoretic Perspective

2026-01-19T03:26:58Z

Author Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Preferred Shelf Number ONLINE(332129.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: Electronic Resources
Availability Online Library~1

Seamless R and C++ Integration with Rcpp

2026-01-19T03:26:58Z

Author Eddelbuettel, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332142.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6868-4
Format: Electronic Resources
Availability Online Library~1

The R Software Fundamentals of Programming and Statistical Analysis

2026-01-19T03:26:58Z

Author Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332463.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Electronic Resources
Availability Online Library~1

Optimization Approaches for Solving String Selection Problems

2026-01-19T03:26:58Z

Author Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332467.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: Electronic Resources
Availability Online Library~1

Conversations About Challenges in Computing

2026-01-19T03:26:58Z

Author Bruaset, Are Magnus. editor. Tveito, Aslak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332698.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00209-5
Format: Electronic Resources
Availability Online Library~1

Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control

2026-01-19T03:26:58Z

Author Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00440-2
Format: Electronic Resources
Availability Online Library~1

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

2026-01-19T03:26:58Z

Author Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332858.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01321-3
Format: Electronic Resources
Availability Online Library~1

Concise Computer Mathematics Tutorials on Theory and Problems

2026-01-19T03:26:58Z

Author Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332887.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-01-19T03:26:58Z

Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-01-19T03:26:58Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2026-01-19T03:26:58Z

Author Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332970.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Electronic Resources
Availability Online Library~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2026-01-19T03:26:58Z

Author Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2026-01-19T03:26:58Z

Author Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Electronic Resources
Availability Online Library~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2026-01-19T03:26:58Z

Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Electronic Resources
Availability Online Library~1

High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013

2026-01-19T03:26:58Z

Author Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332902.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02165-2
Format: Electronic Resources
Availability Online Library~1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

2026-01-19T03:26:58Z

Author Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334017.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35641-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2026-01-19T03:26:58Z

Author Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2026-01-19T03:26:58Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XVI

2026-01-19T03:26:58Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number ONLINE(334220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2026-01-19T03:26:58Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2026-01-19T03:26:58Z

Author Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330942.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331002.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Electronic Resources
Availability Online Library~1

Calculus for Computer Graphics

2026-01-19T03:26:58Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331205.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5466-2
Format: Electronic Resources
Availability Online Library~1

Formal Languages and Compilation

2026-01-19T03:26:58Z

Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331210.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Electronic Resources
Availability Online Library~1

Polyhedral and Algebraic Methods in Computational Geometry

2026-01-19T03:26:58Z

Author Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331067.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4817-3
Format: Electronic Resources
Availability Online Library~1

Outlier Analysis

2026-01-19T03:26:58Z

Author Aggarwal, Charu C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332026.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6396-2
Format: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2026-01-19T03:26:58Z

Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332574.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2026-01-19T03:26:58Z

Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333036.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-01-19T03:26:58Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Meshfree Methods for Partial Differential Equations VI

2026-01-19T03:26:58Z

Author Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333644.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32979-1
Format: Electronic Resources
Availability Online Library~1

Numerical Mathematics and Advanced Applications 2011 Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011

2026-01-19T03:26:58Z

Author Cangiani, Andrea. editor. Davidchack, Ruslan L. editor. Georgoulis, Emmanuil. editor. Gorban, Alexander N. editor. Levesley, Jeremy. editor.
Preferred Shelf Number ONLINE(333669.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33134-3
Format: Electronic Resources
Availability Online Library~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2026-01-19T03:26:58Z

Author Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334341.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

2026-01-19T03:26:58Z

Author Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334443.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37502-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-19T03:26:58Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources
Availability Online Library~1

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-01-19T03:26:58Z

Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334552.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2026-01-19T03:26:58Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2026-01-19T03:26:58Z

Author Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334626.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-01-19T03:26:58Z

Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334630.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2026-01-19T03:26:58Z

Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334634.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Electronic Resources
Availability Online Library~1

Ontology Matching

2026-01-19T03:26:58Z

Author Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334659.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Electronic Resources
Availability Online Library~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2026-01-19T03:26:58Z

Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334683.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Electronic Resources
Availability Online Library~1

Condition The Geometry of Numerical Algorithms

2026-01-19T03:26:58Z

Author Bürgisser, Peter. author. Cucker, Felipe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334693.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38896-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2026-01-19T03:26:58Z

Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334698.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2026-01-19T03:26:58Z

Author Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334702.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-01-19T03:26:58Z

Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335023.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2026-01-19T03:26:58Z

Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335030.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334946.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Electronic Resources
Availability Online Library~1

Empirical Inference Festschrift in Honor of Vladimir N. Vapnik

2026-01-19T03:26:58Z

Author Schölkopf, Bernhard. editor. Luo, Zhiyuan. editor. Vovk, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335060.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41136-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-01-19T03:26:58Z

Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335072.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2026-01-19T03:26:58Z

Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334264.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Electronic Resources
Availability Online Library~1

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

2026-01-19T03:26:58Z

Author Steland, Ansgar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337250.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37201-8
Format: Electronic Resources
Availability Online Library~1

Wirtschaftsverkehr 2013 Datenerfassung und verkehrsträgerübergreifende Modellierung des Güterverkehrs als Entscheidungsgrundlage für die Verkehrspolitik

2026-01-19T03:26:58Z

Author Clausen, Uwe. editor. Thaller, Carina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37601-6
Format: Electronic Resources
Availability Online Library~1

Models and Algorithms for Genome Evolution

2026-01-19T03:26:58Z

Author Chauve, Cedric. editor. El-Mabrouk, Nadia. editor. Tannier, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331187.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5298-9
Format: Electronic Resources
Availability Online Library~1

Probability Models

2026-01-19T03:26:58Z

Author Haigh, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331195.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5343-6
Format: Electronic Resources
Availability Online Library~1

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2026-01-19T03:26:58Z

Author Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number ONLINE(331582.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Electronic Resources
Availability Online Library~1

Nonlinear Optimization Applications Using the GAMS Technology

2026-01-19T03:26:58Z

Author Andrei, Neculai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332120.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: Electronic Resources
Availability Online Library~1

Bayesian Networks in R with Applications in Systems Biology

2026-01-19T03:26:58Z

Author Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332033.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: Electronic Resources
Availability Online Library~1

Cell Formation in Industrial Engineering Theory, Algorithms and Experiments

2026-01-19T03:26:58Z

Author Goldengorin, Boris. author. Krushinsky, Dmitry. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332379.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8002-0
Format: Electronic Resources
Availability Online Library~1

Graphs, Networks and Algorithms

2026-01-19T03:26:58Z

Author Jungnickel, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32278-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012

2026-01-19T03:26:58Z

Author Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333700.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33374-3
Format: Electronic Resources
Availability Online Library~1

Structure-Preserving Algorithms for Oscillatory Differential Equations

2026-01-19T03:26:58Z

Author Wu, Xinyuan. author. You, Xiong. author. Wang, Bin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333966.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35338-3
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Electronic Resources
Availability Online Library~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(334041.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2026-01-19T03:26:58Z

Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2026-01-19T03:26:58Z

Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334073.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Electronic Resources
Availability Online Library~1

Dynamics in Logistics Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings

2026-01-19T03:26:58Z

Author Kreowski, Hans-Jörg. editor. Scholz-Reiter, Bernd. editor. Thoben, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334089.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35966-8
Format: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2026-01-19T03:26:58Z

Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number ONLINE(334092.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Electronic Resources
Availability Online Library~1

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-01-19T03:26:58Z

Author Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334337.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2026-01-19T03:26:58Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334355.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Electronic Resources
Availability Online Library~1

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-01-19T03:26:58Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

2026-01-19T03:26:58Z

Author Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334382.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37195-0
Format: Electronic Resources
Availability Online Library~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2026-01-19T03:26:58Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334715.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Electronic Resources
Availability Online Library~1

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-19T03:26:58Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334722.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334723.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-01-19T03:26:58Z

Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334724.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-19T03:26:58Z

Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334725.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2026-01-19T03:26:58Z

Author Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334728.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2026-01-19T03:26:58Z

Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334666.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2026-01-19T03:26:58Z

Author Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334771.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39274-0
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2026-01-19T03:26:58Z

Author Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334772.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2026-01-19T03:26:58Z

Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334778.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2026-01-19T03:26:58Z

Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number ONLINE(334781.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2026-01-19T03:26:58Z

Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334848.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2026-01-19T03:26:58Z

Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335040.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-01-19T03:26:58Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2026-01-19T03:26:58Z

Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2026-01-19T03:26:58Z

Author Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334978.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2026-01-19T03:26:58Z

Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number ONLINE(334979.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2026-01-19T03:26:58Z

Author Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2026-01-19T03:26:58Z

Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334985.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2026-01-19T03:26:58Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2026-01-19T03:26:58Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2026-01-19T03:26:58Z

Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335202.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Electronic Resources
Availability Online Library~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2026-01-19T03:26:58Z

Author Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336157.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Electronic Resources
Availability Online Library~1

Economic Modeling Using Artificial Intelligence Methods

2026-01-19T03:26:58Z

Author Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331116.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5010-7
Format: Electronic Resources
Availability Online Library~1

Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts

2026-01-19T03:26:58Z

Author Amidror, Isaac. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331163.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5167-8
Format: Electronic Resources
Availability Online Library~1

Using Event-B for Critical Device Software Systems

2026-01-19T03:26:58Z

Author Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331181.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources
Availability Online Library~1

Optimization for Computer Vision An Introduction to Core Concepts and Methods

2026-01-19T03:26:58Z

Author Treiber, Marco Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331184.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5283-5
Format: Electronic Resources
Availability Online Library~1

Game Analytics Maximizing the Value of Player Data

2026-01-19T03:26:58Z

Author Seif El-Nasr, Magy. editor. Drachen, Anders. editor. Canossa, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331053.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4769-5
Format: Electronic Resources
Availability Online Library~1

Fast Compact Algorithms and Software for Spline Smoothing

2026-01-19T03:26:58Z

Author Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331788.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Electronic Resources
Availability Online Library~1

Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization

2026-01-19T03:26:58Z

Author Pham, Khanh D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331670.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: Electronic Resources
Availability Online Library~1

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

2026-01-19T03:26:58Z

Author Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331677.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: Electronic Resources
Availability Online Library~1

Industrial Deployment of System Engineering Methods

2026-01-19T03:26:58Z

Author Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333675.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33170-1
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2026-01-19T03:26:58Z

Author Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources
Availability Online Library~1

Topological Derivatives in Shape Optimization

2026-01-19T03:26:58Z

Author Novotny, Antonio André. author. Sokołowski, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333955.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35245-4
Format: Electronic Resources
Availability Online Library~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334014.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2026-01-19T03:26:58Z

Author Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-01-19T03:26:58Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2026-01-19T03:26:58Z

Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334814.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-01-19T03:26:58Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2026-01-19T03:26:58Z

Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334821.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334825.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2026-01-19T03:26:58Z

Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Electronic Resources
Availability Online Library~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2026-01-19T03:26:58Z

Author Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Electronic Resources
Availability Online Library~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-01-19T03:26:58Z

Author Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335031.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2026-01-19T03:26:58Z

Author Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334868.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-01-19T03:26:58Z

Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335046.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2026-01-19T03:26:58Z

Author Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334875.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Electronic Resources
Availability Online Library~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2026-01-19T03:26:58Z

Author Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334877.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Electronic Resources
Availability Online Library~1

Contemporary Evolution Strategies

2026-01-19T03:26:58Z

Author Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334897.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40137-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-19T03:26:58Z

Author Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335104.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41422-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Search: From Algorithms to Systems

2026-01-19T03:26:58Z

Author Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Electronic Resources
Availability Online Library~1

Reactive Kripke Semantics

2026-01-19T03:26:58Z

Author Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335100.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Electronic Resources
Availability Online Library~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335125.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-01-19T03:26:58Z

Author Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335126.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Electronic Resources
Availability Online Library~1

Teoria degli Automi Finiti

2026-01-19T03:26:58Z

Author Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335644.1)
Electronic Access http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Electronic Resources
Availability Online Library~1

Paraconsistency: Logic and Applications

2026-01-19T03:26:58Z

Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335759.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources
Availability Online Library~1

The Argument of Mathematics

2026-01-19T03:26:58Z

Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336263.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Electronic Resources
Availability Online Library~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2026-01-19T03:26:58Z

Author Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336496.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Electronic Resources
Availability Online Library~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2026-01-19T03:26:58Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337115.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34720-7
Format: Electronic Resources
Availability Online Library~1

Pyomo – Optimization Modeling in Python

2026-01-19T03:26:58Z

Author Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: Electronic Resources
Availability Online Library~1

Applications of Mathematics and Informatics in Military Science

2026-01-19T03:26:58Z

Author Daras, Nicholas J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4109-0
Format: Electronic Resources
Availability Online Library~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2026-01-19T03:26:58Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam

2026-01-19T03:26:58Z

Author Bock, Hans Georg. editor. Hoang, Xuan Phu. editor. Rannacher, Rolf. editor. Schlöder, Johannes P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25707-0
Format: Electronic Resources
Availability Online Library~1

Product of Random Stochastic Matrices and Distributed Averaging

2026-01-19T03:26:58Z

Author Touri, Behrouz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28003-0
Format: Electronic Resources
Availability Online Library~1

Mathematics of Discrete Structures for Computer Science

2026-01-19T03:26:58Z

Author Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29840-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Algorithmic Differentiation

2026-01-19T03:26:58Z

Author Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30023-3
Format: Electronic Resources
Availability Online Library~1

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

2026-01-19T03:26:58Z

Author Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30870-3
Format: Electronic Resources
Availability Online Library~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2026-01-19T03:26:58Z

Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31485-8
Format: Electronic Resources
Availability Online Library~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2026-01-19T03:26:58Z

Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources
Availability Online Library~1

Der Wille zur Freiheit Eine gefährliche Reise durch Faschismus und Kommunismus

2026-01-19T03:26:58Z

Author Balas, Egon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23921-2
Format: Electronic Resources
Availability Online Library~1

Complex Scheduling

2026-01-19T03:26:58Z

Author Brucker, Peter. author. Knust, Sigrid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23929-8
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2026-01-19T03:26:58Z

Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Electronic Resources
Availability Online Library~1

Controlling mit SAP® Eine praxisorientierte Einführung - Umfassende Fallstudie - Beispielhafte Anwendungen

2026-01-19T03:26:58Z

Author Friedl, Gunther. author. Hilz, Christian. author. Pedell, Burkhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2159-1
Format: Electronic Resources
Availability Online Library~1

Logic: A Brief Course

2026-01-19T03:26:58Z

Author Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-2361-1
Format: Electronic Resources
Availability Online Library~1

Modern Optimization Techniques with Applications in Electric Power Systems

2026-01-19T03:26:58Z

Author Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1752-1
Format: Electronic Resources
Availability Online Library~1

Integrated Methods for Optimization

2026-01-19T03:26:58Z

Author Hooker, John N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1900-6
Format: Electronic Resources
Availability Online Library~1

Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications

2026-01-19T03:26:58Z

Author Scholz, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1951-8
Format: Electronic Resources
Availability Online Library~1

MATLAB for Psychologists

2026-01-19T03:26:58Z

Author Borgo, Mauro. author. Soranzo, Alessandro. author. Grassi, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2197-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Algebraic Specification and Formal Software Development

2026-01-19T03:26:58Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization Theory and Algorithms

2026-01-19T03:26:58Z

Author Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24488-9
Format: Electronic Resources
Availability Online Library~1

Kombinatorische Optimierung Theorie und Algorithmen

2026-01-19T03:26:58Z

Author Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25401-7
Format: Electronic Resources
Availability Online Library~1

The Complexity of Valued Constraint Satisfaction Problems

2026-01-19T03:26:58Z

Author Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Electronic Resources
Availability Online Library~1

Einführung in Computational Social Choice Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen

2026-01-19T03:26:58Z

Author Rothe, Jörg. author. Baumeister, Dorothea. author. Lindner, Claudia. author. Rothe, Irene. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2571-3
Format: Electronic Resources
Availability Online Library~1

Truth and Falsehood An Inquiry into Generalized Logical Values

2026-01-19T03:26:58Z

Author Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0907-2
Format: Electronic Resources
Availability Online Library~1

Approximation and Computation In Honor of Gradimir V. Milovanović

2026-01-19T03:26:58Z

Author Gautschi, Walter. editor. Mastroianni, Giuseppe. editor. Rassias, Themistocles M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6594-3
Format: Electronic Resources
Availability Online Library~1

Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications

2026-01-19T03:26:58Z

Author Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: Electronic Resources
Availability Online Library~1

Multicriteria Analysis Applications to Water and Environment Management

2026-01-19T03:26:58Z

Author Zarghami, Mahdi. author. Szidarovszky, Ferenc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17937-2
Format: Electronic Resources
Availability Online Library~1

A Tiny Handbook of R

2026-01-19T03:26:58Z

Author Allerhand, Mike. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17980-8
Format: Electronic Resources
Availability Online Library~1

Conditionals and Modularity in General Logics

2026-01-19T03:26:58Z

Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19068-1
Format: Electronic Resources
Availability Online Library~1

GeoSpatial Semantics 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings

2026-01-19T03:26:58Z

Author Claramunt, Christophe. editor. Levashkin, Sergei. editor. Bertolotto, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20630-6
Format: Electronic Resources
Availability Online Library~1

Bayesian Theory and Methods with Applications

2026-01-19T03:26:58Z

Author Savchuk, Vladimir. author. Tsokos, Chris P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-14-5
Format: Electronic Resources
Availability Online Library~1

Design of Modern Heuristics Principles and Application

2026-01-19T03:26:58Z

Author Rothlauf, Franz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72962-4
Format: Electronic Resources
Availability Online Library~1

Viability Theory New Directions

2026-01-19T03:26:58Z

Author Aubin, Jean-Pierre. author. Bayen, Alexandre M. author. Saint-Pierre, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16684-6
Format: Electronic Resources
Availability Online Library~1

Statistics for High-Dimensional Data Methods, Theory and Applications

2026-01-19T03:26:58Z

Author Bühlmann, Peter. author. van de Geer, Sara. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20192-9
Format: Electronic Resources
Availability Online Library~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2026-01-19T03:26:58Z

Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Electronic Resources
Availability Online Library~1

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

2026-01-19T03:26:58Z

Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21875-0
Format: Electronic Resources
Availability Online Library~1

Apartness and Uniformity A Constructive Development

2026-01-19T03:26:58Z

Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22415-7
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2026-01-19T03:26:58Z

Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Electronic Resources
Availability Online Library~1

Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms

2026-01-19T03:26:58Z

Author Deuflhard, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23899-4
Format: Electronic Resources
Availability Online Library~1

Logica: Metodo Breve

2026-01-19T03:26:58Z

Author Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-1884-6
Format: Electronic Resources
Availability Online Library~1

Hybrid Logic and its Proof-Theory

2026-01-19T03:26:58Z

Author Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0002-4
Format: Electronic Resources
Availability Online Library~1

Dual Tableaux: Foundations, Methodology, Case Studies

2026-01-19T03:26:58Z

Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0005-5
Format: Electronic Resources
Availability Online Library~1

Probabilistic Logics and Probabilistic Networks

2026-01-19T03:26:58Z

Author Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0008-6
Format: Electronic Resources
Availability Online Library~1

Dynamic Formal Epistemology

2026-01-19T03:26:58Z

Author Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0074-1
Format: Electronic Resources
Availability Online Library~1

Proof, Computation and Agency Logic at the Crossroads

2026-01-19T03:26:58Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0080-2
Format: Electronic Resources
Availability Online Library~1

R for SAS and SPSS Users

2026-01-19T03:26:58Z

Author Muenchen, Robert A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0685-3
Format: Electronic Resources
Availability Online Library~1

Classification and Multivariate Analysis for Complex Data Structures

2026-01-19T03:26:58Z

Author Fichet, Bernard. editor. Piccolo, Domenico. editor. Verde, Rosanna. editor. Vichi, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13312-1
Format: Electronic Resources
Availability Online Library~1

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2026-01-19T03:26:58Z

Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings

2026-01-19T03:26:58Z

Author Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19893-9
Format: Electronic Resources
Availability Online Library~1

Grid and Cloud Database Management

2026-01-19T03:26:58Z

Author Fiore, Sandro. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20045-8
Format: Electronic Resources
Availability Online Library~1