Search Results for Mathematics - Narrowed by: Computer science.

Mathematics of Approximation

2024-12-23T10:55:56Z

Author Villiers, Johan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-50-3
Format: Electronic Resources
Availability Online Library~1

Mathematics and Technology

2024-12-23T10:55:56Z

Author Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69216-6
Format: Electronic Resources
Availability Online Library~1

The Argument of Mathematics

2024-12-23T10:55:56Z

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

Mathematics for Computer Graphics

2024-12-23T10:55:56Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-283-7
Format: Electronic Resources
Availability Online Library~1

Mathematics for Computer Graphics

2024-12-23T10:55:56Z

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

Progress in Industrial Mathematics at ECMI 2008

2024-12-23T10:55:56Z

Author Fitt, Alistair D. editor. Norbury, John. editor. Ockendon, Hilary. editor. Wilson, Eddie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12110-4
Format: Electronic Resources
Availability Online Library~1

Imaginary Mathematics for Computer Science

2024-12-23T10:55:56Z

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

Learning Spaces Interdisciplinary Applied Mathematics

2024-12-23T10:55:56Z

Author Falmagne, Jean-Claude. author. Doignon, Jean-Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01039-2
Format: Electronic Resources
Availability Online Library~1

Bridging the Gap to University Mathematics

2024-12-23T10:55:56Z

Author Hurst, Edward. author. Gould, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-290-6
Format: Electronic Resources
Availability Online Library~1

Medial Representations Mathematics, Algorithms and Applications

2024-12-23T10:55:56Z

Author Siddiqi, Kaleem. editor. Pizer, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8658-8
Format: Electronic Resources
Availability Online Library~1

Applied Mathematics for Database Professionals

2024-12-23T10:55:56Z

Author Haan, Lex. author. Koppelaars, Toon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0348-3
Format: Electronic Resources
Availability Online Library~1

Applied Mathematics for Database Professionals

2024-12-23T10:55:56Z

Author Haan, Lex. Koppelaars, Toon.
Preferred Shelf Number QA76.9.D35 H33 2007
Format: Books
Availability Beytepe Library~1

Discrete Mathematics Using a Computer

2024-12-23T10:55:56Z

Author O’Donnell, John. author. Hall, Cordelia. author. Page, Rex. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-598-4
Format: Electronic Resources
Availability Online Library~1

Computer Graphics and Geometric Modeling Mathematics

2024-12-23T10:55:56Z

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

Progress in Industrial Mathematics at ECMI 2006

2024-12-23T10:55:56Z

Author Bonilla, Luis L. editor. Moscoso, Miguel. editor. Platero, Gloria. editor. Vega, Jose M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71992-2
Format: Electronic Resources
Availability Online Library~1

Progress in Industrial Mathematics at ECMI 2004

2024-12-23T10:55:56Z

Author Bucchianico, A. editor. Mattheij, R.M.M. editor. Peletier, M.A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28073-1
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-12-23T10:55:56Z

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

Modelling Computing Systems Mathematics for Computer Science

2024-12-23T10:55:56Z

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

Mathematics of Discrete Structures for Computer Science

2024-12-23T10:55:56Z

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

Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010

2024-12-23T10:55:56Z

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

Recent Advances in Computational and Applied Mathematics

2024-12-23T10:55:56Z

Author Simos, Theodore E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9981-5
Format: Electronic Resources
Availability Online Library~1

Mathknow Mathematics, Applied Sciences and Real Life

2024-12-23T10:55:56Z

Author Emmer, Michele. editor. Quarteroni, Alfio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-1122-9
Format: Electronic Resources
Availability Online Library~1

Grammars and automata for string processing from mathematics and computer science to biology, and back

2024-12-23T10:55:56Z

Author Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Medical Imaging A Beginner’s Guide

2024-12-23T10:55:56Z

Author Feeman, Timothy G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-92712-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74180-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0023-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Applications of Computational and Fuzzy Mathematics

