FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
321. Logic and Program Semantics [electronic resource] :Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /

by Constable, Robert L [editor.] | Silva, Alexandra [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

322. Reversible Computation [electronic resource] :Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /

by Vos, Alexis De [editor.] | Wille, Robert [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

323. Functional and Logic Programming [electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

by Schrijvers, Tom [editor.] | Thiemann, Peter [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

324. Runtime Verification [electronic resource] :Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /

by Khurshid, Sarfraz [editor.] | Sen, Koushik [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

325. Tests and Proofs [electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /

by Brucker, Achim D [editor.] | Julliand, Jacques [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

326. Theory and Practice of Model Transformations [electronic resource] :5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /

by Hu, Zhenjiang [editor.] | Lara, Juan 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, 2012.Online access: Click here to access online Availability: No items available

327. Objects, Models, Components, Patterns [electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings /

by Furia, Carlo A [editor.] | Nanz, Sebastian [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

328. Software Composition [electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /

by Gschwind, Thomas [editor.] | Paoli, Flavio De [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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

329. Reliable Software Technologies – Ada-Europe 2012 [electronic resource] :17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /

by Brorsson, Mats [editor.] | Pinho, Luís 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, 2012.Online access: Click here to access online Availability: No items available

330. Integrated Formal Methods [electronic resource] :9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

by Derrick, John [editor.] | Gnesi, Stefania [editor.] | Latella, Diego [editor.] | Treharne, Helen [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

331. Correct Reasoning [electronic resource] :Essays on Logic-Based AI in Honour of Vladimir Lifschitz /

by Erdem, Esra [editor.] | Lee, Joohyung [editor.] | Lierler, Yuliya [editor.] | Pearce, David [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

332. Formal Techniques for Distributed Systems [electronic resource] :Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /

by Giese, Holger [editor.] | Rosu, Grigore [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

333. Formal Methods for Model-Driven Engineering [electronic resource] :12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /

by Bernardo, Marco [editor.] | Cortellessa, Vittorio [editor.] | Pierantonio, Alfonso [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

334. ECOOP 2012 – Object-Oriented Programming [electronic resource] :26th European Conference, Beijing, China, June 11-16, 2012. Proceedings /

by Noble, James [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

335. Mathematics of Program Construction [electronic resource] :11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /

by Gibbons, Jeremy [editor.] | Nogueira, Pablo [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

336. New Directions in Logic, Language and Computation [electronic resource] :ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /

by Lassiter, Daniel [editor.] | Slavkovik, Marija [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

337. The Logic of Categorial Grammars [electronic resource] :A Deductive Account of Natural Language Syntax and Semantics /

by Moot, Richard [author.] | Retoré, Christian [author.] | 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

338. Generic and Indexed Programming [electronic resource] :International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /

by Gibbons, Jeremy [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

339. Computational Logic in Multi-Agent Systems [electronic resource] :13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /

by Fisher, Michael [editor.] | Torre, Leon van der [editor.] | Dastani, Mehdi [editor.] | Governatori, Guido [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

340. CONCUR 2012 – Concurrency Theory [electronic resource] :23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings /

by Koutny, Maciej [editor.] | Ulidowski, Irek [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


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