FEEDBACK Smiley face

Your search returned 185 results. Subscribe to this search

|
161. 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

162. 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

163. 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

164. 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

165. 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

166. 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

167. 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

168. 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

169. 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

170. 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

171. 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

172. 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

173. Computation, Physics and Beyond [electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /

by Dinneen, Michael J [editor.] | Khoussainov, Bakhadyr [editor.] | Nies, André [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, 2012.Online access: Click here to access online Availability: No items available

174. Recent Trends in Algebraic Development Techniques [electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /

by Mossakowski, Till [editor.] | Kreowski, Hans-Jörg [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, 2012.Online access: Click here to access online Availability: No items available

175. Theory and Applications of Models of Computation [electronic resource] :9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /

by Agrawal, Manindra [editor.] | Cooper, S. Barry [editor.] | Li, Angsheng [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, 2012.Online access: Click here to access online Availability: No items available

176. Languages Alive [electronic resource] :Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday /

by Bordihn, Henning [editor.] | Kutrib, Martin [editor.] | Truthe, Bianca [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, 2012.Online access: Click here to access online Availability: No items available

177. Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] :9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /

by Roychoudhury, Abhik [editor.] | D’Souza, Meenakshi [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, 2012.Online access: Click here to access online Availability: No items available

178. Theoretical Computer Science [electronic resource] :7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /

by Baeten, Jos C. M [editor.] | Ball, Tom [editor.] | Boer, Frank S. 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 : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

179. Logical Foundations of Computer Science [electronic resource] :International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

by Artemov, Sergei [editor.] | Nerode, Anil [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, 2013.Online access: Click here to access online Availability: No items available

180. Recent Trends in Algebraic Development Techniques [electronic resource] :21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /

by Martí-Oliet, Narciso [editor.] | Palomino, Miguel [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, 2013.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