2024-12-23T10:55:56Z

Author Chakraverty, Snehashish. editor. Perera, Sanjeewa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1153-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2024-12-23T10:55:56Z

Author Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55195-6
Format: Electronic Resources
Availability Online Library~1

Concise Computer Mathematics Tutorials on Theory and Problems

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

Author Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334789.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39357-0
Format: Electronic Resources
Availability Online Library~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2024-12-23T10:55:56Z

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

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31464-3
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31500-8
Format: Electronic Resources
Availability Online Library~1

Applications of Mathematics and Informatics in Military Science

2024-12-23T10:55:56Z

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

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

2024-12-23T10:55:56Z

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

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

2024-12-23T10:55:56Z

Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31374-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Large-Scale Multimedia Information Management and Retrieval Mathematics of Perception

2024-12-23T10:55:56Z

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

Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

2024-12-23T10:55:56Z

Author Davenport, James H. editor. Farmer, William M. editor. Urban, Josef. editor. Rabe, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22673-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

Mathematics and Computation in Music Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings

2024-12-23T10:55:56Z

Author Agon, Carlos. editor. Andreatta, Moreno. editor. Assayag, Gérard. editor. Amiot, Emmanuel. editor. Bresson, Jean. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21590-2
Format: Electronic Resources
Availability Online Library~1

Numerical Mathematics and Advanced Applications 2009 Proceedings of ENUMATH 2009, the 8th European Conference on Numerical Mathematics and Advanced Applications, Uppsala, July 2009

2024-12-23T10:55:56Z

Author Kreiss, Gunilla. editor. Lötstedt, Per. editor. Målqvist, Axel. editor. Neytcheva, Maya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11795-4
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

2024-12-23T10:55:56Z

Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13321-3
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

2024-12-23T10:55:56Z

Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14322-9
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14390-8
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14403-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

2024-12-23T10:55:56Z

Author Autexier, Serge. editor. Calmet, Jacques. editor. Delahaye, David. editor. Ion, Patrick D. F. editor. Rideau, Laurence. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14128-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

2024-12-23T10:55:56Z

Author Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02614-0
Format: Electronic Resources
Availability Online Library~1

Maple and Mathematica A Problem Solving Approach for Mathematics

2024-12-23T10:55:56Z

Author Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-99432-0
Format: Electronic Resources
Availability Online Library~1

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

2024-12-23T10:55:56Z

Author Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-406-5
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation in Music Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings

2024-12-23T10:55:56Z

Author Chew, Elaine. editor. Childs, Adrian. editor. Chuan, Ching-Hua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02394-1
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings

2024-12-23T10:55:56Z

Author Hancock, Edwin R. editor. Martin, Ralph R. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03596-8
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation in Music First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers

2024-12-23T10:55:56Z

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

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

2024-12-23T10:55:56Z

Author Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87827-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68111-3
Format: Electronic Resources
Availability Online Library~1

Numerical Mathematics and Advanced Applications Proceedings of ENUMATH 2007, the 7th European Conference on Numerical Mathematics and Advanced Applications, Graz, Austria, September 2007

2024-12-23T10:55:56Z

Author Kunisch, Karl. editor. Of, Günther. editor. Steinbach, Olaf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69777-0
Format: Electronic Resources
Availability Online Library~1

Mathematics – Key Technology for the Future Joint Projects Between Universities and Industry 2004–2007

2024-12-23T10:55:56Z

Author Krebs, Hans-Joachim. editor. Jäger, Willi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77203-3
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Munthe-Kaas, Hans. editor. Owren, Brynjulf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68850-1
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-12-23T10:55:56Z

Author Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

2024-12-23T10:55:56Z

Author Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85110-3
Format: Electronic Resources
Availability Online Library~1

Essentials of Mathematica With Applications to Mathematics and Physics

2024-12-23T10:55:56Z

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

Maple and Mathematica A Problem Solving Approach for Mathematics

2024-12-23T10:55:56Z

