|
|
3201.
|
Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach / by Marco Montali.
by Montali, Marco [author.] | 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
|
|
|
3202.
|
Frontiers in Algorithmics [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings / edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying.
by Lee, Der-Tsai [editor.] | Chen, Danny Z [editor.] | Ying, Shi [editor.] | 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
|
|
|
3203.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings / edited by Gopal Pandurangan, V. S. Anil Kumar, Gu Ming, Yunhao Liu, Yingshu Li.
by Pandurangan, Gopal [editor.] | Anil Kumar, V. S [editor.] | Ming, Gu [editor.] | Liu, Yunhao [editor.] | Li, Yingshu [editor.] | 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
|
|
|
3204.
|
Ad-Hoc, Mobile and Wireless Networks [electronic resource] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings / edited by Ioanis Nikolaidis, Kui Wu.
by Nikolaidis, Ioanis [editor.] | Wu, Kui [editor.] | 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
|
|
|
3205.
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers / edited by Leszek A. Maciaszek, César González-Pérez, Stefan Jablonski.
by Maciaszek, Leszek A [editor.] | González-Pérez, César [editor.] | Jablonski, Stefan [editor.] | 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
|
|
|
3206.
|
Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers / edited by Ching-Hsien Hsu, Victor Malyshkin.
by Hsu, Ching-Hsien [editor.] | Malyshkin, Victor [editor.] | 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
|
|
|
3207.
|
Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah.
by Braubach, Lars [editor.] | Briot, Jean-Pierre [editor.] | Thangarajah, John [editor.] | 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
|
|
|
3208.
|
Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.
by Müller-Hannemann, Matthias [editor.] | Schirra, Stefan [editor.] | 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
|
|
|
3209.
|
Scandinavian Information Systems Research [electronic resource] : First Scandinavian Conference on Information Systems, SCIS 2010, Rebild, Denmark, August 20-22, 2010. Proceedings / edited by Karlheinz Kautz, Peter Axel Nielsen.
by Kautz, Karlheinz [editor.] | Nielsen, Peter Axel [editor.] | 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
|
|
|
3210.
|
Smart Spaces and Next Generation Wired/Wireless Networking [electronic resource] : Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings / edited by Sergey Balandin, Roman Dunaytsev, Yevgeni Koucheryavy.
by Balandin, Sergey [editor.] | Dunaytsev, Roman [editor.] | Koucheryavy, Yevgeni [editor.] | 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
|
|
|
3211.
|
Systems and Virtualization Management. Standards and the Cloud [electronic resource] : Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers / edited by Latifa Boursas, Mark Carlson, Hai Jin, Michelle Sibilla, Kes Wold.
by Boursas, Latifa [editor.] | Carlson, Mark [editor.] | Jin, Hai [editor.] | Sibilla, Michelle [editor.] | Wold, Kes [editor.] | 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
|
|
|
3212.
|
Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 / edited by Tanja Zseby, Reijo Savola, Marco Pistore.
by Zseby, Tanja [editor.] | Savola, Reijo [editor.] | Pistore, Marco [editor.] | 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
|
|
|
3213.
|
Coordination, Organizations, Institutions and Norms in Agent Systems V [electronic resource] : COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres Silva, Eric Matson, Axel Polleres.
by Padget, Julian [editor.] | Artikis, Alexander [editor.] | Vasconcelos, Wamberto [editor.] | Stathis, Kostas [editor.] | Silva, Viviane Torres [editor.] | Matson, Eric [editor.] | Polleres, Axel [editor.] | 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
|
|
|
3214.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings / edited by Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga.
by Dix, Jürgen [editor.] | Leite, João [editor.] | Governatori, Guido [editor.] | Jamroga, Wojtek [editor.] | 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
|
|
|
3215.
|
Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
by Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Reisig, Wolfgang [editor.] | 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
|
|
|
3216.
|
Transactions on Computational Collective Intelligence I [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | 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
|
|
|
3217.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani.
by Leavens, Gary T [editor.] | O’Hearn, Peter [editor.] | Rajamani, Sriram K [editor.] | 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
|
|
|
3218.
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings / edited by Abdelkader Hameurlain, Franck Morvan, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Morvan, Franck [editor.] | Tjoa, A Min [editor.] | 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
|
|
|
3219.
|
Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings / edited by Muhammad Ali Babar, Ian Gorton.
by Babar, Muhammad Ali [editor.] | Gorton, Ian [editor.] | 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
|
|
|
3220.
|
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.
by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | 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
|
