FEEDBACK Smiley face

Your search returned 193 results. Subscribe to this search

|
161. Knowledge Representation for Agents and Multi-Agent Systems [electronic resource] :First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers /

by Meyer, John-Jules Ch [editor.] | Broersen, Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

162. Rigorous Methods for Software Construction and Analysis [electronic resource] :Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /

by Abrial, Jean-Raymond [editor.] | Glässer, Uwe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Online access: Click here to access online Availability: No items available

163. Transactions on Rough Sets XI [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

164. Abstract State Machines, Alloy, B and Z [electronic resource] :Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

by Frappier, Marc [editor.] | Glässer, Uwe [editor.] | Khurshid, Sarfraz [editor.] | Laleau, Régine [editor.] | Reeves, Steve [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

165. Foundations of Information and Knowledge Systems [electronic resource] :6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /

by Link, Sebastian [editor.] | Prade, Henri [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

166. Computer Science – Theory and Applications [electronic resource] :5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

by Ablayev, Farid [editor.] | Mayr, Ernst W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

167. Time for Verification [electronic resource] :Essays in Memory of Amir Pnueli /

by Manna, Zohar [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

168. Logic, Language, Information and Computation [electronic resource] :17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

by Dawar, Anuj [editor.] | Queiroz, Ruy de [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

169. A 25-Year Perspective on Logic Programming [electronic resource] :Achievements of the Italian Association for Logic Programming, GULP /

by Dovier, Agostino [editor.] | Pontelli, Enrico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

170. The Mathematics of Language [electronic resource] :10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /

by Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Michaelis, Jens [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

171. Developments in Language Theory [electronic resource] :14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /

by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

172. Transactions on Rough Sets XII [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Słowiński, Roman [editor.] | Lingras, Pawan [editor.] | Miao, Duoqian [editor.] | Tsumoto, Shusaku [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

173. Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] :8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

by Bonanno, Giacomo [editor.] | Löwe, Benedikt [editor.] | Hoek, Wiebe van der [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

174. Computer Science Logic [electronic resource] :24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

175. Rainbow of Computer Science [electronic resource] :Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /

by Calude, Cristian S [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

176. Theory and Applications of Models of Computation [electronic resource] :8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /

by Ogihara, Mitsunori [editor.] | Tarui, Jun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

177. Transactions on Rough Sets XIV [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Sakai, Hiroshi [editor.] | Chakraborty, Mihir Kumar [editor.] | Slezak, Dominik [editor.] | Hassanien, Aboul Ella [editor.] | Zhu, William [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

178. The Mathematics of Language [electronic resource] :12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /

by Kanazawa, Makoto [editor.] | Kornai, András [editor.] | Kracht, Marcus [editor.] | Seki, Hiroyuki [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

179. Logic, Rationality, and Interaction [electronic resource] :Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

by Ditmarsch, Hans van [editor.] | Lang, Jérôme [editor.] | Ju, Shier [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

180. Quantum Interaction [electronic resource] :5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers /

by Song, Dawei [editor.] | Melucci, Massimo [editor.] | Frommholz, Ingo [editor.] | Zhang, Peng [editor.] | Wang, Lei [editor.] | Arafat, Sachi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in