Author Shingareva, Inna. author. Lizàrraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-73265-6
Format: Electronic Resources
Availability Online Library~1

Computational Turbulent Incompressible Flow Applied Mathematics: Body and Soul 4

2024-12-23T10:55:56Z

Author Hoffman, Johan. author. Johnson, Claes. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-46533-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Hasle, Geir. editor. Lie, Knut-Andreas. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68783-2
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings

2024-12-23T10:55:56Z

Author Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73843-5
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752578
Format: Electronic Resources
Availability Online Library~1

Numerical Mathematics and Advanced Applications Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005

2024-12-23T10:55:56Z

Author de Castro, Alfredo Bermúdez. editor. Gómez, Dolores. editor. Quintela, Peregrina. editor. Salgado, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34288-5
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-36874-8
Format: Electronic Resources
Availability Online Library~1

Mathematics of Large Eddy Simulation of Turbulent Flows

2024-12-23T10:55:56Z

Author Berselli, Luigi C. author. Iliescu, Traian. author. Layton, William J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137408
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2024-12-23T10:55:56Z

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

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings

2024-12-23T10:55:56Z

Author Martin, Ralph. editor. Bez, Helmut. editor. Sabin, Malcolm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11537908
Format: Electronic Resources
Availability Online Library~1

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus

2024-12-23T10:55:56Z

Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138337
Format: Electronic Resources
Availability Online Library~1

On the Higher-Order Sheffer Orthogonal Polynomial Sequences

2024-12-23T10:55:56Z

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

Analyzing Markov Chains using Kronecker Products Theory and Applications

2024-12-23T10:55:56Z

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

Visualization in Medicine and Life Sciences II Progress and New Challenges

2024-12-23T10:55:56Z

Author Linsen, Lars. editor. Hagen, Hans. editor. Hamann, Bernd. editor. Hege, Hans-Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21608-4
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

Visualization and Processing of Tensor Fields Advances and Perspectives

2024-12-23T10:55:56Z

Author Laidlaw, David. editor. Weickert, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88378-4
Format: Electronic Resources
Availability Online Library~1

Visualization in Medicine and Life Sciences

2024-12-23T10:55:56Z

Author Linsen, Lars. editor. Hagen, Hans. editor. Hamann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72630-2
Format: Electronic Resources
Availability Online Library~1

Scientific Computing in Electrical Engineering

2024-12-23T10:55:56Z

Author Ciuprina, Gabriela. editor. Ioan, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71980-9
Format: Electronic Resources
Availability Online Library~1

Scientific Computing in Electrical Engineering

2024-12-23T10:55:56Z

Author Anile, Angelo Marcello. editor. Alì, Giuseppe. editor. Mascali, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32862-9
Format: Electronic Resources
Availability Online Library~1

Algebraic Geometry and Geometric Modeling

2024-12-23T10:55:56Z

Author Elkadi, Mohamed. editor. Mourrain, Bernard. editor. Piene, Ragni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33275-6
Format: Electronic Resources
Availability Online Library~1

M-Solid Varieties of Algebras

2024-12-23T10:55:56Z

Author Koppitz, J. author. Denecke, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30806-7
Format: Electronic Resources
Availability Online Library~1

Scientific Visualization: The Visual Extraction of Knowledge from Data

2024-12-23T10:55:56Z

Author Bonneau, Georges-Pierre. editor. Ertl, Thomas. editor. Nielson, Gregory M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30790-7
Format: Electronic Resources
Availability Online Library~1

Advances in Multiresolution for Geometric Modelling

2024-12-23T10:55:56Z

Author Dodgson, Neil A. editor. Floater, Michael S. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138117
Format: Electronic Resources
Availability Online Library~1

VizSEC 2007 Proceedings of the Workshop on Visualization for Computer Security

2024-12-23T10:55:56Z

Author Goodall, John R. editor. Conti, Gregory. editor. Ma, Kwan-Liu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78243-8
Format: Electronic Resources
Availability Online Library~1

