|
|
8201.
|
FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte.
by Butler, Michael [editor.] | Schulte, Wolfram [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8202.
|
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige.
by France, Robert B [editor.] | Kuester, Jochen M [editor.] | Bordbar, Behzad [editor.] | Paige, Richard F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8203.
|
Information Security and Cryptology [electronic resource] : 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers / edited by Xuejia Lai, Moti Yung, Dongdai Lin.
by Lai, Xuejia [editor.] | Yung, Moti [editor.] | Lin, Dongdai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8204.
|
Privacy Online [electronic resource] : Perspectives on Privacy and Self-Disclosure in the Social Web / edited by Sabine Trepte, Leonard Reinecke.
by Trepte, Sabine [editor.] | Reinecke, Leonard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8205.
|
End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings / edited by Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno.
by Costabile, Maria Francesca [editor.] | Dittrich, Yvonne [editor.] | Fischer, Gerhard [editor.] | Piccinno, Antonio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8206.
|
Software Business [electronic resource] : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011. Proceedings / edited by Björn Regnell, Inge Weerd, Olga Troyer.
by Regnell, Björn [editor.] | Weerd, Inge [editor.] | Troyer, Olga [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8207.
|
Exploring Services Science [electronic resource] : Second International Conference, IESS 2011, Geneva, Switzerland, February 16-18, 2011, Revised Selected Papers / edited by Mehdi Snene, Jolita Ralyté, Jean-Henry Morin.
by Snene, Mehdi [editor.] | Ralyté, Jolita [editor.] | Morin, Jean-Henry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8208.
|
Applied Cryptography and Network Security [electronic resource] : 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings / edited by Javier Lopez, Gene Tsudik.
by Lopez, Javier [editor.] | Tsudik, Gene [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8209.
|
Multiple Classifier Systems [electronic resource] : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings / edited by Carlo Sansone, Josef Kittler, Fabio Roli.
by Sansone, Carlo [editor.] | Kittler, Josef [editor.] | Roli, Fabio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8210.
|
Advances in Self-Organizing Maps [electronic resource] : 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings / edited by Jorma Laaksonen, Timo Honkela.
by Laaksonen, Jorma [editor.] | Honkela, Timo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8211.
|
The Yield Curve and Financial Risk Premia [electronic resource] : Implications for Monetary Policy / by Felix Geiger.
by Geiger, Felix [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8212.
|
Trust and Trustworthy Computing [electronic resource] : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings / edited by Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres.
by McCune, Jonathan M [editor.] | Balacheff, Boris [editor.] | Perrig, Adrian [editor.] | Sadeghi, Ahmad-Reza [editor.] | Sasse, Angela [editor.] | Beres, Yolanta [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8213.
|
Advanced Information Systems Engineering [electronic resource] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings / edited by Haralambos Mouratidis, Colette Rolland.
by Mouratidis, Haralambos [editor.] | Rolland, Colette [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8214.
|
Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Gavriel Salvendy, Michael J. Smith.
by Salvendy, Gavriel [editor.] | Smith, Michael J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8215.
|
Optimisation of Production Under Uncertainty [electronic resource] : The State-Contingent Approach / by Svend Rasmussen.
by Rasmussen, Svend [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8216.
|
Critical Information Infrastructures Security [electronic resource] : 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers / edited by Christos Xenakis, Stephen Wolthusen.
by Xenakis, Christos [editor.] | Wolthusen, Stephen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8217.
|
Fast Software Encryption [electronic resource] : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers / edited by Antoine Joux.
by Joux, Antoine [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8218.
|
Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings / edited by Michelle M. Robertson.
by Robertson, Michelle M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8219.
|
Spatial Data Analysis [electronic resource] : Models, Methods and Techniques / by Manfred M. Fischer, Jinfeng Wang.
by Fischer, Manfred M [author.] | Wang, Jinfeng [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8220.
|
Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings / edited by Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider.
by Halpin, Terry [editor.] | Nurcan, Selmin [editor.] | Krogstie, John [editor.] | Soffer, Pnina [editor.] | Proper, Erik [editor.] | Schmidt, Rainer [editor.] | Bider, Ilia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
