|
|
8961.
|
Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz.
by Giese, Holger | Karsai, Gabor | Lee, Edward | Rumpe, Bernhard | Schätz, Bernhard | 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
|
|
|
8962.
|
Provable Security [electronic resource] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa.
by Heng, Swee-Huay | Kurosawa, Kaoru | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8963.
|
Software Services for e-World [electronic resource] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings / edited by Wojciech Cellary, Elsa Estevez.
by Cellary, Wojciech | Estevez, Elsa | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8964.
|
The Ricci Flow in Riemannian Geometry [electronic resource] : A Complete Proof of the Differentiable 1/4-Pinching Sphere Theorem / by Ben Andrews, Christopher Hopper.
by Andrews, Ben | Hopper, Christopher | 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
|
|
|
8965.
|
Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings / edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet.
by Dean, Mike | Hall, John | Rotolo, Antonino | Tabet, Said | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8966.
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Marc Daumas.
by Torra, Vicenç | Narukawa, Yasuo | Daumas, Marc | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8967.
|
Image Processing and Communications Challenges 2 [electronic resource] / edited by Ryszard S. Choraś.
by Choraś, Ryszard S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8968.
|
Business Process Modeling Notation [electronic resource] : Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings / edited by Jan Mendling, Matthias Weidlich, Mathias Weske.
by Mendling, Jan | Weidlich, Matthias | Weske, Mathias | 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
|
|
|
8969.
|
Photovoltaic Industrial Systems [electronic resource] : An Environmental Approach / by Elena Papadopoulou.
by Papadopoulou, Elena | 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
|
|
|
8970.
|
Transport in Metal-Oxide-Semiconductor Structures [electronic resource] : Mobile Ions Effects on the Oxide Properties / by Hamid Bentarzi.
by Bentarzi, Hamid | 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
|
|
|
8971.
|
Single-Sided NMR [electronic resource] / edited by Federico Casanova, Juan Perlo, Bernhard Blümich.
by Casanova, Federico | Perlo, Juan | Blümich, Bernhard | 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
|
|
|
8972.
|
Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / edited by Peter Csaba Ölveczky.
by Ölveczky, Peter Csaba | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8973.
|
The Foundations of Statistics: A Simulation-based Approach [electronic resource] / by Shravan Vasishth, Michael Broe.
by Vasishth, Shravan | Broe, 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
|
|
|
8974.
|
Knowledge Management, Information Systems, E-Learning, and Sustainability Research [electronic resource] : Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part I / edited by Miltiadis D. Lytras, Patricia Ordonez De Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer, Jonathan B. Imber.
by Lytras, Miltiadis D | Ordonez De Pablos, Patricia | Ziderman, Adrian | Roulstone, Alan | Maurer, Hermann | Imber, Jonathan B | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8975.
|
String Processing and Information Retrieval [electronic resource] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings / edited by Edgar Chavez, Stefano Lonardi.
by Chavez, Edgar | Lonardi, Stefano | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8976.
|
Organizational, Business, and Technological Aspects of the Knowledge Society [electronic resource] : Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part II / edited by Miltiadis D. Lytras, Patricia Ordonez de Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer, Jonathan B. Imber.
by Lytras, Miltiadis D | Ordonez de Pablos, Patricia | Ziderman, Adrian | Roulstone, Alan | Maurer, Hermann | Imber, Jonathan B | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8977.
|
Intelligent Information Processing V [electronic resource] : 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010. Proceedings / edited by Zhongzhi Shi, Sunil Vadera, Agnar Aamodt, David Leake.
by Shi, Zhongzhi | Vadera, Sunil | Aamodt, Agnar | Leake, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8978.
|
Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.
by Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | 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
|
|
|
8979.
|
Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.
by Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8980.
|
Information Security and Cryptology [electronic resource] : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers / edited by Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing.
by Bao, Feng | Yung, Moti | Lin, Dongdai | Jing, Jiwu | 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
|