|
|
7081.
|
Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny.
by Bernardo, Marco | Issarny, Valérie | 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
|
|
|
7082.
|
Combinatorial Pattern Matching [electronic resource] : 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings / edited by Raffaele Giancarlo, Giovanni Manzini.
by Giancarlo, Raffaele | Manzini, Giovanni | 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
|
|
|
7083.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel.
by Bruni, Roberto | Dingel, Juergen | 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
|
|
|
7084.
|
Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Wolfgang Meuter, Gruia-Catalin Roman.
by Meuter, Wolfgang | Roman, Gruia-Catalin | 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
|
|
|
7085.
|
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige.
by France, Robert B | Kuester, Jochen M | Bordbar, Behzad | Paige, Richard F | 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
|
|
|
7086.
|
Multidisciplinary Aspects of Time and Time Perception [electronic resource] : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers / edited by Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis.
by Vatakis, Argiro | Esposito, Anna | Giagkou, Maria | Cummins, Fred | Papadelis, Georgios | 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
|
|
|
7087.
|
Managing the Dynamics of Networks and Services [electronic resource] : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings / edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger.
by Chrisment, Isabelle | Couch, Alva | Badonnel, Rémi | Waldburger, Martin | 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
|
|
|
7088.
|
OpenMP in the Petascale Era [electronic resource] : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings / edited by Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Müller.
by Chapman, Barbara M | Gropp, William D | Kumaran, Kalyan | Müller, Matthias S | 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
|
|
|
7089.
|
Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
by Pogodalla, Sylvain | Quatrini, Myriam | Retoré, 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
|
|
|
7090.
|
Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler.
by Winkler, Franz | 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
|
|
|
7091.
|
Advances in Computational Intelligence [electronic resource] : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II / edited by Joan Cabestany, Ignacio Rojas, Gonzalo Joya.
by Cabestany, Joan | Rojas, Ignacio | Joya, Gonzalo | 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
|
|
|
7092.
|
Advances in Computational Intelligence [electronic resource] : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part I / edited by Joan Cabestany, Ignacio Rojas, Gonzalo Joya.
by Cabestany, Joan | Rojas, Ignacio | Joya, Gonzalo | 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
|
|
|
7093.
|
Information Processing in Computer-Assisted Interventions [electronic resource] : Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings / edited by Russell H. Taylor, Guang-Zhong Yang.
by Taylor, Russell H | Yang, Guang-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
|
|
|
7094.
|
Multimedia Communications, Services and Security [electronic resource] : 4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011. Proceedings / edited by Andrzej Dziech, Andrzej Czyżewski.
by Dziech, Andrzej | Czyżewski, Andrzej | 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
|
|
|
7095.
|
Advances in Swarm Intelligence [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang.
by Tan, Ying | Shi, Yuhui | Chai, Yi | Wang, Guoyin | 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
|
|
|
7096.
|
Information Security and Cryptology [electronic resource] : 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers / edited by Xuejia Lai, Moti Yung, Dongdai Lin.
by Lai, Xuejia | Yung, Moti | Lin, Dongdai | 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
|
|
|
7097.
|
Privacy Online [electronic resource] : Perspectives on Privacy and Self-Disclosure in the Social Web / edited by Sabine Trepte, Leonard Reinecke.
by Trepte, Sabine | Reinecke, Leonard | 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
|
|
|
7098.
|
Advances in Swarm Intelligence [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang.
by Tan, Ying | Shi, Yuhui | Chai, Yi | Wang, Guoyin | 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
|
|
|
7099.
|
Network Optimization [electronic resource] : 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011. Proceedings / edited by Julia Pahl, Torsten Reiners, Stefan Voß.
by Pahl, Julia | Reiners, Torsten | Voß, Stefan | 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
|
|
|
7100.
|
End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings / edited by Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno.
by Costabile, Maria Francesca | Dittrich, Yvonne | Fischer, Gerhard | Piccinno, Antonio | 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
|
