|
|
7181.
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings / edited by Michael Chau, G. Alan Wang, Xiaolong Zheng, Hsinchun Chen, Daniel Zeng, Wenji Mao.
by Chau, Michael | Wang, G. Alan | Zheng, Xiaolong | Chen, Hsinchun | Zeng, Daniel | Mao, Wenji | 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
|
|
|
7182.
|
Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings / edited by Sven Apel, Ethan Jackson.
by Apel, Sven | Jackson, Ethan | 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
|
|
|
7183.
|
Advanced Information Systems Engineering Workshops [electronic resource] : CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings / edited by Camille Salinesi, Oscar Pastor.
by Salinesi, Camille | Pastor, Oscar | 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
|
|
|
7184.
|
Information Processing in Medical Imaging [electronic resource] : 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011. Proceedings / edited by Gábor Székely, Horst K. Hahn.
by Székely, Gábor | Hahn, Horst K | 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
|
|
|
7185.
|
HCI International 2011 – Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Constantine Stephanidis.
by Stephanidis, Constantine | 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
|
|
|
7186.
|
HCI International 2011 – Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Constantine Stephanidis.
by Stephanidis, Constantine | 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
|
|
|
7187.
|
Cusped Shell-Like Structures [electronic resource] / by George Jaiani.
by Jaiani, 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
|
|
|
7188.
|
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
|
|
|
7189.
|
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
|
|
|
7190.
|
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
|
|
|
7191.
|
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
|
|
|
7192.
|
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
|
|
|
7193.
|
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
|
|
|
7194.
|
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
|
|
|
7195.
|
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
|
|
|
7196.
|
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
|
|
|
7197.
|
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
|
|
|
7198.
|
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
|
|
|
7199.
|
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
|
|
|
7200.
|
Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III / 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
|