Image Processing Based on Partial Differential Equations Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse Problems, CMA, Oslo, August 8–12, 2005

2024-12-23T10:55:56Z

Author Tai, Xue-Cheng. editor. Lie, Knut-Andreas. editor. Chan, Tony F. editor. Osher, Stanley. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33267-1
Format: Electronic Resources
Availability Online Library~1

Probability Models

2024-12-23T10:55:56Z

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 Electromagnetics

2024-12-23T10:55:56Z

Author Rylander, Thomas. author. Ingelström, Par. author. Bondeson, Anders. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331749.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5351-2
Format: Electronic Resources
Availability Online Library~1

Multiscale and Adaptivity: Modeling, Numerics and Applications C.I.M.E. Summer School, Cetraro, Italy 2009, Editors: Giovanni Naldi, Giovanni Russo

2024-12-23T10:55:56Z

Author Bertoluzza, Silvia. author. Nochetto, Ricardo H. author. Quarteroni, Alfio. author. Siebert, Kunibert G. author. Veeser, Andreas. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24079-9
Format: Electronic Resources
Availability Online Library~1

Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009

2024-12-23T10:55:56Z

Author Georgoulis, Emmanuil H. editor. Iske, Armin. editor. Levesley, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16876-5
Format: Electronic Resources
Availability Online Library~1

Factors and Factorizations of Graphs Proof Techniques in Factor Theory

2024-12-23T10:55:56Z

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

Mathematica®: A Problem-Centered Approach

2024-12-23T10:55:56Z

Author Hazrat, Roozbeh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-251-3
Format: Electronic Resources
Availability Online Library~1

The q-theory of Finite Semigroups

2024-12-23T10:55:56Z

Author Rhodes, John. author. Steinberg, Benjamin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104443
Format: Electronic Resources
Availability Online Library~1

Mathematical Biology An Introduction with Maple and Matlab

2024-12-23T10:55:56Z

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

Explorations in Monte Carlo Methods

2024-12-23T10:55:56Z

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

Multiscale Methods Averaging and Homogenization

2024-12-23T10:55:56Z

Author Pavliotis, Grigorios A. author. Stuart, Andrew M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73829-1
Format: Electronic Resources
Availability Online Library~1

Finite Model Theory

2024-12-23T10:55:56Z

Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28788-4
Format: Electronic Resources
Availability Online Library~1

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

2024-12-23T10:55:56Z

Author Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36023-9
Format: Electronic Resources
Availability Online Library~1

Notes on Set Theory

2024-12-23T10:55:56Z

Author Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31609-4
Format: Electronic Resources
Availability Online Library~1

Computational Electromagnetics

2024-12-23T10:55:56Z

Author Bondeson, Anders. author. Rylander, Thomas. author. Ingelström, Pär. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136922
Format: Electronic Resources
Availability Online Library~1

Introduction to Partial Differential Equations A Computational Approach

2024-12-23T10:55:56Z

Author Tveito, Aslak. author. Winther, Ragnar. author. Marsden, J.E. editor. Sirovich, L. editor. Golubitsky, M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138016
Format: Electronic Resources
Availability Online Library~1

Graphs, Networks and Algorithms

2024-12-23T10:55:56Z

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

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

2024-12-23T10:55:56Z

Author Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333751.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33789-5
Format: Electronic Resources
Availability Online Library~1

Mixed Finite Element Methods and Applications

2024-12-23T10:55:56Z

Author Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334224.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36519-5
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

2024-12-23T10:55:56Z

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

Inverse Problems and Large-Scale Computations

2024-12-23T10:55:56Z

Author Beilina, Larisa. editor. Shestopalov, Yury V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332788.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00660-4
Format: Electronic Resources
Availability Online Library~1

Spectral Methods Algorithms, Analysis and Applications

2024-12-23T10:55:56Z

Author Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71041-7
Format: Electronic Resources
Availability Online Library~1

Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms

2024-12-23T10:55:56Z

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

