FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

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

342. Static Analysis [electronic resource] :19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /

by Miné, Antoine [editor.] | Schmidt, 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

343. Formal Methods: Foundations and Applications [electronic resource] :15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /

by Gheyi, Rohit [editor.] | Naumann, 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

344. Formal Modeling and Analysis of Timed Systems [electronic resource] :10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /

by Jurdziński, Marcin [editor.] | Ničković, Dejan [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

345. Reachability Problems [electronic resource] :6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /

by Finkel, Alain [editor.] | Leroux, Jérôme [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, 2012.Online access: Click here to access online Availability: No items available

346. Principles and Practice of Constraint Programming [electronic resource] :18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /

by Milano, Michela [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

347. Software Engineering and Formal Methods [electronic resource] :10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /

by Eleftherakis, George [editor.] | Hinchey, Mike [editor.] | Holcombe, Mike [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

348. Rewriting Logic and Its Applications [electronic resource] :9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

by Durán, Franciso [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

349. Formal Methods and Software Engineering [electronic resource] :14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /

by Aoki, Toshiaki [editor.] | Taguchi, Kenji [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

350. Implementation and Application of Functional Languages [electronic resource] :23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

by Gill, Andy [editor.] | Hage, Jurriaan [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

351. Programming Languages and Systems [electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings /

by Jhala, Ranjit [editor.] | Igarashi, Atsushi [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

352. Certified Programs and Proofs [electronic resource] :Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /

by Hawblitzel, Chris [editor.] | Miller, Dale [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

353. Formal Aspects of Component Software [electronic resource] :8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [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

354. Tools for Practical Software Verification [electronic resource] :LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures /

by Meyer, Bertrand [editor.] | Nordio, Martin [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

355. Software Language Engineering [electronic resource] :6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /

by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric Van [editor.] | SpringerLink (Online service).

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

356. Hardware and Software: Verification and Testing [electronic resource] :9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service).

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

357. Programming Languages and Systems [electronic resource] :11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /

by Shan, Chung-chieh [editor.] | SpringerLink (Online service).

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

358. Certified Programs and Proofs [electronic resource] :Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service).

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

359. Runtime Verification [electronic resource] :Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

by Qadeer, Shaz [editor.] | Tasiran, Serdar [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

360. Unifying Theories of Programming [electronic resource] :4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /

by Wolff, Burkhart [editor.] | Gaudel, Marie-Claude [editor.] | Feliachi, Abderrahmane [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