|
|
34921.
|
Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker.
by Donaldson, Alastair [editor.] | Parker, David [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
|
|
|
34922.
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov.
by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [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
|
|
|
34923.
|
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
|
|
|
34924.
|
Clinical Cases in Primary Immunodeficiency Diseases [electronic resource] : A Problem-Solving Approach / edited by Asghar Aghamohammadi, Nima Rezaei.
by Aghamohammadi, Asghar [editor.] | Rezaei, Nima [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
|
|
|
34925.
|
Metalation of Azoles and Related Five-Membered Ring Heterocycles [electronic resource] / edited by Gordon W. Gribble.
by Gribble, Gordon W [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
|
|
|
34926.
|
Virtual and Networked Organizations, Emergent Technologies and Tools [electronic resource] : First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers / edited by Goran D. Putnik, Maria Manuela Cruz-Cunha.
by Putnik, Goran D [editor.] | Cruz-Cunha, Maria Manuela [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
|
|
|
34927.
|
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
|
|
|
34928.
|
Agents and Peer-to-Peer Computing [electronic resource] : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers / edited by Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau Pinninck.
by Beneventano, Domenico [editor.] | Despotovic, Zoran [editor.] | Guerra, Francesco [editor.] | Joseph, Sam [editor.] | Moro, Gianluca [editor.] | Pinninck, Adrián Perreau [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
|
|
|
34929.
|
Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 4th Symposium on Hybrid RANS-LES Methods, Beijing, China, September 2011 / edited by Song Fu, Werner Haase, Shia-Hui Peng, Dieter Schwamborn.
by Fu, Song [editor.] | Haase, Werner [editor.] | Peng, Shia-Hui [editor.] | Schwamborn, Dieter [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
|
|
|
34930.
|
Stereoselective Alkene Synthesis [electronic resource] / edited by Jianbo Wang.
by Wang, Jianbo [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
|
|
|
34931.
|
Bisociative Knowledge Discovery [electronic resource] : An Introduction to Concept, Algorithms, Tools, and Applications / edited by Michael R. Berthold.
by Berthold, Michael R [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
|
|
|
34932.
|
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
|
|
|
34933.
|
Plant Transposable Elements [electronic resource] : Impact on Genome Structure and Function / edited by Marie-Angèle Grandbastien, Josep M. Casacuberta.
by Grandbastien, Marie-Angèle [editor.] | Casacuberta, Josep M [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
|
|
|
34934.
|
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
|
|
|
34935.
|
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
|
|
|
34936.
|
Service-Oriented Computing - ICSOC 2011 Workshops [electronic resource] : ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers / edited by George Pallis, Mohamed Jmaiel, Anis Charfi, Sven Graupner, Yücel Karabulut, Sam Guinea, Florian Rosenberg, Quan Z. Sheng, Cesare Pautasso, Sonia Mokhtar.
by Pallis, George [editor.] | Jmaiel, Mohamed [editor.] | Charfi, Anis [editor.] | Graupner, Sven [editor.] | Karabulut, Yücel [editor.] | Guinea, Sam [editor.] | Rosenberg, Florian [editor.] | Sheng, Quan Z [editor.] | Pautasso, Cesare [editor.] | Mokhtar, Sonia [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
|
|
|
34937.
|
Global Tea Breeding [electronic resource] : Achievements, Challenges and Perspectives / by Liang Chen, Zeno Apostolides, Zong-Mao Chen.
by Chen, Liang [author.] | Apostolides, Zeno [author.] | Chen, Zong-Mao [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
|
|
|
34938.
|
D-Xylitol [electronic resource] : Fermentative Production, Application and Commercialization / edited by Silvio Silvério da Silva, Anuj Kumar Chandel.
by da Silva, Silvio Silvério [editor.] | Chandel, Anuj Kumar [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
|
|
|
34939.
|
Rough Sets and Knowledge Technology [electronic resource] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / edited by Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu.
by Li, Tianrui [editor.] | Nguyen, Hung Son [editor.] | Wang, Guoyin [editor.] | Grzymala-Busse, Jerzy [editor.] | Janicki, Ryszard [editor.] | Hassanien, Aboul Ella [editor.] | Yu, Hong [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
|
|
|
34940.
|
Transactions on Rough Sets XV [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [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
|
