|
|
2781.
|
Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò.
by Degano, Pierpaolo | Viganò, Luca | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2782.
|
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan.
by Leucker, Martin | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2783.
|
Contemporary Quantitative Finance [electronic resource] : Essays in Honour of Eckhard Platen / edited by Carl Chiarella, Alexander Novikov.
by Chiarella, Carl | Novikov, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2784.
|
Contemporary Computing [electronic resource] : Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings / edited by Sanjay Ranka, Srinivas Aluru, Rajkumar Buyya, Yeh-Ching Chung, Sumeet Dua, Ananth Grama, Sandeep K. S. Gupta, Rajeev Kumar, Vir V. Phoha.
by Ranka, Sanjay | Aluru, Srinivas | Buyya, Rajkumar | Chung, Yeh-Ching | Dua, Sumeet | Grama, Ananth | Gupta, Sandeep K. S | Kumar, Rajeev | Phoha, Vir V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2785.
|
Emergent Problems in Nonlinear Systems and Control [electronic resource] / edited by Bijoy K. Ghosh, Clyde F. Martin, Yishao Zhou.
by Ghosh, Bijoy K | Martin, Clyde F | Zhou, Yishao | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2786.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings / edited by Irit Dinur, Klaus Jansen, Joseph Naor, José Rolim.
by Dinur, Irit | Jansen, Klaus | Naor, Joseph | Rolim, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2787.
|
Digital Watermarking [electronic resource] : 8th International Workshop, IWDW 2009, Guildford, UK, August 24-26, 2009. Proceedings / edited by Anthony T. S. Ho, Yun Q. Shi, H. J. Kim, Mauro Barni.
by Ho, Anthony T. S | Shi, Yun Q | Kim, H. J | Barni, Mauro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2788.
|
Data Assimilation [electronic resource] : The Ensemble Kalman Filter / by Geir Evensen.
by Evensen, Geir | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2789.
|
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings / edited by Thomas Stützle, Mauro Birattari, Holger H. Hoos.
by Stützle, Thomas | Birattari, Mauro | Hoos, Holger H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2790.
|
String Processing and Information Retrieval [electronic resource] : 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings / edited by Jussi Karlgren, Jorma Tarhio, Heikki Hyyrö.
by Karlgren, Jussi | Tarhio, Jorma | Hyyrö, Heikki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2791.
|
Beyond Right and Wrong [electronic resource] : The Power of Effective Decision Making for Attorneys and Clients / by Randall Kiser.
by Kiser, Randall | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2792.
|
CATBox [electronic resource] : An Interactive Course in Combinatorial Optimization / by Winfried Hochstättler, Alexander Schliep.
by Hochstättler, Winfried | Schliep, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2793.
|
Special Relativity [electronic resource] : An Introduction with 200 Problems and Solutions / by Michael Tsamparlis.
by Tsamparlis, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2794.
|
Simple Models of Many-Fermion Systems [electronic resource] / by Joachim Alexander Maruhn, Paul-Gerhard Reinhard, Eric Suraud.
by Maruhn, Joachim Alexander | Reinhard, Paul-Gerhard | Suraud, Eric | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2795.
|
Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks [electronic resource] : Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings / edited by Olivier Markowitch, Angelos Bilas, Jaap-Henk Hoepman, Chris J. Mitchell, Jean-Jacques Quisquater.
by Markowitch, Olivier | Bilas, Angelos | Hoepman, Jaap-Henk | Mitchell, Chris J | Quisquater, Jean-Jacques | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2796.
|
Dynamics of Gambling: Origins of Randomness in Mechanical Systems [electronic resource] / by Jaroslaw Strzalko, Juliusz Grabski, Przemyslaw Perlikowski, Andrzej Stefanski, Tomasz Kapitaniak.
by Strzalko, Jaroslaw | Grabski, Juliusz | Perlikowski, Przemyslaw | Stefanski, Andrzej | Kapitaniak, Tomasz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2797.
|
The DARPA Urban Challenge [electronic resource] : Autonomous Vehicles in City Traffic / edited by Martin Buehler, Karl Iagnemma, Sanjiv Singh.
by Buehler, Martin | Iagnemma, Karl | Singh, Sanjiv | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
2798.
|
Matrices and Matroids for Systems Analysis [electronic resource] / by Kazuo Murota.
by Murota, Kazuo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2799.
|
Nonlinear Dynamics in Economics, Finance and Social Sciences [electronic resource] : Essays in Honour of John Barkley Rosser Jr / edited by Gian Italo Bischi, Carl Chiarella, Laura Gardini.
by Bischi, Gian Italo | Chiarella, Carl | Gardini, Laura | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
2800.
|
Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle.
by Grädel, Erich | Kahle, Reinhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|