|
|
34601.
|
Henipavirus [electronic resource] : Ecology, Molecular Virology, and Pathogenesis / edited by Benhur Lee, Paul A. Rota.
by Lee, Benhur [editor.] | Rota, Paul A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34602.
|
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann.
by Schrijvers, Tom [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34603.
|
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages [electronic resource] / by Brian Henderson-Sellers.
by Henderson-Sellers, Brian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34604.
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings / edited by Nicolas Beldiceanu, Narendra Jussien, Éric Pinson.
by Beldiceanu, Nicolas [editor.] | Jussien, Narendra [editor.] | Pinson, Éric [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34605.
|
Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers / edited by Marco Carbone, Jean-Marc Petit.
by Carbone, Marco [editor.] | Petit, Jean-Marc [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34606.
|
Mathematics of Discrete Structures for Computer Science [electronic resource] / by Gordon J. Pace.
by Pace, Gordon J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34607.
|
Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34608.
|
Coulomb Frames in the Normal Bundle of Surfaces in Euclidean Spaces [electronic resource] : Topics from Differential Geometry and Geometric Analysis of Surfaces / by Steffen Fröhlich.
by Fröhlich, Steffen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34609.
|
Geometric Aspects of Functional Analysis [electronic resource] : Israel Seminar 2006–2010 / edited by Bo'az Klartag, Shahar Mendelson, Vitali D. Milman.
by Klartag, Bo'az [editor.] | Mendelson, Shahar [editor.] | Milman, Vitali D [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34610.
|
Trust Management VI [electronic resource] : 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings / edited by Theo Dimitrakos, Rajat Moona, Dhiren Patel, D. Harrison McKnight.
by Dimitrakos, Theo [editor.] | Moona, Rajat [editor.] | Patel, Dhiren [editor.] | McKnight, D. Harrison [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34611.
|
Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.
by Khurshid, Sarfraz [editor.] | Sen, Koushik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34612.
|
Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings / edited by Ken Peffers, Marcus Rothenberger, Bill Kuechler.
by Peffers, Ken [editor.] | Rothenberger, Marcus [editor.] | Kuechler, Bill [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34613.
|
FDG PET/CT in Clinical Oncology [electronic resource] : Case Based Approach with Teaching Points / by Jasna Mihailovic, Stanley J. Goldsmith, Ronan P. Killeen.
by Mihailovic, Jasna [author.] | Goldsmith, Stanley J [author.] | Killeen, Ronan P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34614.
|
E-Life: Web-Enabled Convergence of Commerce, Work, and Social Life [electronic resource] : 10th Workshop on E-Business, WEB 2011, Shanghai, China, December 4, 2011, Revised Selected Papers / edited by Michael J. Shaw, Dongsong Zhang, Wei T. Yue.
by Shaw, Michael J [editor.] | Zhang, Dongsong [editor.] | Yue, Wei T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34615.
|
Fluctuations in Markov Processes [electronic resource] : Time Symmetry and Martingale Approximation / by Tomasz Komorowski, Claudio Landim, Stefano Olla.
by Komorowski, Tomasz [author.] | Landim, Claudio [author.] | Olla, Stefano [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
34616.
|
Financial Cryptography and Data Security [electronic resource] : FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / edited by George Danezis, Sven Dietrich, Kazue Sako.
by Danezis, George [editor.] | Dietrich, Sven [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34617.
|
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans.
by Domenach, Florent [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34618.
|
Advances in Enterprise Engineering VI [electronic resource] : Second Enterprise Engineering Working Conference, EEWC 2012, Delft, The Netherlands, May 7-8, 2012. Proceedings / edited by Antonia Albani, David Aveiro, Joseph Barjis.
by Albani, Antonia [editor.] | Aveiro, David [editor.] | Barjis, Joseph [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34619.
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings / edited by Werner Schindler, Sorin A. Huss.
by Schindler, Werner [editor.] | Huss, Sorin A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
34620.
|
Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT´2012) - Volume 2 / edited by Junzo Watada, Toyohide Watanabe, Gloria Phillips-Wren, Robert J. Howlett, Lakhmi C. Jain.
by Watada, Junzo [editor.] | Watanabe, Toyohide [editor.] | Phillips-Wren, Gloria [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|