Search Results for Mathematics.

301.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

302.

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

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

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:

Availability

Online Library~1

Available:
Copies:

303.

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

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

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:

Availability

Online Library~1

Available:
Copies:

304.

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

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:

Availability

Online Library~1

Available:
Copies:

305.

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

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

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:

Availability

Online Library~1

Available:
Copies:

306.

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

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:

Availability

Online Library~1

Available:
Copies:

307.

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

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

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:

Availability

Online Library~1

Available:
Copies:

308.

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

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

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:

Availability

Online Library~1

Available:
Copies:

309.

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

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

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:

Availability

Online Library~1

Available:
Copies:

310.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

311.

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

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

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:

Availability

Online Library~1

Available:
Copies:

312.

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

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:

Availability

Online Library~1

Available:
Copies:

313.

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

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:

Availability

Online Library~1

Available:
Copies:

314.

Algorithmen und Datenstrukturen

Author

Weicker, Karsten. author. Weicker, Nicole. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338312.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-2074-7

Format:

Availability

Online Library~1

Available:
Copies:

315.

Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen

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:

Availability

Online Library~1

Available:
Copies:

316.

Parallele Programmierung

Author

Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13604-7

Format:

Availability

Online Library~1

Available:
Copies:

317.

Pen-and-Paper User Interfaces Integrating Printed and Digital Documents

Author

Steimle, Jürgen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20276-6

Format:

Availability

Online Library~1

Available:
Copies:

318.

Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics

Author

Buljak, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22703-5

Format:

Availability

Online Library~1

Available:
Copies:

319.

Abgründe der Informatik Geheimnisse und Gemeinheiten

Author

Potton, Alois. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22975-6

Format:

Availability

Online Library~1

Available:
Copies:

320.

Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book

Author

Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23099-8

Format:

Availability

Online Library~1

Available:
Copies:

321.

Fractional Order Signal Processing Introductory Concepts and Applications

Author

Das, Saptarshi. author. Pan, Indranil. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23117-9

Format:

Availability

Online Library~1

Available:
Copies:

322.

Cover image for Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany

Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany

Author

Bischof, Christian. editor. Hegering, Heinz-Gerd. editor. Nagel, Wolfgang E. editor. Wittum, Gabriel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24025-6

Format:

Availability

Online Library~1

Available:
Copies:

323.

LaTeX and Friends

Author

van Dongen, M. R. C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23816-1

Format:

Availability

Online Library~1

Available:
Copies:

324.

Combinatorial Optimization Theory and Algorithms

Author

Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24488-9

Format:

Availability

Online Library~1

Available:
Copies:

325.

Boolean Function Complexity Advances and Frontiers

Author

Jukna, Stasys. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24508-4

Format:

Availability

Online Library~1

Available:
Copies:

326.

Thermo-Hydro-Mechanical-Chemical Processes in Porous Media Benchmarks and Examples

Author

Kolditz, Olaf. editor. Görke, Uwe-Jens. editor. Shao, Hua. editor. Wang, Wenqing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27177-9

Format:

Availability

Online Library~1

Available:
Copies:

327.

Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28525-7

Format:

Availability

Online Library~1

Available:
Copies:

328.

Loewy Decomposition of Linear Differential Equations

Author

Schwarz, Fritz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7091-1286-1

Format:

Availability

Online Library~1

Available:
Copies:

329.

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

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

Author

Rothe, Jörg. author. Baumeister, Dorothea. author. Lindner, Claudia. author. Rothe, Irene. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2571-3

Format:

Availability

Online Library~1

Available:
Copies:

330.

Mathematik für Informatiker Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben

Author

Schubert, Matthias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-1995-6

Format:

Availability

Online Library~1

Available:
Copies:

331.

Mathematik für Informatiker Ein praxisbezogenes Lehrbuch

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-2002-0

Format:

Availability

Online Library~1

Available:
Copies:

332.

Cover image for Computational Intelligence Eine methodische Einführung in Künstliche Neuronale Netze, Evolutionäre Algorithmen, Fuzzy-Systeme und Bayes-Netze

Computational Intelligence Eine methodische Einführung in Künstliche Neuronale Netze, Evolutionäre Algorithmen, Fuzzy-Systeme und Bayes-Netze

Author

Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Ruß, Georg. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-8299-8

Format:

Availability

Online Library~1

Available:
Copies:

333.

Curves and Surfaces

Author

Abate, Marco. author. Tovena, Francesca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1941-6

Format:

Availability

Online Library~1

Available:
Copies:

334.

Modern Optimization Techniques with Applications in Electric Power Systems

Author

Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1752-1

Format:

Availability

Online Library~1

Available:
Copies:

335.

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

Author

Scholz, Daniel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1951-8

Format:

Availability

Online Library~1

Available:
Copies:

336.

Pyomo – Optimization Modeling in Python

Author

Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3226-5

Format:

Availability

Online Library~1

Available:
Copies:

337.

Cover image for Similarity and Modeling in Science and Engineering

Author

Kuneš, Josef. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-907343-78-0

Format:

Availability

Online Library~1

Available:
Copies:

338.

Shearlets Multiscale Analysis for Multivariate Data

Author

Kutyniok, Gitta. editor. Labate, Demetrio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8316-0

Format:

Availability

Online Library~1

Available:
Copies:

339.

Sets, Logic and Maths for Computing

Author

Makinson, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2500-6

Format:

Availability

Online Library~1

Available:
Copies:

340.

Matrix Transforms for Computer Games and Animation

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4321-5

Format:

Availability

Online Library~1

Available:
Copies:

341.

Computational Cancer Biology An Interaction Network Approach

Author

Vidyasagar, Mathukumalli. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4751-0

Format:

Availability

Online Library~1

Available:
Copies:

342.

Soft Computing Methods for Microwave and Millimeter-Wave Design Problems

Author

Chauhan, Narendra. author. Kartikeyan, Machavaram. author. Mittal, Ankush. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25563-2

Format:

Availability

Online Library~1

Available:
Copies:

343.

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

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

Author

Bock, Hans Georg. editor. Hoang, Xuan Phu. editor. Rannacher, Rolf. editor. Schlöder, Johannes P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25707-0

Format:

Availability

Online Library~1

Available:
Copies:

344.

The Science of Cities and Regions Lectures on Mathematical Model Design

Author

Wilson, Alan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2266-8

Format:

Availability

Online Library~1

Available:
Copies:

345.

A Brief History of Computing

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2359-0

Format:

Availability

Online Library~1

Available:
Copies:

346.

Stochastic Reachability Analysis of Hybrid Systems

Author

Bujorianu, Luminita Manuela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2795-6

Format:

Availability

Online Library~1

Available:
Copies:

347.

Éléments de théorie des graphes

Author

Bretto, Alain. author. Faisant, Alain. author. Hennecart, François. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-8178-0281-7

Format:

Availability

Online Library~1

Available:
Copies:

348.

Das Studium: Vom Start zum Ziel Lei(d)tfaden für Studierende

Author

Messing, Barbara. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20651-1

Format:

Availability

Online Library~1

Available:
Copies:

349.

Proceedings of the 20th International Meshing Roundtable

Author

Quadros, William Roshan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24734-7

Format:

Availability

Online Library~1

Available:
Copies:

350.

Kombinatorische Optimierung Theorie und Algorithmen

Author

Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25401-7

Format:

Availability

Online Library~1

Available:
Copies:

351.

Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

Author

Jónasson, Kristján. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28145-7

Format:

Availability

Online Library~1

Available:
Copies:

352.

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

Author

Jónasson, Kristján. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28151-8

Format:

Availability

Online Library~1

Available:
Copies:

353.

The Cinderella.2 Manual Working with The Interactive Geometry Software

Author

Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-34926-6

Format:

Availability

Online Library~1

Available:
Copies:

354.

Utility Maximization in Nonconvex Wireless Systems

Author

Brehmer, Johannes. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17438-4

Format:

Availability

Online Library~1

Available:
Copies:

355.

CGAL Arrangements and Their Applications A Step-by-Step Guide

Author

Fogel, Efi. author. Halperin, Dan. author. Wein, Ron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17283-0

Format:

Availability

Online Library~1

Available:
Copies:

356.

Cover image for Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009

Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009

Author

Engquist, Björn. editor. Runborg, Olof. editor. Tsai, Yen-Hsi R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21943-6

Format:

Availability

Online Library~1

Available:
Copies:

357.

Numerical Analysis of Multiscale Problems

Author

Graham, Ivan G. editor. Hou, Thomas Y. editor. Lakkis, Omar. editor. Scheichl, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22061-6

Format:

Availability

Online Library~1

Available:
Copies:

358.

High Performance Computing on Vector Systems 2011

Author

Resch, Michael. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22244-3

Format:

Availability

Online Library~1

Available:
Copies:

359.

IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste

Author

Barthelmeß, Ulrike. author. Furbach, Ulrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22928-2

Format:

Availability

Online Library~1

Available:
Copies:

360.

Cover image for High Performance Computing in Science and Engineering '11 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011

High Performance Computing in Science and Engineering '11 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011

Author

Nagel, Wolfgang E. editor. Kröner, Dietmar B. editor. Resch, Michael M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23869-7

Format:

Availability

Online Library~1

Available:
Copies:

361.

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

Author

Balas, Egon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23921-2

Format:

Availability

Online Library~1

Available:
Copies:

362.

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

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

Author

Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28926-2

Format:

Availability

Online Library~1

Available:
Copies:

363.

Cover image for Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

Author

Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34961-4

Format:

Availability

Online Library~1

Available:
Copies:

364.

Numerical Analysis

Author

Gautschi, Walter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8259-0

Format:

Availability

Online Library~1

Available:
Copies:

365.

The Universal Machine From the Dawn of Computing to Digital Consciousness

Author

Watson, Ian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28102-0

Format:

Availability

Online Library~1

Available:
Copies:

366.

Recent Advances in Algorithmic Differentiation

Author

Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30023-3

Format:

Availability

Online Library~1

Available:
Copies:

367.

A Primer on Scientific Programming with Python

Author

Langtangen, Hans Petter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30293-0

Format:

Availability

Online Library~1

Available:
Copies:

368.

Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30397-5

Format:

Availability

Online Library~1

Available:
Copies:

369.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Author

Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31612-8

Format:

Availability

Online Library~1

Available:
Copies:

370.

Nonlinear Flow Phenomena and Homotopy Analysis Fluid Flow and Heat Transfer

Author

Vajravelu, Kuppalapalle. author. Gorder, Robert A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32102-3

Format:

Availability

Online Library~1

Available:
Copies:

371.

Computational Methods for Physicists Compendium for Students

Author

Sirca, Simon. author. Horvat, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32478-9

Format:

Availability

Online Library~1

Available:
Copies:

372.

Cover image for Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings

Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings

Author

Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34266-0

Format:

Availability

Online Library~1

Available:
Copies:

373.

Logic: A Brief Course

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2361-1

Format:

Availability

Online Library~1

Available:
Copies:

374.

Crittografia nel Paese delle Meraviglie

Author

Venturi, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2481-6

Format:

Availability

Online Library~1

Available:
Copies:

375.

M8.0 Wenchuan Earthquake

Author

Xing, Huilin. author. Xu, Xiwei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01901-2

Format:

Availability

Online Library~1

Available:
Copies:

376.

Domain Decomposition Methods in Science and Engineering XIX

Author

Huang, Yunqing. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11304-8

Format:

Availability

Online Library~1

Available:
Copies:

377.

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

Author

Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11682-7

Format:

Availability

Online Library~1

Available:
Copies:

378.

Mathematische Probleme lösen mit Maple Ein Kurzeinstieg

Author

Westermann, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12151-7

Format:

Availability

Online Library~1

Available:
Copies:

379.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

Author

Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13606-1

Format:

Availability

Online Library~1

Available:
Copies:

380.

Parallel Computational Fluid Dynamics 2008 Parallel Numerical Methods, Software Development and Applications

Author

Tromeur-Dervout, Damien. editor. Brenner, Gunther. editor. Emerson, David R. editor. Erhel, Jocelyne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14438-7

Format:

Availability

Online Library~1

Available:
Copies:

381.

Multicriteria Analysis Applications to Water and Environment Management

Author

Zarghami, Mahdi. author. Szidarovszky, Ferenc. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17937-2

Format:

Availability

Online Library~1

Available:
Copies:

382.

Integral and Diagnostic Intrusive Prediction of Speech Quality

Author

Côté, Nicolas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-18463-5

Format:

Availability

Online Library~1

Available:
Copies:

383.

Fundamentals of Scientific Computing

Author

Gustafsson, Bertil. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19495-5

Format:

Availability

Online Library~1

Available:
Copies:

384.

Geometric Structure of High-Dimensional Data and Dimensionality Reduction

Author

Wang, Jianzhong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27497-8

Format:

Availability

Online Library~1

Available:
Copies:

385.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2560-7

Format:

Availability

Online Library~1

Available:
Copies:

386.

Didaktik der Informatik

Author

Schubert, Sigrid. author. Schwill, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2653-6

Format:

Availability

Online Library~1

Available:
Copies:

387.

Effizient im Studium Das Potenzial von Computer und Software richtig nutzen

Author

Matthäus, Wolf-Gert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-8108-3

Format:

Availability

Online Library~1

Available:
Copies:

388.

Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen Eine Einführung

Author

Meinel, Christoph. author. Mundhenk, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-8125-0

Format:

Availability

Online Library~1

Available:
Copies:

389.

Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control

Author

Kirches, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-8202-8

