FEEDBACK Smiley face

Your search returned 8 results. Subscribe to this search

|
1. Application and Theory of Petri Nets 1997 [electronic resource] :18th International Conference, ICATPN'97 Toulouse, France, June 23–27, 1997 Proceedings /

by Azéma, Pierre [editor.] | Balbo, Gianfranco [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, 1997.Online access: Click here to access online Availability: No items available

2. Applications and Theory of Petri Nets 2004 [electronic resource] :25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /

by Cortadella, Jordi [editor.] | Reisig, Wolfgang [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, 2004.Online access: Click here to access online Availability: No items available

3. Theory and Applications of Satisfiability Testing [electronic resource] :7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /

by Hoos, Holger H [editor.] | Mitchell, David G [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, 2005.Online access: Click here to access online Availability: No items available

4. Theory and Applications of Satisfiability Testing [electronic resource] :8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /

by Bacchus, Fahiem [editor.] | Walsh, Toby [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, 2005.Online access: Click here to access online Availability: No items available

5. Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] :9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /

by Biere, Armin [editor.] | Gomes, Carla 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, 2006.Online access: Click here to access online Availability: No items available

6. Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] :10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /

by Marques-Silva, João [editor.] | Sakallah, Karem 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, 2007.Online access: Click here to access online Availability: No items available

7. Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] :11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /

by Kleine Büning, Hans [editor.] | Zhao, Xishun [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, 2008.Online access: Click here to access online Availability: No items available

8. Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] :12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /

by Kullmann, Oliver [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


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