|
|
4481.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.
by Kuncak, Viktor [editor.] | Rybalchenko, Andrey [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
|
|
|
4482.
|
Topics in Cryptology – CT-RSA 2012 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 – March 2, 2012. Proceedings / edited by Orr Dunkelman.
by Dunkelman, Orr [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
|
|
|
4483.
|
Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / edited by Andreas Harth, Nora Koch.
by Harth, Andreas [editor.] | Koch, Nora [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
|
|
|
4484.
|
Membrane Computing [electronic resource] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / edited by Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan.
by Gheorghe, Marian [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Verlan, Sergey [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
|
|
|
4485.
|
Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka.
by Szmuc, Tomasz [editor.] | Szpyrka, Marcin [editor.] | Zendulka, Jaroslav [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
|
|
|
4486.
|
Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers / edited by Dániel Marx, Peter Rossmanith.
by Marx, Dániel [editor.] | Rossmanith, 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
|
|
|
4487.
|
Bioinformatics for Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers / edited by Ana T. Freitas, Arcadi Navarro.
by Freitas, Ana T [editor.] | Navarro, Arcadi [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
|
|
|
4488.
|
Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov.
by Horimoto, Katsuhisa [editor.] | Nakatsui, Masahiko [editor.] | Popov, Nikolaj [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
|
|
|
4489.
|
Distributed Computing and Internet Technology [electronic resource] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings / edited by R. Ramanujam, Srini Ramaswamy.
by Ramanujam, R [editor.] | Ramaswamy, Srini [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
|
|
|
4490.
|
WALCOM: Algorithms and Computation [electronic resource] : 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings / edited by Md. Saidur Rahman, Shin-ichi Nakano.
by Rahman, Md. Saidur [editor.] | Nakano, Shin-ichi [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
|
|
|
4491.
|
Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by Kristján Jónasson.
by Jónasson, Kristján [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
|
|
|
4492.
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems V [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [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
|
|
|
4493.
|
Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I / edited by Kristján Jónasson.
by Jónasson, Kristján [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
|
|
|
4494.
|
Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.
by Barthe, Gilles [editor.] | Livshits, Benjamin [editor.] | Scandariato, Riccardo [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
|
|
|
4495.
|
Wireless Sensor Networks [electronic resource] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings / edited by Gian Pietro Picco, Wendi Heinzelman.
by Picco, Gian Pietro [editor.] | Heinzelman, Wendi [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
|
|
|
4496.
|
Algorithms for Sensor Systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen.
by Erlebach, Thomas [editor.] | Nikoletseas, Sotiris [editor.] | Orponen, Pekka [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
|
|
|
4497.
|
Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, Ján Buša, Michal Hnatič.
by Adam, Gheorghe [editor.] | Buša, Ján [editor.] | Hnatič, Michal [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
|
|
|
4498.
|
Partially Supervised Learning [electronic resource] : First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers / edited by Friedhelm Schwenker, Edmondo Trentin.
by Schwenker, Friedhelm [editor.] | Trentin, Edmondo [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
|
|
|
4499.
|
Building a National Distributed e-Infrastructure–PL-Grid [electronic resource] : Scientific and Technical Achievements / edited by Marian Bubak, Tomasz Szepieniec, Kazimierz Wiatr.
by Bubak, Marian [editor.] | Szepieniec, Tomasz [editor.] | Wiatr, Kazimierz [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
|
|
|
4500.
|
Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe.
by Düsterhöft, Antje [editor.] | Klettke, Meike [editor.] | Schewe, Klaus-Dieter [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
|