Format:

Availability

Online Library~1

Available:
Copies:

390.

Logica: Metodo Breve

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1884-6

Format:

Availability

Online Library~1

Available:
Copies:

391.

Analysis and Control of Boolean Networks A Semi-tensor Product Approach

Author

Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-097-7

Format:

Availability

Online Library~1

Available:
Copies:

392.

Rotation Transforms for Computer Graphics

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-154-7

Format:

Availability

Online Library~1

Available:
Copies:

393.

Computational Optimization of Internal Combustion Engines

Author

Shi, Yu. author. Ge, Hai-Wen. author. Reitz, Rolf D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-619-1

Format:

Availability

Online Library~1

Available:
Copies:

394.

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

Author

Böttcher, Guido. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-935-2

Format:

Availability

Online Library~1

Available:
Copies:

395.

Approximation and Computation In Honor of Gradimir V. Milovanović

Author

Gautschi, Walter. editor. Mastroianni, Giuseppe. editor. Rassias, Themistocles M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6594-3

Format:

Availability

Online Library~1

Available:
Copies:

396.

Fractional Calculus for Scientists and Engineers

Author

Ortigueira, Manuel Duarte. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0747-4

Format:

Availability

Online Library~1

Available:
Copies:

397.

Dot-Dash to Dot.Com How Modern Telecommunications Evolved from the Telegraph to the Internet

Author

Wheen, Andrew. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6760-2

Format:

Availability

Online Library~1

Available:
Copies:

398.

Handbook of Open Source Tools

Author

Koranne, Sandeep. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7719-9

Format:

Availability

Online Library~1

Available:
Copies:

399.

Mathematical Logic and Model Theory A Brief Introduction

Author

Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2176-3

Format:

Availability

Online Library~1

Available:
Copies:

400.

Scalable Network Monitoring in High Speed Networks

Author

Choi, Baek-Young. author. Zhang, Zhi-Li. author. Du, David Hung-Chang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-0119-3

Format:

Availability

Online Library~1

Available:
Copies:

401.

Die Keplersche Vermutung Wie Mathematiker ein 400 Jahre altes Rätsel lösten

Author

Szpiro, George G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12741-0

Format:

Availability

Online Library~1

Available:
Copies:

402.

Datum und Kalender Von der Antike bis zur Gegenwart

Author

Görke, Winfried. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13148-6

Format:

Availability

Online Library~1

Available:
Copies:

403.

Cover image for Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway

Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway

Author

Hesthaven, Jan S. editor. Rønquist, Einar M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15337-2

Format:

Availability

Online Library~1

Available:
Copies:

404.

Viability Theory New Directions

Author

Aubin, Jean-Pierre. author. Bayen, Alexandre M. author. Saint-Pierre, Patrick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16684-6

Format:

Availability

Online Library~1

Available:
Copies:

405.

Cover image for High Performance Computing in Science and Engineering '10 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010

High Performance Computing in Science and Engineering '10 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010

Author

Nagel, Wolfgang E. editor. Kröner, Dietmar B. editor. Resch, Michael M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15748-6

Format:

Availability

Online Library~1

Available:
Copies:

406.

Automation, Communication and Cybernetics in Science and Engineering 2009/2010

Author

Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Henning, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16208-4

Format:

Availability

Online Library~1

Available:
Copies:

407.

Meshfree Methods for Partial Differential Equations V

Author

Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16229-9

Format:

Availability

Online Library~1

Available:
Copies:

408.

Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16233-6

Format:

Availability

Online Library~1

Available:
Copies:

409.

The Linear Ordering Problem Exact and Heuristic Methods in Combinatorial Optimization

Author

Martí, Rafael. author. Reinelt, Gerhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16729-4

Format:

Availability

Online Library~1

Available:
Copies:

410.

Cover image for Informatics in Schools. Contributing to 21st Century Education 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011. Proceedings

Informatics in Schools. Contributing to 21st Century Education 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011. Proceedings

Author

Kalaš, Ivan. editor. Mittermeir, Roland T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24722-4

Format:

Availability

Online Library~1

Available:
Copies:

411.

Cover image for Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings

Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings

Author

Lee, Dong Hoon. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25385-0

Format:

Availability

Online Library~1

Available:
Copies:

412.

Multiscale Methods in Computational Mechanics Progress and Accomplishments

Author

Borst, René. editor. Ramm, Ekkehard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9809-2

Format:

Availability

Online Library~1

Available:
Copies:

413.

Computational Modelling and Advanced Simulations

Author

Murín, Justín. editor. Kompiš, Vladimír. editor. Kutiš, Vladimír. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0317-9

Format:

Availability

Online Library~1

Available:
Copies:

414.

Methods of Cut-Elimination

Author

Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0320-9

Format:

Availability

Online Library~1

Available:
Copies:

415.

Extremal Combinatorics With Applications in Computer Science

Author

Jukna, Stasys. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17364-6

Format:

Availability

Online Library~1

Available:
Copies:

416.

A Primer on Scientific Programming with Python

Author

Langtangen, Hans Petter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-18366-9

Format:

Availability

Online Library~1

Available:
Copies:

417.

Functional Fractional Calculus

Author

Das, Shantanu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20545-3

Format:

Availability

Online Library~1

Available:
Copies:

418.

Linear and Nonlinear Integral Equations Methods and Applications

Author

Wazwaz, Abdul-Majid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21449-3

Format:

Availability

Online Library~1

Available:
Copies:

419.

Green IT: Technologies and Applications

Author

Kim, Jae H. editor. Lee, Myung J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22179-8

Format:

Availability

Online Library~1

Available:
Copies:

420.

Cover image for Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

Author

Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22182-8

Format:

Availability

Online Library~1

Available:
Copies:

421.

Apartness and Uniformity A Constructive Development

Author

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22415-7

Format:

Availability

Online Library~1

Available:
Copies:

422.

Possibility for Decision A Possibilistic Approach to Real Life Decisions

Author

Carlsson, Christer. author. Fullér, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22642-7

Format:

Availability

Online Library~1

Available:
Copies:

423.

Cover image for Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings

Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings

Author

Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25280-8

Format:

Availability

Online Library~1

Available:
Copies:

424.

Probability Measures on Semigroups Convolution Products, Random Walks and Random Matrices

Author

Högnäs, Göran. author. Mukherjea, Arunava. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-77548-7

Format:

Availability

Online Library~1

Available:
Copies:

425.

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Author

Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-446-3

Format:

Availability

Online Library~1

Available:
Copies:

426.

Numerische Mathematik Eine Einführung anhand von Differentialgleichungsproblemen Band 2: Instationäre Probleme

Author

Zulehner, Walter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8429-6

Format:

Availability

Online Library~1

Available:
Copies:

427.

Grundkurs Mobile Kommunikationssysteme UMTS, HSDPA und LTE, GSM, GPRS und Wireless LAN

