FEEDBACK Smiley face

Your search returned 185 results. Subscribe to this search

|
141. Theorem Proving in Higher Order Logics [electronic resource] :22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [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, 2009.Online access: Click here to access online Availability: No items available

142. Fundamentals of Computation Theory [electronic resource] :17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings /

by Kutyłowski, Mirosław [editor.] | Charatonik, Witold [editor.] | Gębala, Maciej [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

143. Recent Trends in Algebraic Development Techniques [electronic resource] :19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

by Corradini, Andrea [editor.] | Montanari, Ugo [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, 2009.Online access: Click here to access online Availability: No items available

144. Algebraic Informatics [electronic resource] :Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

by Bozapalidis, Symeon [editor.] | Rahonis, George [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

145. Mathematical Foundations of Computer Science 2009 [electronic resource] :34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /

by Královič, Rastislav [editor.] | Niwiński, Damian [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, 2009.Online access: Click here to access online Availability: No items available

146. Frontiers of Combining Systems [electronic resource] :7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /

by Ghilardi, Silvio [editor.] | Sebastiani, Roberto [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, 2009.Online access: Click here to access online Availability: No items available

147. Logic Programming and Nonmonotonic Reasoning [electronic resource] :10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /

by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [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

148. Advanced Functional Programming [electronic resource] :6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /

by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [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, 2009.Online access: Click here to access online Availability: No items available

149. Automated Technology for Verification and Analysis [electronic resource] :7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

by Liu, Zhiming [editor.] | Ravn, Anders P [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

150. Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] /

by Jensen, Kurt [editor.] | Billington, Jonathan [editor.] | Koutny, Maciej [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

151. Logic, Rationality, and Interaction [electronic resource] :Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /

by He, Xiangdong [editor.] | Horty, John [editor.] | Pacuit, Eric [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

152. Teaching Formal Methods [electronic resource] :Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

by Gibbons, Jeremy [editor.] | Oliveira, José Nuno [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

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

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

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

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

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

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

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

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


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