|
|
1901.
|
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.
by Barthe, Gilles | Pardo, Alberto | Schneider, Gerardo | 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
|
|
|
1902.
|
Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas.
by Thomas, Nigel | 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
|
|
|
1903.
|
Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
by Kuich, Werner | Rahonis, 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
|
|
|
1904.
|
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.
by Agha, Gul | Danvy, Olivier | Meseguer, José | 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
|
|
|
1905.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso | Morgan, Carroll | 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
|
|
|
1906.
|
Interactive Storytelling [electronic resource] : Fourth International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28 – 1 December, 2011. Proceedings / edited by Mei Si, David Thue, Elisabeth André, James C. Lester, Joshua Tanenbaum, Veronica Zammitto.
by Si, Mei | Thue, David | André, Elisabeth | Lester, James C | Tanenbaum, Joshua | Zammitto, Veronica | 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
|
|
|
1907.
|
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang.
by Yang, Hongseok | 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
|
|
|
1908.
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre | Shao, Zhong | 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
|
|
|
1909.
|
Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang.
by Kim, Tai-hoon | Adeli, Hojjat | Kim, Haeng-kon | Kang, Heau-jo | Kim, Kyung Jung | Kiumi, Akingbehin | Kang, Byeong-Ho | 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
|
|
|
1910.
|
Mashup Cultures [electronic resource] / edited by Stefan Sonvilla-Weiss.
by Sonvilla-Weiss, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2010Online access: Click here to access online Availability: No items available
|
|
|
1911.
|
Transdiscourse 1 [electronic resource] : Mediated Environments / edited by Andrea Gleiniger, Angelika Hilbeck, Jill Scott.
by Gleiniger, Andrea | Hilbeck, Angelika | Scott, Jill | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2011Online access: Click here to access online Availability: No items available
|
|
|
1912.
|
Functional Aesthetics [electronic resource] : Visions in Fashionable Technology / by Sabine Seymour.
by Seymour, Sabine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2010Online access: Click here to access online Availability: No items available
|
|
|
1913.
|
Artists-in-Labs Networking in the Margins [electronic resource] / edited by Jill Scott.
by Scott, Jill | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2010Online access: Click here to access online Availability: No items available
|
|
|
1914.
|
Biomimetics in Architecture [electronic resource] : Architecture of Life and Buildings / by Petra Gruber.
by Gruber, Petra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2011Online access: Click here to access online Availability: No items available
|
|
|
1915.
|
Damage Mechanics and Micromechanics of Localized Fracture Phenomena in Inelastic Solids [electronic resource] / by George Z. Voyiadjis.
by Voyiadjis, George Z | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2011Online access: Click here to access online Availability: No items available
|
|
|
1916.
|
Offshore Census [electronic resource] : Citizens of the State of Sabotage / edited by Robert Jelinek.
by Jelinek, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2011Online access: Click here to access online Availability: No items available
|
|
|
1917.
|
Architecture for Astronauts [electronic resource] : An Activity-based Approach / by Sandra Häuplik-Meusburger.
by Häuplik-Meusburger, Sandra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna, 2011Online access: Click here to access online Availability: No items available
|
|
|
1918.
|
Meccanica delle strutture e controllo attivo strutturale [electronic resource] : Modellistica di edifici, ponti, camini, strutture speciali / by Attilio Carotti.
by Carotti, Attilio | SpringerLink (Online service). Edition: 2a edizione.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2006Online access: Click here to access online Availability: No items available
|
|
|
1919.
|
Statistics for Innovation [electronic resource] : Statistical Design of “Continuous” Product Innovation / edited by Pasquale Erto.
by Erto, Pasquale | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2009Online access: Click here to access online Availability: No items available
|
|
|
1920.
|
Lune [electronic resource] / by Edoardo Romagnoli, Giulio Confalonieri, Piero Bianucci.
by Romagnoli, Edoardo | Confalonieri, Giulio | Bianucci, Piero | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2010Online access: Click here to access online Availability: No items available
|