Author

Sauter, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9828-9

Format:

Availability

Online Library~1

Available:
Copies:

428.

Dual Tableaux: Foundations, Methodology, Case Studies

Author

Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0005-5

Format:

Availability

Online Library~1

Available:
Copies:

429.

Computational Vision and Medical Image Processing Recent Trends

Author

Tavares, João Manuel R. S. editor. Jorge, R. M. Natal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0011-6

Format:

Availability

Online Library~1

Available:
Copies:

430.

Bayesian Theory and Methods with Applications

Author

Savchuk, Vladimir. author. Tsokos, Chris P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-14-5

Format:

Availability

Online Library~1

Available:
Copies:

431.

Wissenschaftliches Rechnen

Author

Strang, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78495-1

Format:

Availability

Online Library~1

Available:
Copies:

432.

Proofs from THE BOOK

Author

Aigner, Martin. author. Ziegler, Günter M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00856-6

Format:

Availability

Online Library~1

Available:
Copies:

433.

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

Author

Steland, Ansgar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02667-6

Format:

Availability

Online Library~1

Available:
Copies:

434.

Cover image for High Performance Computing in Science and Engineering '09 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2009

High Performance Computing in Science and Engineering '09 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2009

Author

Nagel, Wolfgang E. editor. Kröner, Dietmar B. editor. Resch, Michael M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04665-0

Format:

Availability

Online Library~1

Available:
Copies:

435.

Discrete, Continuous, and Hybrid Petri Nets

Author

David, René. author. Alla, Hassane. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10669-9

Format:

Availability

Online Library~1

Available:
Copies:

436.

Elements of Scientific Computing

Author

Tveito, Aslak. author. Langtangen, Hans Petter. author. Nielsen, Bjørn Frederik. author. Cai, Xing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11299-7

Format:

Availability

Online Library~1

Available:
Copies:

437.

Cover image for Teaching Fundamentals Concepts of Informatics 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings

Teaching Fundamentals Concepts of Informatics 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings

Author

Hromkovič, Juraj. editor. Královič, Richard. editor. Vahrenhold, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11376-5

Format:

Availability

Online Library~1

Available:
Copies:

438.

Transactions on Computational Science VII

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11389-5

Format:

Availability

Online Library~1

Available:
Copies:

439.

MATLAB R2009, SIMULINK et STATEFLOW pour Ingénieurs, Chercheurs et Etudiants

Author

Martaj, Nadia. author. Mokhtari, Mohand. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11764-0

Format:

Availability

Online Library~1

Available:
Copies:

440.

High Performance Computing on Vector Systems 2010

Author

Resch, Michael. editor. Benkert, Katharina. editor. Wang, Xin. editor. Galle, Martin. editor. Bez, Wolfgang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11851-7

Format:

Availability

Online Library~1

Available:
Copies:

441.

Scientific Computing with MATLAB and Octave

Author

Quarteroni, Alfio. author. Saleri, Fausto. author. Gervasio, Paola. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12430-3

Format:

Availability

Online Library~1

Available:
Copies:

442.

Fete of Combinatorics and Computer Science

Author

Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13580-4

Format:

Availability

Online Library~1

Available:
Copies:

443.

Fluid Structure Interaction II Modelling, Simulation, Optimization

Author

Bungartz, Hans-Joachim. editor. Mehl, Miriam. editor. Schäfer, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14206-2

Format:

Availability

Online Library~1

Available:
Copies:

444.

Geometry Our Cultural Heritage

Author

Holme, Audun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14441-7

Format:

Availability

Online Library~1

Available:
Copies:

445.

Cover image for Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings

Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings

Author

Alpcan, Tansu. editor. Buttyán, Levente. editor. Baras, John S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17197-0

Format:

Availability

Online Library~1

Available:
Copies:

446.

Graphen- und Netzwerkoptimierung

Author

Büsing, Christina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2423-5

Format:

Availability

Online Library~1

Available:
Copies:

447.

Cover image for Grundkurs Programmieren mit Delphi Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen

Grundkurs Programmieren mit Delphi Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen

Author

Matthäus, Wolf-Gert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9358-1

Format:

Availability

Online Library~1

Available:
Copies:

448.

Cover image for Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker

Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker

Author

Logofătu, Doina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9382-6

Format:

Availability

Online Library~1

Available:
Copies:

449.

Sicherheit und Kryptographie im Internet Von sicherer E-Mail bis zu IP-Verschlüsselung

Author

Schwenk, Jörg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9665-0

Format:

Availability

Online Library~1

Available:
Copies:

450.

Cover image for Mathematik für Ingenieure und Naturwissenschaftler Klausur- und Übungsaufgaben 632 Aufgaben mit ausföhrlichen Lösungen zum Selbststudium und zur Pröfungsvorbereitung

Mathematik für Ingenieure und Naturwissenschaftler Klausur- und Übungsaufgaben 632 Aufgaben mit ausföhrlichen Lösungen zum Selbststudium und zur Pröfungsvorbereitung

Author

Papula, Lothar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9730-5

Format:

Availability

Online Library~1

Available:
Copies:

451.

Calcul Scientifique Cours, exercices corrigés et illustrations en MATLAB et Octave

Author

Quarteroni, Alfio. author. Gervasio, Paola. author. Saleri, Fausto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1676-7

Format:

Availability

Online Library~1

Available:
Copies:

452.

Matematica Numerica Esercizi, Laboratori e Progetti

Author

D’Angelo, Carlo. author. Quarteroni, Alfio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1640-8

Format:

Availability

Online Library~1

Available:
Copies:

453.

Algorithmic Randomness and Complexity

Author

Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68441-3

Format:

Availability

Online Library~1

Available:
Copies:

454.

Programming Finite Elements in Java™

Author

Nikishkov, Gennadiy. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-972-5

Format:

Availability

Online Library~1

Available:
Copies:

455.

Computational Methods in Biometric Authentication Statistical Methods for Performance Evaluation

Author

Schuckers, Michael E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-202-5

Format:

Availability

Online Library~1

Available:
Copies:

456.

Handbook of Floating-Point Arithmetic

Author

Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4705-6

Format:

Availability

Online Library~1

Available:
Copies:

457.

Introducing Monte Carlo Methods with R

Author

Robert, Christian. author. Casella, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1576-4

Format:

Availability

Online Library~1

Available:
Copies:

458.

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

Author

Triantaphyllou, Evangelos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1630-3

Format:

Availability

Online Library~1

Available:
Copies:

459.

Complex Intelligent Systems and Their Applications

Author

Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1636-5

Format:

Availability

Online Library~1

Available:
Copies:

460.

Cover image for Estimating Impact A Handbook of Computational Methods and Models for Anticipating Economic, Social, Political and Security Effects in International Interventions

Estimating Impact A Handbook of Computational Methods and Models for Anticipating Economic, Social, Political and Security Effects in International Interventions

