FEEDBACK Smiley face

Your search returned 193 results. Subscribe to this search

|
61. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers /

by Geuvers, Herman [editor.] | Wiedijk, Freek [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, 2003.Online access: Click here to access online Availability: No items available

62. Correct Hardware Design and Verification Methods [electronic resource] :12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings /

by Geist, Daniel [editor.] | Tronci, Enrico [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, 2003.Online access: Click here to access online Availability: No items available

63. Applications and Theory of Petri Nets 2003 [electronic resource] :24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

by Aalst, Wil M. P. van der [editor.] | Best, Eike [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, 2003.Online access: Click here to access online Availability: No items available

64. Computer Aided Verification [electronic resource] :15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings /

by Hunt, Warren A [editor.] | Somenzi, Fabio [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, 2003.Online access: Click here to access online Availability: No items available

65. Fundamentals of Computation Theory [electronic resource] :14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003. Proceedings /

by Lingas, Andrzej [editor.] | Nilsson, Bengt J [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, 2003.Online access: Click here to access online Availability: No items available

66. Theoretical Computer Science [electronic resource] :8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings /

by Blundo, Carlo [editor.] | Laneve, Cosimo [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, 2003.Online access: Click here to access online Availability: No items available

67. Membrane Computing [electronic resource] :International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /

by Martín-Vide, Carlos [editor.] | Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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

68. STACS 2004 [electronic resource] :21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings /

by Diekert, Volker [editor.] | Habib, Michel [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

69. Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] :11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [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

70. Deontic Logic in Computer Science [electronic resource] :7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /

by Lomuscio, Alessio [editor.] | Nute, Donald [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

71. Rough Sets and Current Trends in Computing [electronic resource] :4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Proceedings /

by Tsumoto, Shusaku [editor.] | Słowiński, Roman [editor.] | Komorowski, Jan [editor.] | Grzymała-Busse, Jerzy W [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

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

73. Theory Is Forever [electronic resource] :Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

by Karhumäki, Juhani [editor.] | Maurer, Hermann [editor.] | Păun, Gheorghe [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, 2004.Online access: Click here to access online Availability: No items available

74. Computer Aided Verification [electronic resource] :16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /

by Alur, Rajeev [editor.] | Peled, Doron 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, 2004.Online access: Click here to access online Availability: No items available

75. Theorem Proving in Higher Order Logics [electronic resource] :17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [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

76. Teaching Formal Methods [electronic resource] :CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

by Dean, C. Neville [editor.] | Boute, Raymond T [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

77. Transactions on Rough Sets II [electronic resource] :Rough Sets and Fuzzy Sets /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Dubois, Didier [editor.] | Grzymała-Busse, Jerzy W [editor.] | Inuiguchi, Masahiro [editor.] | Polkowski, Lech [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

78. FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :24th International Conference, Chennai, India, December 16-18, 2004. Proceedings /

by Lodaya, Kamal [editor.] | Mahajan, Meena [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

79. Automata, Languages and Programming [electronic resource] :32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings /

by Caires, Luís [editor.] | Italiano, Giuseppe F [editor.] | Monteiro, Luís [editor.] | Palamidessi, Catuscia [editor.] | Yung, Moti [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

80. Frontiers of Combining Systems [electronic resource] :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /

by Gramlich, Bernhard [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


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