Triangulations Structures for Algorithms and Applications

2024-12-23T10:55:56Z

Author Loera, Jesús A. author. Rambau, Jörg. author. Santos, Francisco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12971-1
Format: Electronic Resources
Availability Online Library~1

Computability of Julia Sets

2024-12-23T10:55:56Z

Author Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68547-0
Format: Electronic Resources
Availability Online Library~1

Graphs, Networks and Algorithms

2024-12-23T10:55:56Z

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

Rational Algebraic Curves A Computer Algebra Approach

2024-12-23T10:55:56Z

Author Sendra, J. Rafael. author. Winkler, Franz. author. Pérez-Díaz, Sonia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73725-4
Format: Electronic Resources
Availability Online Library~1

Binary Quadratic Forms An Algorithmic Approach

2024-12-23T10:55:56Z

Author Buchmann, Johannes. author. Vollmer, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-46368-9
Format: Electronic Resources
Availability Online Library~1

Domain Decomposition Methods — Algorithms and Theory

2024-12-23T10:55:56Z

Author Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137868
Format: Electronic Resources
Availability Online Library~1

Graphs, Networks and Algorithms

2024-12-23T10:55:56Z

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

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

2024-12-23T10:55:56Z

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

Topological Derivatives in Shape Optimization

2024-12-23T10:55:56Z

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

General systems theory mathematical foundations

2024-12-23T10:55:56Z

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

An Introduction to Modern Mathematical Computing With Mathematica®

2024-12-23T10:55:56Z

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

An Introduction to Modern Mathematical Computing With Maple™

2024-12-23T10:55:56Z

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

Algorithms and Programming Problems and Solutions

2024-12-23T10:55:56Z

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

Modeling of Curves and Surfaces with MATLAB®

2024-12-23T10:55:56Z

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

Optimization—Theory and Practice

2024-12-23T10:55:56Z

Author Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78977-4
Format: Electronic Resources
Availability Online Library~1

Mathématiques et Technologie

2024-12-23T10:55:56Z

Author Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69213-5
Format: Electronic Resources
Availability Online Library~1

Basic Probability Theory with Applications

2024-12-23T10:55:56Z

Author Lefebvre, Mario. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74995-2
Format: Electronic Resources
Availability Online Library~1

Condition The Geometry of Numerical Algorithms

2024-12-23T10:55:56Z

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

Software for Algebraic Geometry

2024-12-23T10:55:56Z

Author Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78133-4
Format: Electronic Resources
Availability Online Library~1

Model Order Reduction: Theory, Research Aspects and Applications

2024-12-23T10:55:56Z

Author Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78841-6
Format: Electronic Resources
Availability Online Library~1

Wireless Communications

2024-12-23T10:55:56Z

Author Agrawal, Prathima. editor. Fleming, Philip J. editor. Zhang, Lisa. editor. Andrews, Daniel Matthew. editor. Yin, George. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-48945-2
Format: Electronic Resources
Availability Online Library~1

Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004

2024-12-23T10:55:56Z

Author Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3381-8
Format: Electronic Resources
Availability Online Library~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2024-12-23T10:55:56Z

Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources
Availability Online Library~1

Contemporary Cryptology

2024-12-23T10:55:56Z

Author Catalano, Dario. author. Cramer, Ronald. author. Crescenzo, Giovanni. author. Darmgård, Ivan. author. Pointcheval, David. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7394-6
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2024-12-23T10:55:56Z

Author Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89575-8
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2024-12-23T10:55:56Z

Author Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources
Availability Online Library~1

Computational Ship Design

2024-12-23T10:55:56Z

Author Roh, Myung-Il. author. Lee, Kyu-Yeul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4885-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Probability and Stochastic Processes with Applications to Communications

2024-12-23T10:55:56Z

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

Finite Element Concepts A Closed-Form Algebraic Development

2024-12-23T10:55:56Z

Author Dasgupta, Gautam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-7423-8
Format: Electronic Resources
Availability Online Library~1

Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech

