|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6213Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6221Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6288Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6083Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 5919Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6294Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6152Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6069Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6245Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6217Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6265Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6285Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 6247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger. by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6246Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings / edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller. by Tempesti, Gianluca [editor.] | Tyrrell, Andy M [editor.] | Miller, Julian F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6274Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska. by Eekelen, Marko [editor.] | Shkaravska, Olha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6324Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / edited by Antonín Kučera, Igor Potapov. by Kučera, Antonín [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6227Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
