FEEDBACK Smiley face

Your search returned 14 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. Mathematical Foundations of Computer Science 1999 [electronic resource] :24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings /

by Kutyłowski, Mirosław [editor.] | Pacholski, Leszek [editor.] | Wierzbicki, Tomasz [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, 1999.Online access: Click here to access online Availability: No items available

3. Application and Theory of Petri Nets 1999 [electronic resource] :20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings /

by Donatelli, Susanna [editor.] | Kleijn, Jetty [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, 1999.Online access: Click here to access online Availability: No items available

4. Unifying Petri Nets [electronic resource] :Advances in Petri Nets /

by Ehrig, Hartmut [editor.] | Padberg, Julia [editor.] | Juhás, Gabriel [editor.] | Rozenberg, Grzegorz [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, 2001.Online access: Click here to access online Availability: No items available

5. Applications and Theory of Petri Nets 2001 [electronic resource] :22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /

by Colom, José-Manuel [editor.] | Koutny, Maciej [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, 2001.Online access: Click here to access online Availability: No items available

6. Application and Theory of Petri Nets 2002 [electronic resource] :23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /

by Esparza, Javier [editor.] | Lakos, Charles [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, 2002.Online access: Click here to access online Availability: No items available

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

8. Computational Logic in Multi-Agent Systems [electronic resource] :5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /

by Leite, João [editor.] | Torroni, Paolo [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

9. Fields of Logic and Computation [electronic resource] :Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

by Blass, Andreas [editor.] | Dershowitz, Nachum [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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

10. Automata, Languages and Programming [electronic resource] :38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

by Aceto, Luca [editor.] | Henzinger, Monika [editor.] | Sgall, Jiří [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, 2011.Online access: Click here to access online Availability: No items available

11. Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] :11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /

by Liu, Weiru [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, 2011.Online access: Click here to access online Availability: No items available

12. Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] :Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

by Agha, Gul [editor.] | Danvy, Olivier [editor.] | Meseguer, José [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, 2011.Online access: Click here to access online Availability: No items available

13. Argumentation in Multi-Agent Systems [electronic resource] :8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /

by McBurney, Peter [editor.] | Parsons, Simon [editor.] | Rahwan, Iyad [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

14. Software Technologies: Applications and Foundations [electronic resource] :STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /

by Milazzo, Paolo [editor.] | Varró, Dániel [editor.] | Wimmer, Manuel [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, 2016.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