2024-12-23T10:55:56Z

Author Datta, Asoke Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7016-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Ahn, Hee-Kap. editor. Shin, Chan-Su. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13075-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources
Availability Online Library~1

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

2024-12-23T10:55:56Z

Author Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12325-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13524-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II

2024-12-23T10:55:56Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and its Applications CSA 2013

2024-12-23T10:55:56Z

Author Jeong, Hwa Young. editor. S. Obaidat, Mohammad. editor. Yen, Neil Y. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-41674-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I

2024-12-23T10:55:56Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources
Availability Online Library~1

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2024-12-23T10:55:56Z

Author Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources
Availability Online Library~1

Cell Formation in Industrial Engineering Theory, Algorithms and Experiments

2024-12-23T10:55:56Z

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

A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis

2024-12-23T10:55:56Z

Author Corless, Robert M. author. Fillion, Nicolas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332417.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8453-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

Model Based Parameter Estimation Theory and Applications

2024-12-23T10:55:56Z

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

A Mathematical Introduction to Compressive Sensing

2024-12-23T10:55:56Z

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

Quantum Attacks on Public-Key Cryptosystems

2024-12-23T10:55:56Z

Author Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330828.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: Electronic Resources
Availability Online Library~1

The Monte Carlo Simulation Method for System Reliability and Risk Analysis

2024-12-23T10:55:56Z

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

Business Intelligence and Performance Management Theory, Systems and Industrial Applications

2024-12-23T10:55:56Z

Author Rausch, Peter. editor. Sheta, Alaa F. editor. Ayesh, Aladdin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331082.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4866-1
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence A Methodological Introduction