Author

Kott, Alexander. editor. Citrenbaum, Gary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6235-5

Format:

Availability

Online Library~1

Available:
Copies:

461.

Discrete Calculus Applied Analysis on Graphs for Computational Science

Author

Grady, Leo J. author. Polimeni, Jonathan R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-290-2

Format:

Availability

Online Library~1

Available:
Copies:

462.

Network Science Complexity in Nature and Technology

Author

Estrada, Ernesto. editor. Fox, Maria. editor. Higham, Desmond J. editor. Oppo, Gian-Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-396-1

Format:

Availability

Online Library~1

Available:
Copies:

463.

Grundkurs JAVA Von den Grundlagen bis zu Datenbankund Netzanwendungen

Author

Abts, Dietmar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9747-3

Format:

Availability

Online Library~1

Available:
Copies:

464.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1221-3

Format:

Availability

Online Library~1

Available:
Copies:

465.

Applied Probability

Author

Lange, Kenneth. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7165-4

Format:

Availability

Online Library~1

Available:
Copies:

466.

Optimisation combinatoire Théorie et algorithmes

Author

Korte, Bernhard. author. Vygen, Jens. author. Fonlupt, Jean. author. Skoda, Alexandre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-287-99037-3

Format:

Availability

Online Library~1

Available:
Copies:

467.

Codes and Turbo Codes

Author

Berrou, Claude. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-8178-0039-4

Format:

Availability

Online Library~1

Available:
Copies:

468.

An Operator Perspective on Signals and Systems

Author

Frazho, Arthur E. author. Bhosri, Wisuwat. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0292-1

Format:

Availability

Online Library~1

Available:
Copies:

469.

Introduction to Hyperfunctions and Their Integral Transforms An Applied and Computational Approach

Author

Graf, Urs. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0408-6

Format:

Availability

Online Library~1

Available:
Copies:

470.

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

Author

Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79384-7

Format:

Availability

Online Library~1

Available:
Copies:

471.

Das BUCH der Beweise

Author

Aigner, Martin. author. Ziegler, Günter M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02259-3

Format:

Availability

Online Library~1

Available:
Copies:

472.

Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForum

Author

Bauer, Friedrich L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02992-9

Format:

Availability

Online Library~1

Available:
Copies:

473.

Advanced Computational Methods in Science and Engineering

Author

Koren, Barry. editor. Vuik, Kees. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03344-5

Format:

Availability

Online Library~1

Available:
Copies:

474.

High Performance Computing on Vector Systems 2009

Author

Resch, Michael. editor. Roller, Sabine. editor. Benkert, Katharina. editor. Galle, Martin. editor. Bez, Wolfgang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03913-3

Format:

Availability

Online Library~1

Available:
Copies:

475.

Cover image for High Performance Computing in Science and Engineering, Garching/Munich 2009 Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

High Performance Computing in Science and Engineering, Garching/Munich 2009 Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

Author

Wagner, Siegfried. editor. Steinmetz, Matthias. editor. Bode, Arndt. editor. Müller, Markus Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13872-0

Format:

Availability

Online Library~1

Available:
Copies:

476.

Et voilà i robot Etica ed estetica nell’era delle macchine

Author

Bonifati, Nunzia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1581-4

Format:

Availability

Online Library~1

Available:
Copies:

477.

Grid Generation Methods

Author

Liseikin, Vladimir D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-2912-6

Format:

Availability

Online Library~1

Available:
Copies:

478.

Spectral Methods for Uncertainty Quantification With Applications to Computational Fluid Dynamics

Author

Le Maître, O. P. author. Knio, Omar M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3520-2

Format:

Availability

Online Library~1

Available:
Copies:

479.

Computational Modeling in Biomechanics

Author

De, Suvranu. editor. Guilak, Farshid. editor. Mofrad R. K., Mohammad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3575-2

Format:

Availability

Online Library~1

Available:
Copies:

480.

Quantum Neural Computation

Author

Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3350-5

Format:

Availability

Online Library~1

Available:
Copies:

481.

e-Democracy A Group Decision and Negotiation Perspective

Author

Rios Insua, David. editor. French, Simon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9045-4

Format:

Availability

Online Library~1

Available:
Copies:

482.

Cover image for Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings

Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings

Author

Abe, Masayuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17373-8

Format:

Availability

Online Library~1

Available:
Copies:

483.

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

Author

Christensen, Ole. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4980-7

Format:

Availability

Online Library~1

Available:
Copies:

484.

Recent Developments in Applied Probability and Statistics Dedicated to the Memory of Jürgen Lehn

Author

Devroye, Luc. editor. Karasözen, Bülent. editor. Kohler, Michael. editor. Korn, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7908-2598-5

Format:

Availability

Online Library~1

Available:
Copies:

485.

Nuclear Computational Science A Century in Review

Author

Azmy, Yousry. author. Sartori, Enrico. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3411-3

Format:

Availability

Online Library~1

Available:
Copies:

486.

Finite Automata and Application to Cryptography

Author

Tao, Renji. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78257-5

Format:

Availability

Online Library~1

Available:
Copies:

487.

Modellbildung und Simulation Eine anwendungsorientierte Einführung

Author

Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79810-1

Format:

Availability

Online Library~1

Available:
Copies:

488.

Algorithmic Algebraic Combinatorics and Gröbner Bases

Author

Klin, Mikhail. editor. Jones, Gareth A. editor. Jurišić, Aleksandar. editor. Muzychuk, Mikhail. editor. Ponomarenko, Ilia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01960-9

Format:

Availability

Online Library~1

Available:
Copies:

489.

A Primer on Scientific Programming with Python

Author

Langtangen, Hans Petter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02475-7

Format:

Availability

Online Library~1

Available:
Copies:

490.

Domain Decomposition Methods in Science and Engineering XVIII

Author

Bercovier, Michel. editor. Gander, Martin J. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02677-5

Format:

Availability

Online Library~1

Available:
Copies:

491.

Cover image for Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Author

Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10546-3

Format:

Availability

Online Library~1

Available:
Copies:

492.

Cover image for Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

Author

Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10741-2

Format:

Availability

Online Library~1

Available:
Copies:

493.

Mathematik für Informatiker Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben

Author

Schubert, Matthias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9585-1

Format:

Availability

Online Library~1

Available:
Copies:

494.

Cover image for Biomathematik Mathematische Modelle in der Medizinischen Informatik und in den Computational Life Sciences mit Computerlösungen in Mathematica

Biomathematik Mathematische Modelle in der Medizinischen Informatik und in den Computational Life Sciences mit Computerlösungen in Mathematica

Author

Schuster, Reinhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9980-4

Format:

Availability

Online Library~1

Available:
Copies:

495.

Mathematik für Ingenieure und Naturwissenschaftler Band 2 Ein Lehr- und Arbeitsbuch für das Grundstudium

