|
|
3601.
|
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). 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
|
|
|
3602.
|
Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / edited by Ferruh Özbudak, Francisco Rodríguez-Henríquez.
by Özbudak, Ferruh [editor.] | Rodríguez-Henríquez, Francisco [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
|
|
|
3603.
|
Privacy and Identity Management for Life [electronic resource] : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers / edited by Jan Camenisch, Bruno Crispo, Simone Fischer-Hübner, Ronald Leenes, Giovanni Russello.
by Camenisch, Jan [editor.] | Crispo, Bruno [editor.] | Fischer-Hübner, Simone [editor.] | Leenes, Ronald [editor.] | Russello, Giovanni [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
|
|
|
3604.
|
Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings / edited by Simone Fischer-Hübner, Matthew Wright.
by Fischer-Hübner, Simone [editor.] | Wright, Matthew [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
|
|
|
3605.
|
Combinatorial Optimization and Applications [electronic resource] : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings / edited by Guohui Lin.
by Lin, Guohui [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
|
|
|
3606.
|
Overview of the PMBOK® Guide [electronic resource] : Paving the Way for PMP® Certification / by Deasún Ó Conchúir.
by Ó Conchúir, Deasún [author.] | SpringerLink (Online service). Edition: 3rd ed. 2012.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
|
|
|
3607.
|
Emerging Intelligent Computing Technology and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne.
by Huang, De-Shuang [editor.] | Gupta, Phalguni [editor.] | Zhang, Xiang [editor.] | Premaratne, Prashan [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
|
|
|
3608.
|
Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / edited by H. Jaap Herik, Aske Plaat.
by Herik, H. Jaap [editor.] | Plaat, Aske [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
|
|
|
3609.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings / edited by Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing.
by Wang, Xinbing [editor.] | Zheng, Rong [editor.] | Jing, Tao [editor.] | Xing, Kai [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
|
|
|
3610.
|
Information Security and Cryptology - ICISC 2011 [electronic resource] : 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers / edited by Howon Kim.
by Kim, Howon [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
|
|
|
3611.
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / edited by Marcilio C. Souto, Maricel G. Kann.
by Souto, Marcilio C [editor.] | Kann, Maricel G [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
|
|
|
3612.
|
Communications and Information Processing [electronic resource] : International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I / edited by Maotai Zhao, Junpin Sha.
by Zhao, Maotai [editor.] | Sha, Junpin [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
|
|
|
3613.
|
Communications and Information Processing [electronic resource] : International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Revised Selected Papers, Part II / edited by Maotai Zhao, Junpin Sha.
by Zhao, Maotai [editor.] | Sha, Junpin [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
|
|
|
3614.
|
Nonlinear Flow Phenomena and Homotopy Analysis [electronic resource] : Fluid Flow and Heat Transfer / by Kuppalapalle Vajravelu, Robert A. Gorder.
by Vajravelu, Kuppalapalle [author.] | Gorder, Robert A [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
|
|
|
3615.
|
Contemporary Computing [electronic resource] : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings / edited by Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Zomaya.
by Parashar, Manish [editor.] | Kaushik, Dinesh [editor.] | Rana, Omer F [editor.] | Samtaney, Ravi [editor.] | Yang, Yuanyuan [editor.] | Zomaya, Albert [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
|
|
|
3616.
|
Combinatorial Optimization [electronic resource] : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers / edited by A. Ridha Mahjoub, Vangelis Markakis, Ioannis Milis, Vangelis Th. Paschos.
by Mahjoub, A. Ridha [editor.] | Markakis, Vangelis [editor.] | Milis, Ioannis [editor.] | Paschos, Vangelis Th [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
|
|
|
3617.
|
Similarity Search and Applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings / edited by Gonzalo Navarro, Vladimir Pestov.
by Navarro, Gonzalo [editor.] | Pestov, Vladimir [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
|
|
|
3618.
|
DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings / edited by Darko Stefanovic, Andrew Turberfield.
by Stefanovic, Darko [editor.] | Turberfield, Andrew [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
|
|
|
3619.
|
Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings / edited by Joachim Gudmundsson, Julián Mestre, Taso Viglas.
by Gudmundsson, Joachim [editor.] | Mestre, Julián [editor.] | Viglas, Taso [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
|
|
|
3620.
|
Applications of Discrete Geometry and Mathematical Morphology [electronic resource] : First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers / edited by Ullrich Köthe, Annick Montanvert, Pierre Soille.
by Köthe, Ullrich [editor.] | Montanvert, Annick [editor.] | Soille, Pierre [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
|
