|
1401.
|
Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
by Dams, Dennis | Hannemann, Ulrich | Steffen, Martin | 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
|
|
1402.
|
Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.
by Arbab, Farhad | Sirjani, Marjan | 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
|
|
1403.
|
Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings / edited by Tomasz Janowski, Hrushikesha Mohanty.
by Janowski, Tomasz | Mohanty, Hrushikesha | 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
|
|
1404.
|
Access Networks [electronic resource] : 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers / edited by Xiao Jun Hei, Lawrence Cheung.
by Hei, Xiao Jun | Cheung, Lawrence | 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
|
|
1405.
|
Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa.
by Fred, Ana | Filipe, Joaquim | Gamboa, Hugo | 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
|
|
1406.
|
Ad Hoc Networks [electronic resource] : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers / edited by Jun Zheng, Shiwen Mao, Scott F. Midkiff, Hua Zhu.
by Zheng, Jun | Mao, Shiwen | Midkiff, Scott F | Zhu, Hua | 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
|
|
1407.
|
Quantum Communication and Quantum Networking [electronic resource] : First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers / edited by Alexander Sergienko, Saverio Pascazio, Paolo Villoresi.
by Sergienko, Alexander | Pascazio, Saverio | Villoresi, Paolo | 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
|
|
1408.
|
Networks for Grid Applications [electronic resource] : Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / edited by Anastasios Doulamis, Joe Mambretti, Ioannis Tomkos, Theodora Varvarigou.
by Doulamis, Anastasios | Mambretti, Joe | Tomkos, Ioannis | Varvarigou, Theodora | 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
|
|
1409.
|
Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings / edited by Fabio Massacci, Dan Wallach, Nicola Zannone.
by Massacci, Fabio | Wallach, Dan | Zannone, Nicola | 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
|
|
1410.
|
Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild.
by England, David | Palanque, Philippe | Vanderdonckt, Jean | Wild, Peter J | 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
|
|
1411.
|
Mobile Networks and Management [electronic resource] : First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers / edited by Kostas Pentikousis, Oliver Blume, Ramón Agüero Calvo, Symeon Papavassiliou.
by Pentikousis, Kostas | Blume, Oliver | Agüero Calvo, Ramón | Papavassiliou, Symeon | 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
|
|
1412.
|
High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / edited by Wu Zhang, Zhangxin Chen, Craig C. Douglas, Weiqin Tong.
by Zhang, Wu | Chen, Zhangxin | Douglas, Craig C | Tong, Weiqin | 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
|
|
1413.
|
Sensor Applications, Experimentation, and Logistics [electronic resource] : First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers / edited by Nikos Komninos.
by Komninos, Nikos | 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
|
|
1414.
|
RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] / edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry Ghidary.
by Baltes, Jacky | Lagoudakis, Michail G | Naruse, Tadashi | Ghidary, Saeed Shiry | 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
|
|
1415.
|
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis.
by Puppis, Gabriele | 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
|
|
1416.
|
Wireless Sensor Networks [electronic resource] : 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings / edited by Jorge Sá Silva, Bhaskar Krishnamachari, Fernando Boavida.
by Silva, Jorge Sá | Krishnamachari, Bhaskar | Boavida, Fernando | 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
|
|
1417.
|
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer.
by Schmid, Ute | Kitzelmann, Emanuel | Plasmeijer, Rinus | 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
|
|
1418.
|
Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings / edited by Christian Müller-Schloer, Wolfgang Karl, Sami Yehia.
by Müller-Schloer, Christian | Karl, Wolfgang | Yehia, Sami | 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
|
|
1419.
|
Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew D. Gordon.
by Gordon, Andrew D | 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
|
|
1420.
|
Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Rajiv Gupta.
by Gupta, Rajiv | 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
|