Author

Papula, Lothar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9987-3

Format:

Availability

Online Library~1

Available:
Copies:

496.

Numerical Geometry of Non-Rigid Shapes

Author

Bronstein, Alexander M. author. Bronstein, Michael M. author. Kimmel, Ron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-73301-2

Format:

Availability

Online Library~1

Available:
Copies:

497.

Advances in Numerical Methods

Author

Mastorakis, Nikos. editor. Sakellaris, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-76483-2

Format:

Availability

Online Library~1

Available:
Copies:

498.

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

Author

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9084-4

Format:

Availability

Online Library~1

Available:
Copies:

499.

Advances in Computational Vision and Medical Image Processing Methods and Applications

Author

Tavares, João Manuel R. S. editor. Jorge, R. M. Natal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9086-8

Format:

Availability

Online Library~1

Available:
Copies:

500.

Practical Computing on the Cell Broadband Engine

Author

Koranne, Sandeep. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0308-2

Format:

Availability

Online Library~1

Available:
Copies:

501.

Game Theoretic Problems in Network Economics and Mechanism Design Solutions

Author

Prakash, Hastagiri. author. Narayanam, Ramasuri. author. Garg, Dinesh. author. Narahari, Y. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-938-7

Format:

Availability

Online Library~1

Available:
Copies:

502.

A Course in Formal Languages, Automata and Groups

Author

Chiswell, Ian M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-940-0

Format:

Availability

Online Library~1

Available:
Copies:

503.

Convergence and Knowledge Processing in Multi-Agent Systems

Author

Chli, Maria. editor. Wilde, Philippe de. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-063-0

Format:

Availability

Online Library~1

Available:
Copies:

504.

Verification and Control of Hybrid Systems A Symbolic Approach

Author

Tabuada, Paulo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0224-5

Format:

Availability

Online Library~1

Available:
Copies:

505.

Performance Evaluation and Benchmarking of Intelligent Systems

Author

Madhavan, Raj. editor. Tunstel, Edward. editor. Messina, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0492-8

Format:

Availability

Online Library~1

Available:
Copies:

506.

Social Computing and Behavioral Modeling

Author

Young, Michael J. editor. Salerno, John. editor. Liu, Huan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0056-2

Format:

Availability

Online Library~1

Available:
Copies:

507.

An Intermediate Course in Probability

Author

Gut, Allan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0162-0

Format:

Availability

Online Library~1

Available:
Copies:

508.

Maple Règles et fonctions essentielles

Author

Puech, Nicolas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-2-287-48607-4

Format:

Availability

Online Library~1

Available:
Copies:

509.

Historische Notizen zur Informatik

Author

Bauer, Friedrich L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85790-7

Format:

Availability

Online Library~1

Available:
Copies:

510.

High Performance Computing on Vector Systems 2008

Author

Resch, Michael. editor. Roller, Sabine. editor. Benkert, Katharina. editor. Galle, Martin. editor. Bez, Wolfgang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85869-0

Format:

Availability

Online Library~1

Available:
Copies:

511.

Algorithmic Adventures From Knowledge to Magic

Author

Hromkovic, Juraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85986-4

Format:

Availability

Online Library~1

Available:
Copies:

512.

Post-Quantum Cryptography

Author

Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88702-7

Format:

Availability

Online Library~1

Available:
Copies:

513.

Mathematik für Informatiker Algebra, Analysis, Diskrete Strukturen

Author

Kreußler, Bernd. author. Pfister, Gerhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89107-9

Format:

Availability

Online Library~1

Available:
Copies:

514.

Gröbner Bases, Coding, and Cryptography

Author

Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-93806-4

Format:

Availability

Online Library~1

Available:
Copies:

515.

The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture

Author

Milmeister, Gérard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00148-2

Format:

Availability

Online Library~1

Available:
Copies:

516.

Cover image for Computational Fluid Dynamics 2006 Proceedings of the Fourth International Conference on Computational Fluid Dynamics, ICCFD, Ghent, Belgium, 10-14 July 2006

Computational Fluid Dynamics 2006 Proceedings of the Fourth International Conference on Computational Fluid Dynamics, ICCFD, Ghent, Belgium, 10-14 July 2006

Author

Deconinck, Herman. editor. Dick, E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-92779-2

Format:

Availability

Online Library~1

Available:
Copies:

517.

Cover image for Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

Author

Matsui, Mitsuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10366-7

Format:

Availability

Online Library~1

Available:
Copies:

518.

Scientific Modeling and Simulations

Author

Yip, Sidney. editor. Rubia, Tomás Diaz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9741-6

Format:

Availability

Online Library~1

Available:
Copies:

519.

Cover image for High Performance Computing in Science and Engineering '08 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008

High Performance Computing in Science and Engineering '08 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008

Author

Nagel, Wolfgang E. editor. Kröner, Dietmar B. editor. Resch, Michael M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88303-6

Format:

Availability

Online Library~1

Available:
Copies:

520.

Multiscale Modeling and Simulation in Science

Author

Engquist, Björn. editor. Lötstedt, Per. editor. Runborg, Olof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88857-4

Format:

Availability

Online Library~1

Available:
Copies:

521.

Analysis für Informatiker Grundlagen, Methoden, Algorithmen

Author

Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89823-8

Format:

Availability

Online Library~1

Available:
Copies:

522.

Verteilte Führungsinformationssysteme

Author

Wunder, Michael. editor. Grosche, Jürgen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00509-1

Format:

Availability

Online Library~1

Available:
Copies:

523.

Wavelets from Math to Practice

Author

Radunović, Desanka P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00614-2

Format:

Availability

Online Library~1

Available:
Copies:

524.

Cover image for Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Author

Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03346-9

Format:

Availability

Online Library~1

Available:
Copies:

525.

Human-Computer Systems Interaction Backgrounds and Applications

Author

Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03202-8

Format:

Availability

Online Library~1

Available:
Copies:

526.

Cover image for Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

Author

Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03552-4

Format:

Availability

Online Library~1

Available:
Copies:

527.

Computational Fluid Dynamics for Sport Simulation

Author

Peters, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04466-3

Format:

Availability

Online Library~1

Available:
Copies:

528.

Image Processing for Computer Graphics and Vision

Author

Velho, Luiz. author. Frery, Alejandro. author. Gomes, Jonas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-193-0

Format:

Availability

Online Library~1

Available:
Copies:

529.

Cover image for High Performance Computing in Science and Engineering, Garching/Munich 2007 Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3–4, 2007, Leibniz Supercomputing Centre, Garching/Munich, Germany

High Performance Computing in Science and Engineering, Garching/Munich 2007 Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3–4, 2007, Leibniz Supercomputing Centre, Garching/Munich, Germany

Author

Wagner, Siegfried. editor. Steinmetz, Matthias. editor. Bode, Arndt. editor. Brehm, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69182-2

