|
|
|
Theory and Applications of Satisfiability Testing -- SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani.
by Cimatti, Alessandro [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Information Security Technology for Applications [electronic resource] : 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers / edited by Tuomas Aura, Kimmo Järvinen, Kaisa Nyberg.
by Aura, Tuomas [editor.] | Järvinen, Kimmo [editor.] | Nyberg, Kaisa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez.
by Counsell, Steve [editor.] | Núñez, Manuel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations and Practice of Security [electronic resource] : 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers / edited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood.
by Danger, Jean Luc [editor.] | Debbabi, Mourad [editor.] | Marion, Jean-Yves [editor.] | Garcia-Alfaro, Joaquin [editor.] | Zincir Heywood, Nur [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Informatics [electronic resource] : 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings / edited by Panayiotis Bozanis, Elias N. Houstis.
by Bozanis, Panayiotis [editor.] | Houstis, Elias N [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Computing - HiPC 2004 [electronic resource] : 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings / edited by Luc Bougé, Viktor K. Prasanna.
by Bougé, Luc [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Security Protocols XIX [electronic resource] : 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James Malcolm, Frank Stajano.
by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology -- AFRICACRYPT 2012 [electronic resource] : 5th International Conference on Cryptology in Africa, Ifrane, Morocco, July 10-12, 2012, Proceedings / edited by Aikaterini Mitrokotsa, Serge Vaudenay.
by Mitrokotsa, Aikaterini [editor.] | Vaudenay, Serge [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / edited by Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi.
by Muggleton, Stephen [editor.] | Tamaddoni-Nezhad, Alireza [editor.] | Lisi, Francesca A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Cristian A Linte, Elvis C S Chen, Marie-Odile Berger, John T Moore, David Holmes III.
by Linte, Cristian A [editor.] | Chen, Elvis C S [editor.] | Berger, Marie-Odile [editor.] | Moore, John T [editor.] | Holmes III, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Ad-Hoc, Mobile and Wireless Networks [electronic resource] : 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009, Proceedings / edited by Pedro M. Ruiz, J. J. Garcia-Luna-Aceves.
by Ruiz, Pedro M [editor.] | Garcia-Luna-Aceves, J. J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / edited by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.
by Van Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Camera-Based Document Analysis and Recognition [electronic resource] : 5th International Workshop, CBDAR 2013, Washington, DC, USA, August 23, 2013, Revised Selected Papers / edited by Masakazu Iwamura, Faisal Shafait.
by Iwamura, Masakazu [editor.] | Shafait, Faisal [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Reachability Problems [electronic resource] : Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings / edited by Olivier Bournez, Igor Potapov.
by Bournez, Olivier [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Neural Networks and Machine Learning -- ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II / edited by Alessandro Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm.
by Villa, Alessandro [editor.] | Duch, Włodzisław [editor.] | Érdi, Péter [editor.] | Masulli, Francesco [editor.] | Palm, Günther [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Business Process Management [electronic resource] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings / edited by Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf.
by Rinderle-Ma, Stefanie [editor.] | Toumani, Farouk [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I / edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park.
by Cheong, Otfried [editor.] | Chwa, Kyung-Yong [editor.] | Park, Kunsoo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
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). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Antonio M. Mora, Giovanni Squillero.
by Mora, Antonio M [editor.] | Squillero, Giovanni [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
