FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
381. Constraint Solving and Language Processing [electronic resource] :7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /

by Duchier, Denys [editor.] | Parmentier, Yannick [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

382. Implementation and Application of Functional Languages [electronic resource] :24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

by Hinze, Ralf [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

383. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [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

384. Structured Object-Oriented Formal Language and Method [electronic resource] :Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

by Liu, Shaoying [editor.] | Duan, Zhenhua [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, 2014.Online access: Click here to access online Availability: No items available

385. Functional and Logic Programming [electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

by Codish, Michael [editor.] | Sumii, Eijiro [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, 2014.Online access: Click here to access online Availability: No items available

386. Formal Aspects of Component Software [electronic resource] :10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /

by Fiadeiro, José Luiz [editor.] | Liu, Zhiming [editor.] | Xue, Jinyun [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, 2014.Online access: Click here to access online Availability: No items available

387. Reliable Software Technologies – Ada-Europe 2014 [electronic resource] :19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /

by George, Laurent [editor.] | Vardanega, Tullio [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, 2014.Online access: Click here to access online Availability: No items available

388. Tests and Proofs [electronic resource] :8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /

by Seidl, Martina [editor.] | Tillmann, Nikolai [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, 2014.Online access: Click here to access online Availability: No items available

389. Computational Logic in Multi-Agent Systems [electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /

by Bulling, Nils [editor.] | Torre, Leendert van der [editor.] | Villata, Serena [editor.] | Jamroga, Wojtek [editor.] | Vasconcelos, Wamberto [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, 2014.Online access: Click here to access online Availability: No items available

390. Integrated Formal Methods [electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

by Albert, Elvira [editor.] | Sekerinski, Emil [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, 2014.Online access: Click here to access online Availability: No items available

391. Software Engineering and Formal Methods [electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /

by Giannakopoulou, Dimitra [editor.] | Salaün, Gwen [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, 2014.Online access: Click here to access online Availability: No items available

392. Static Analysis [electronic resource] :21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

by Müller-Olm, Markus [editor.] | Seidl, Helmut [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, 2014.Online access: Click here to access online Availability: No items available

393. Runtime Verification [electronic resource] :5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /

by Bonakdarpour, Borzoo [editor.] | Smolka, Scott A [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, 2014.Online access: Click here to access online Availability: No items available

394. Software Language Engineering [electronic resource] :7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /

by Combemale, Benoît [editor.] | Pearce, David J [editor.] | Barais, Olivier [editor.] | Vinju, Jurgen J [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, 2014.Online access: Click here to access online Availability: No items available

395. Reachability Problems [electronic resource] :8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /

by Ouaknine, Joël [editor.] | Potapov, Igor [editor.] | Worrell, James [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, 2014.Online access: Click here to access online Availability: No items available

396. Formal Methods and Software Engineering [electronic resource] :16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /

by Merz, Stephan [editor.] | Pang, Jun [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, 2014.Online access: Click here to access online Availability: No items available

397. Automated Technology for Verification and Analysis [electronic resource] :12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /

by Cassez, Franck [editor.] | Raskin, Jean-François [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, 2014.Online access: Click here to access online Availability: No items available

398. Verified Software: Theories, Tools and Experiments [electronic resource] :6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /

by Giannakopoulou, Dimitra [editor.] | Kroening, Daniel [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, 2014.Online access: Click here to access online Availability: No items available

399. Model-Based Safety and Assessment [electronic resource] :4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /

by Ortmeier, Frank [editor.] | Rauzy, Antoine [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, 2014.Online access: Click here to access online Availability: No items available

400. Programming Languages and Systems [electronic resource] :12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /

by Garrigue, Jacques [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, 2014.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