Format:

Availability

Online Library~1

Available:
Copies:

530.

Advances in Modeling Agricultural Systems

Author

Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75181-8

Format:

Availability

Online Library~1

Available:
Copies:

531.

Harbour Protection Through Data Fusion Technologies

Author

Shahbazian, Elisa. editor. Rogova, Galina. editor. DeWeert, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8883-4

Format:

Availability

Online Library~1

Available:
Copies:

532.

Numerical Methods for Nonlinear Engineering Models

Author

Hauser, John R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9920-5

Format:

Availability

Online Library~1

Available:
Copies:

533.

Games: Unifying Logic, Language, and Philosophy

Author

Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9374-6

Format:

Availability

Online Library~1

Available:
Copies:

534.

Keine Panik vor Statistik! Erfolg und Spaß im Horrorfach nichttechnischer Studiengänge

Author

Oestreich, Markus. author. Romberg, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9231-7

Format:

Availability

Online Library~1

Available:
Copies:

535.

Cover image for Mathematik für Ingenieure und Naturwissenschaftler Klausur- und Übungsaufgaben Über 600 Aufgaben mit ausführlichen Lösungen zum Selbststudium und zur Prüfungsvorbereitung

Mathematik für Ingenieure und Naturwissenschaftler Klausur- und Übungsaufgaben Über 600 Aufgaben mit ausführlichen Lösungen zum Selbststudium und zur Prüfungsvorbereitung

Author

Papula, Lothar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9258-4

Format:

Availability

Online Library~1

Available:
Copies:

536.

Mathematik für Ingenieure und Naturwissenschaftler Band 1 Ein Lehr- und Arbeitsbuch für das Grundstudium

Author

Papula, Lothar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9575-2

Format:

Availability

Online Library~1

Available:
Copies:

537.

Kryptologie Eine Einführung in die Wissenschaft vom Verschlüsseln, Verbergen und Verheimlichen.

Author

Beutelspacher, Albrecht. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9606-3

Format:

Availability

Online Library~1

Available:
Copies:

538.

Nonlinear Solid Mechanics

Author

Ibrahimbegovic, Adnan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-2331-5

Format:

Availability

Online Library~1

Available:
Copies:

539.

Energy Efficiency

Author

Solmes, Leslie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3321-5

Format:

Availability

Online Library~1

Available:
Copies:

540.

Handbook of Large-Scale Random Networks

Author

Bollobás, Béla. editor. Kozma, Robert. editor. Miklós, Dezső. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69395-6

Format:

Availability

Online Library~1

Available:
Copies:

541.

Wissenschaftliche Arbeiten typografisch gestalten

Author

Bendix, Manuela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73392-8

Format:

Availability

Online Library~1

Available:
Copies:

542.

Robust Signal Processing for Wireless Communications

Author

Dietrich, Frank A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74249-4

Format:

Availability

Online Library~1

Available:
Copies:

543.

Mathematical Modeling, Simulation, Visualization and e-Learning

Author

Konaté, Dialla. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74339-2

Format:

Availability

Online Library~1

Available:
Copies:

544.

High Performance Computing on Vector Systems 2007

Author

Resch, Michael. editor. Roller, Sabine. editor. Lammers, Peter. editor. Furui, Toshiyuki. editor. Galle, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74384-2

Format:

Availability

Online Library~1

Available:
Copies:

545.

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

Author

Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77432-7

Format:

Availability

Online Library~1

Available:
Copies:

546.

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

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

Author

Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77704-5

Format:

Availability

Online Library~1

Available:
Copies:

547.

Mathematische Probleme lösen mit Maple Ein Kurzeinstieg

Author

Westermann, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77721-2

Format:

Availability

Online Library~1

Available:
Copies:

548.

Ergonomie und Mensch-Maschine-Systeme

Author

Schmidt, Ludger. editor. Grosche, Jürgen. editor. Schlick, Christopher M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78331-2

Format:

Availability

Online Library~1

Available:
Copies:

549.

Cover image for Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam

Author

Bock, Hans Georg. editor. Kostina, Ekaterina. editor. Phu, Hoang Xuan. editor. Rannacher, Rolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79409-7

Format:

Availability

Online Library~1

Available:
Copies:

550.

Institution-independent Model Theory

Author

Diaconescu, Răzvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8708-2

Format:

Availability

Online Library~1

Available:
Copies:

551.

Matematica Numerica

Author

Quarteroni, Alfio. author. Sacco, Riccardo. author. Saleri, Fausto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-0818-2

Format:

Availability

Online Library~1

Available:
Copies:

552.

Encyclopedia of Algorithms

Author

Kao, Ming-Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-30162-4

Format:

Availability

Online Library~1

Available:
Copies:

553.

Generalized Collocation Methods Solutions to Nonlinear Problems

Author

Bellomo, Nicola. editor. Lods, Bertrand. editor. Revelli, Roberto. editor. Ridolfi, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4610-3

Format:

Availability

Online Library~1

Available:
Copies:

554.

Shape-Preserving Approximation by Real and Complex Polynomials

Author

Gal, Sorin G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4703-2

Format:

Availability

Online Library~1

Available:
Copies:

555.

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

Author

Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6668-9

Format:

Availability

Online Library~1

Available:
Copies:

556.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Author

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Availability

Online Library~1

Available:
Copies:

557.

Survey of Text Mining II Clustering, Classification, and Retrieval

Author

Berry, Michael W. editor. Castellanos, Malu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-046-9

Format:

Availability

Online Library~1

Available:
Copies:

558.

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

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

Author

Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69303-1

Format:

Availability

Online Library~1

Available:
Copies:

559.

Multiaccess, Reservations & Queues

Author

Denteneer, Dee. author. Leeuwaarden, Johan S. H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69317-8

Format:

Availability

Online Library~1

Available:
Copies:

560.

Combinatorial Optimization Theory and Algorithms

Author

Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71844-4

Format:

Availability

Online Library~1

Available:
Copies:

561.

Python Scripting for Computational Science

Author

Langtangen, Hans Petter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73916-6

Format:

Availability

Online Library~1

Available:
Copies:

562.

Optimierungsmethoden Eine Einführung

Author

Jungnickel, Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76790-9

Format:

Availability

Online Library~1

Available:
Copies:

563.

Kombinatorische Optimierung Theorie und Algorithmen

Author

Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76919-4

Format:

Availability

Online Library~1

Available:
Copies:

564.

Horizons of Combinatorics

Author

Győri, Ervin. editor. Katona, Gyula O. H. editor. Lovász, László. editor. Sági, Gábor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77200-2

Format:

Availability

Online Library~1

Available:
Copies:

565.

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations

Author

Mathew, Tarek Poonithara Abraham. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77209-5

Format:

Availability

Online Library~1

Available:
Copies:

566.