2024-12-23T10:55:56Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE(331117.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: Electronic Resources
Availability Online Library~1

Network Geeks How They Built the Internet

2024-12-23T10:55:56Z

Author Carpenter, Brian E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331120.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5025-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

Models and Algorithms for Genome Evolution

2024-12-23T10:55:56Z

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

Fundamentals of Parameterized Complexity

2024-12-23T10:55:56Z

Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331218.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Using FPGAs

2024-12-23T10:55:56Z

Author Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331283.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

Digital Functions and Data Reconstruction Digital-Discrete Methods

2024-12-23T10:55:56Z

Author Chen, Li M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331826.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5638-4
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-12-23T10:55:56Z

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

Conversations About Challenges in Computing

2024-12-23T10:55:56Z

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

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

2024-12-23T10:55:56Z

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

Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013

2024-12-23T10:55:56Z

Author Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Preferred Shelf Number ONLINE(332866.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01439-5
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings

2024-12-23T10:55:56Z

Author Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03536-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 21st International Meshing Roundtable

2024-12-23T10:55:56Z

Author Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333723.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33573-0
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2024-12-23T10:55:56Z

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

Domain Decomposition Methods in Science and Engineering XX

2024-12-23T10:55:56Z

Author Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333957.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35275-1
Format: Electronic Resources
Availability Online Library~1

Structure-Preserving Algorithms for Oscillatory Differential Equations

2024-12-23T10:55:56Z

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

Artificial Boundary Method

2024-12-23T10:55:56Z

Author Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35464-9
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

2024-12-23T10:55:56Z

Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Electronic Resources
Availability Online Library~1

Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures

2024-12-23T10:55:56Z

Author Aufaure, Marie-Aude. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334175.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36318-4
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

2024-12-23T10:55:56Z

Author Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334284.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Electronic Resources
Availability Online Library~1

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2024-12-23T10:55:56Z

Author Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334319.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

2024-12-23T10:55:56Z

Author Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334356.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37067-0
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2024-12-23T10:55:56Z

Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334615.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38527-8
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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2024-12-23T10:55:56Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334653.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38703-6
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334751.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources
Availability Online Library~1

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

2024-12-23T10:55:56Z

Author Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334879.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40020-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

2024-12-23T10:55:56Z

Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334881.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40041-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

2024-12-23T10:55:56Z

Author Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334888.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40084-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

2024-12-23T10:55:56Z

Author Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334893.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40104-6
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Electronic Resources
Availability Online Library~1

Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

2024-12-23T10:55:56Z

Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number ONLINE(334915.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40235-7
Format: Electronic Resources
Availability Online Library~1

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

2024-12-23T10:55:56Z

Author Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40273-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

2024-12-23T10:55:56Z

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

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

2024-12-23T10:55:56Z

Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334929.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40328-6
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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2024-12-23T10:55:56Z

Author Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40450-4
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2024-12-23T10:55:56Z

Author Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334948.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40453-5
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

2024-12-23T10:55:56Z

Author Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335098.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41383-4
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

2024-12-23T10:55:56Z

Author Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335154.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42001-6
Format: Electronic Resources
Availability Online Library~1

Modellbildung und Simulation Eine anwendungsorientierte Einführung

2024-12-23T10:55:56Z

Author Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337284.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37656-6
Format: Electronic Resources
Availability Online Library~1

Neuromathematik und Assoziativmaschinen

2024-12-23T10:55:56Z

Author Bentz, Hans-Joachim. author. Dierks, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337305.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37938-3
Format: Electronic Resources
Availability Online Library~1

Elementare Kombinatorik für die Informatik Abzählungen, Differenzengleichungen, diskretes Differenzieren und Integrieren

2024-12-23T10:55:56Z

Author Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337657.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00994-6
Format: Electronic Resources
Availability Online Library~1

Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen

2024-12-23T10:55:56Z

Author Abts, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338386.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2535-3
Format: Electronic Resources
Availability Online Library~1

Optimization Approaches for Solving String Selection Problems

2024-12-23T10:55:56Z

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

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2024-12-23T10:55:56Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
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

2024-12-23T10:55:56Z

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

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2024-12-23T10:55:56Z

Author Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02786-9
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

2024-12-23T10:55:56Z

Author Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332983.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03578-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

2024-12-23T10:55:56Z

Author Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

2024-12-23T10:55:56Z

Author Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332997.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2024-12-23T10:55:56Z

Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources
Availability Online Library~1

Scientific Computing and Cultural Heritage Contributions in Computational Humanities

2024-12-23T10:55:56Z

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

Uncertain Fuzzy Preference Relations and Their Applications

2024-12-23T10:55:56Z

Author Gong, Zaiwu. author. Lin, Yi. author. Yao, Tianxiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333185.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-28448-9
Format: Electronic Resources
Availability Online Library~1

Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures

2024-12-23T10:55:56Z

Author Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333575.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32448-2
Format: Electronic Resources
Availability Online Library~1

Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012

2024-12-23T10:55:56Z

Author Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number ONLINE(333577.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32454-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to Inverse Problems with Applications

2024-12-23T10:55:56Z

Author Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333595.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32557-1
Format: Electronic Resources
Availability Online Library~1

Meshfree Methods for Partial Differential Equations VI

2024-12-23T10:55:56Z

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

The Finite Element Method: Theory, Implementation, and Applications

2024-12-23T10:55:56Z

Author Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333689.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33287-6
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

2024-12-23T10:55:56Z

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

Automation, Communication and Cybernetics in Science and Engineering 2011/2012

2024-12-23T10:55:56Z

Author Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333703.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33389-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

2024-12-23T10:55:56Z

Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334048.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35786-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334268.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36694-9
Format: Electronic Resources
Availability Online Library~1

Financial Modeling A Backward Stochastic Differential Equations Perspective

2024-12-23T10:55:56Z

Author Crépey, Stéphane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334364.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37113-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2024-12-23T10:55:56Z

Author Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334383.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37198-1
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2012

2024-12-23T10:55:56Z

Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number ONLINE(334411.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective

2024-12-23T10:55:56Z

Author Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334558.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38215-4
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings

2024-12-23T10:55:56Z

Author Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38221-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

2024-12-23T10:55:56Z

Author Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334563.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38233-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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

Author Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334587.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

2024-12-23T10:55:56Z

Author Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334516.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38016-7
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2024-12-23T10:55:56Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

Cognitive Agent-based Computing-I A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods

2024-12-23T10:55:56Z

Author Niazi, Muaz A. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335723.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-3852-2
Format: Electronic Resources
Availability Online Library~1

MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers

2024-12-23T10:55:56Z

Author Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.
Preferred Shelf Number ONLINE(336174.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6143-8
Format: Electronic Resources
Availability Online Library~1

The 3rd International Workshop on Intelligent Data Analysis and Management

2024-12-23T10:55:56Z

Author Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Preferred Shelf Number ONLINE(336358.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-7293-9
Format: Electronic Resources
Availability Online Library~1

Praktische Mathematik mit MATLAB, Scilab und Octave für Ingenieure und Naturwissenschaftler

2024-12-23T10:55:56Z

Author Thuselt, Frank. author. Gennrich, Felix Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336924.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-25825-1
Format: Electronic Resources
Availability Online Library~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2024-12-23T10:55:56Z

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

Diskrete Mathematik: Geordnete Mengen

2024-12-23T10:55:56Z

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

Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

2024-12-23T10:55:56Z

Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337312.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37972-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen

2024-12-23T10:55:56Z

Author Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337446.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00189-6
Format: Electronic Resources
Availability Online Library~1

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

2024-12-23T10:55:56Z

Author Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337828.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-01588-6
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2024-12-23T10:55:56Z

Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330882.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2024-12-23T10:55:56Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330901.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources
Availability Online Library~1

Polyhedral and Algebraic Methods in Computational Geometry

2024-12-23T10:55:56Z

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

Multiscale Signal Analysis and Modeling

2024-12-23T10:55:56Z

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

State Space Grids Depicting Dynamics Across Development

2024-12-23T10:55:56Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2024-12-23T10:55:56Z

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

Particle Filters for Random Set Models

2024-12-23T10:55:56Z

Author Ristic, Branko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332002.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6316-0
Format: Electronic Resources
Availability Online Library~1

Nonlinear Optimization Applications Using the GAMS Technology

2024-12-23T10:55:56Z

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

Search Theory A Game Theoretic Perspective

2024-12-23T10:55:56Z

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

Uncertainty Quantification in Computational Fluid Dynamics

2024-12-23T10:55:56Z

Author Bijl, Hester. editor. Lucor, Didier. editor. Mishra, Siddhartha. editor. Schwab, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332813.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00885-1
Format: Electronic Resources
Availability Online Library~1

Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems

2024-12-23T10:55:56Z

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

Space-Filling Curves An Introduction with Applications in Scientific Computing

2024-12-23T10:55:56Z

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

Sparse Grids and Applications

2024-12-23T10:55:56Z

Author Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333475.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31703-3
Format: Electronic Resources
Availability Online Library~1

New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systems

2024-12-23T10:55:56Z

Author Oltramari, Alessandro. editor. Vossen, Piek. editor. Qin, Lu. editor. Hovy, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333489.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31782-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Geometric Algebra Computing

2024-12-23T10:55:56Z

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

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2024-12-23T10:55:56Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

2024-12-23T10:55:56Z

Author Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334112.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36065-7
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

2024-12-23T10:55:56Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334657.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38715-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T10:55:56Z

Author Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334663.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Electronic Resources
Availability Online Library~1

Advanced Computing

2024-12-23T10:55:56Z

Author Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334664.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38762-3
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2024-12-23T10:55:56Z

Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334665.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38768-5
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

2024-12-23T10:55:56Z

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

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

2024-12-23T10:55:56Z

Author Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334695.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38905-4
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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

Erdős Centennial

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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

2024-12-23T10:55:56Z

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, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-12-23T10:55:56Z

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

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

2024-12-23T10:55:56Z

Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335036.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40988-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

2024-12-23T10:55:56Z

Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335037.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40991-2
Format: Electronic Resources
Availability Online Library~1