FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

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

362. Formal Aspects of Component Software [electronic resource] :9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /

by Păsăreanu, Corina S [editor.] | Salaün, Gwen [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

363. Generative and Transformational Techniques in Software Engineering IV [electronic resource] :International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /

by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [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

364. Software Language Engineering [electronic resource] :5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

by Czarnecki, Krzysztof [editor.] | Hedin, Görel [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

365. Foundations of Software Science and Computation Structures [electronic resource] :16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /

by Pfenning, Frank [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

366. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] :Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /

by Coecke, Bob [editor.] | Ong, Luke [editor.] | Panangaden, Prakash [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

367. Integrated Formal Methods [electronic resource] :10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

by Johnsen, Einar Broch [editor.] | Petre, Luigia [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

368. Static Analysis [electronic resource] :20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /

by Logozzo, Francesco [editor.] | Fähndrich, Manuel [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

369. Tests and Proofs [electronic resource] :7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /

by Veanes, Margus [editor.] | Viganò, Luca [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

370. ECOOP 2013 – Object-Oriented Programming [electronic resource] :27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /

by Castagna, Giuseppe [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

371. Structured Object-Oriented Formal Language and Method [electronic resource] :Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /

by Liu, Shaoying [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

372. Hardware and Software: Verification and Testing [electronic resource] :8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /

by Biere, Armin [editor.] | Nahir, Amir [editor.] | Vos, Tanja [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

373. The Beauty of Functional Code [electronic resource] :Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

by Achten, Peter [editor.] | Koopman, Pieter [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

374. Trends in Functional Programming [electronic resource] :13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /

by Loidl, Hans-Wolfgang [editor.] | Peña, Ricardo [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

375. Software Engineering and Formal Methods [electronic resource] :11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [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

376. Computational Logic in Multi-Agent Systems [electronic resource] :14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /

by Leite, João [editor.] | Son, Tran Cao [editor.] | Torroni, Paolo [editor.] | Torre, Leon van der [editor.] | Woltran, Stefan [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

377. Principles and Practice of Constraint Programming [electronic resource] :19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /

by Schulte, Christian [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

378. Runtime Verification [electronic resource] :4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /

by Legay, Axel [editor.] | Bensalem, Saddek [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

379. Reachability Problems [electronic resource] :7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

by Abdulla, Parosh Aziz [editor.] | Potapov, Igor [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

380. Formal Methods and Software Engineering [electronic resource] :15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings /

by Groves, Lindsay [editor.] | Sun, Jing [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