Computational Methods in Transport: Verification and Validation

Author

Graziani, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77362-7

Format:

Availability

Online Library~1

Available:
Copies:

567.

Meshfree Methods for Partial Differential Equations IV

Author

Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79994-8

Format:

Availability

Online Library~1

Available:
Copies:

568.

Handbook of Continued Fractions for Special Functions

Author

Cuyt, Annie. author. Petersen, Vigdis Brevik. author. Verdonk, Brigitte. author. Waadeland, Haakon. author. Jones, William B. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6949-9

Format:

Availability

Online Library~1

Available:
Copies:

569.

Network Performance Analysis Using the J Programming Language

Author

Holt, Alan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-823-4

Format:

Availability

Online Library~1

Available:
Copies:

570.

Sets, Logic and Maths for Computing

Author

Makinson, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-845-6

Format:

Availability

Online Library~1

Available:
Copies:

571.

A Brief History of Computing

Author

O’Regan, Gerard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-084-1

Format:

Availability

Online Library~1

Available:
Copies:

572.

Knowledge Processing with Interval and Soft Computing

Author

Kreinovich, Vladik. editor. Korvin, Andre. editor. Baker Kearfott, R. editor. Hu, Chenyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-326-2

Format:

Availability

Online Library~1

Available:
Copies:

573.

Advances in Automatic Differentiation

Author

Bischof, Christian H. editor. Bücker, H. Martin. editor. Hovland, Paul. editor. Naumann, Uwe. editor. Utke, Jean. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68942-3

Format:

Availability

Online Library~1

Available:
Copies:

574.

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

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

Author

Nagel, Wolfgang E. editor. Kröner, Dietmar. editor. Resch, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74739-0

Format:

Availability

Online Library~1

Available:
Copies:

575.

Domain Decomposition Methods in Science and Engineering XVII

Author

Langer, Ulrich. editor. Discacciati, Marco. editor. Keyes, David E. editor. Widlund, Olof B. editor. Zulehner, Walter. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75199-1

Format:

Availability

Online Library~1

Available:
Copies:

576.

Mathematical Methods in Signal Processing and Digital Image Analysis

Author

Dahlhaus, Rainer. editor. Kurths, Jürgen. editor. Maass, Peter. editor. Timmer, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75632-3

Format:

Availability

Online Library~1

Available:
Copies:

577.

Finite Element Methods for Engineering Sciences Theoretical Approach and Problem Solving Techniques

Author

Chaskalovic, Joel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76343-7

Format:

Availability

Online Library~1

Available:
Copies:

578.

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

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

Author

Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68555-5

Format:

Availability

Online Library~1

Available:
Copies:

579.

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

Author

Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79561-2

Format:

Availability

Online Library~1

Available:
Copies:

580.

A Concise Introduction to Languages and Machines

Author

Parkes, Alan P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-121-3

Format:

Availability

Online Library~1

Available:
Copies:

581.

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

Author

Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-201-2

Format:

Availability

Online Library~1

Available:
Copies:

582.

Mathematical Linguistics

Author

Kornai, András. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-986-6

Format:

Availability

Online Library~1

Available:
Copies:

583.

Introduction to PHP for Scientists and Engineers Beyond JavaScript

Author

Brooks, David R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-237-1

Format:

Availability

Online Library~1

Available:
Copies:

584.

Konkrete Analysis für Studierende der Informatik

Author

Bornemann, Folkmar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-70854-4

Format:

Availability

Online Library~1

Available:
Copies:

585.

Principal Manifolds for Data Visualization and Dimension Reduction

Author

Gorban, Alexander N. editor. Kégl, Balázs. editor. Wunsch, Donald C. editor. Zinovyev, Andrei Y. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73750-6

Format:

Availability

Online Library~1

Available:
Copies:

586.

Matrix-Based Multigrid Theory and Applications

Author

Shapira, Yair. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-49765-5

Format:

Availability

Online Library~1

Available:
Copies:

587.

Social Computing, Behavioral Modeling, and Prediction

Author

Liu, Huan. editor. Salerno, John J. editor. Young, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-77672-9

Format:

Availability

Online Library~1

Available:
Copies:

588.

Nonbayesian Decision Theory Beliefs and Desires as Reasons for Action

Author

Peterson, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8699-1

Format:

Availability

Online Library~1

Available:
Copies:

589.

Grundkurs Datenkommunikation TCP/IP-basierte Kommunikation: Grundlagen, Konzepte und Standards

Author

Mandl, Peter. author. Bakomenko, Andreas. author. Weiß, Johannes. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9270-6

Format:

Availability

Online Library~1

Available:
Copies:

590.

Cover image for Mathematik für Ingenieure und Naturwissenschaftler Band 3 Vektoranalysis, Wahrscheinlichkeitsrechnung, Mathematische Statistik, Fehler- und Ausgleichsrechnung

Mathematik für Ingenieure und Naturwissenschaftler Band 3 Vektoranalysis, Wahrscheinlichkeitsrechnung, Mathematische Statistik, Fehler- und Ausgleichsrechnung

Author

Papula, Lothar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9472-4

Format:

Availability

Online Library~1

Available:
Copies:

591.

Meshfree Methods for Partial Differential Equations III

Author

Griebel, Michael. editor. Schweitzer, Marc A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-46222-4

Format:

Availability

Online Library~1

Available:
Copies:

592.

GAMMA Eulers Konstante, Primzahlstrände und die Riemannsche Vermutung

Author

Havil, Julian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-48496-7

Format:

Availability

Online Library~1

Available:
Copies:

593.

Ernst Zermelo An Approach to His Life and Work

Author

Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-49553-6

Format:

Availability

Online Library~1

Available:
Copies:

594.

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

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

Author

Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73086-6

Format:

Availability

Online Library~1

Available:
Copies:

595.

Cover image for Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

Author

Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73482-6

Format:

Availability

Online Library~1

Available:
Copies:

596.

Logica Universalis Towards a General Theory of Logic

Author

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8354-1

Format:

Availability

Online Library~1

Available:
Copies:

597.

Computational Intelligence for Engineering and Manufacturing

Author

Andina, Diego. editor. Pham, Duc Truong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-37452-3

Format:

Availability

Online Library~1

Available:
Copies:

598.

Numerical Techniques for Chemical and Biological Engineers Using MATLAB® A Simple Bifurcation Approach

Author

Elnashaie, Said S. E. H. author. Uhlig, Frank. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68167-2

Format:

Availability

Online Library~1

Available:
Copies:

599.

Ordinal Optimization Soft Optimization for Hard Problems

Author

Ho, Yu-Chi. author. Zhao, Qian-Chuan. author. Jia, Qing-Shan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68692-9

Format:

Availability

Online Library~1

Available:
Copies:

600.

Matrix Algebra Theory, Computations, and Applications in Statistics

Author

Gentle, James E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-70873-7

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}