|
|
19961.
|
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer.
by Gopalakrishnan, Ganesh | Qadeer, Shaz | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19962.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe.
by Brünnler, Kai | Metcalfe, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19963.
|
Correction Formulae for the Stress Distribution in Round Tensile Specimens at Neck Presence [electronic resource] / by Magdalena Gromada, Gennady Mishuris, Andreas Öchsner.
by Gromada, Magdalena | Mishuris, Gennady | Öchsner, Andreas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19964.
|
Security Protocols XVI [electronic resource] : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers / edited by Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe.
by Christianson, Bruce | Malcolm, James A | Matyas, Vashek | Roe, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19965.
|
Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger.
by Wolff, Karl Erich | Palchunov, Dmitry E | Zagoruiko, Nikolay G | Andelfinger, Urs | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19966.
|
Oracle Inequalities in Empirical Risk Minimization and Sparse Recovery Problems [electronic resource] : École d’Été de Probabilités de Saint-Flour XXXVIII-2008 / by Vladimir Koltchinskii.
by Koltchinskii, Vladimir | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19967.
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings / edited by Weiru Liu.
by Liu, Weiru | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19968.
|
Financial Derivatives Modeling [electronic resource] / by Christian Ekstrand.
by Ekstrand, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19969.
|
Intelligent Interactive Multimedia Systems and Services [electronic resource] : Proceedings of the 4th International Conference on Intelligent Interactive Multimedia Systems and Services (IIMSS 2011) / edited by George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain, Robert J. Howlett.
by Tsihrintzis, George A | Virvou, Maria | Jain, Lakhmi C | Howlett, Robert J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19970.
|
Trends in Computational Contact Mechanics [electronic resource] / edited by Giorgio Zavarise, Peter Wriggers.
by Zavarise, Giorgio | Wriggers, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19971.
|
Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh.
by Mohamad Zain, Jasni | Wan Mohd, Wan Maseri bt | El-Qawasmeh, Eyas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19972.
|
Control Technologies for Emerging Micro and Nanoscale Systems [electronic resource] / edited by Evangelos Eleftheriou, S. O. Reza Moheimani.
by Eleftheriou, Evangelos | Moheimani, S. O. Reza | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19973.
|
Soft Computing in Green and Renewable Energy Systems [electronic resource] / edited by Kasthurirangan Gopalakrishnan, Siddhartha Kumar Khaitan, Soteris Kalogirou.
by Gopalakrishnan, Kasthurirangan | Khaitan, Siddhartha Kumar | Kalogirou, Soteris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19974.
|
Green IT: Technologies and Applications [electronic resource] / edited by Jae H. Kim, Myung J. Lee.
by Kim, Jae H | Lee, Myung J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19975.
|
Building Innovation Pipelines through Computer-Aided Innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings / edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
by Cavallucci, Denis | Guio, Roland | Cascini, Gaetano | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19976.
|
Networked Digital Technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings / edited by Simon Fong.
by Fong, Simon | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19977.
|
Near-Space Remote Sensing [electronic resource] : Potential and Challenges / by Wen-Qin Wang.
by Wang, Wen-Qin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19978.
|
Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh.
by Zain, Jasni Mohamad | Wan Mohd, Wan Maseri bt | El-Qawasmeh, Eyas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19979.
|
Intelligent Decision Technologies [electronic resource] : Proceedings of the 3rd International Conference on Intelligent Decision Technologies (IDT’ 2011) / edited by Junzo Watada, Gloria Phillips-Wren, Lakhmi C. Jain, Robert J. Howlett.
by Watada, Junzo | Phillips-Wren, Gloria | Jain, Lakhmi C | Howlett, Robert J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19980.
|
Trust Management V [electronic resource] : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 – July 1, 2011. Proceedings / edited by Ian Wakeman, Ehud Gudes, Christian Damsgaard Jensen, Jason Crampton.
by Wakeman, Ian | Gudes, Ehud | Jensen, Christian Damsgaard | Crampton, Jason | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
