FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
81. Foundations of Software Science and Computation Structures [electronic resource] :5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

by Nielsen, Mogens [editor.] | Engberg, Uffe [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

82. Compiler Construction [electronic resource] :11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

by Horspool, R. Nigel [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

83. Isabelle/HOL [electronic resource] :A Proof Assistant for Higher-Order Logic /

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [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

84. Developments in Language Theory [electronic resource] :5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers /

by Kuich, Werner [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, 2002.Online access: Click here to access online Availability: No items available

85. Principles and Practice of Constraint Programming - CP 2002 [electronic resource] :8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings /

by Hentenryck, Pascal Van [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, 2002.Online access: Click here to access online Availability: No items available

86. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] :International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures /

by Backhouse, Roland [editor.] | Crole, Roy [editor.] | Gibbons, Jeremy [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

87. Logic Programming [electronic resource] :19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /

by Palamidessi, Catuscia [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

88. Abstract State Machines 2003 [electronic resource] :Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

by Börger, Egon [editor.] | Gargantini, Angelo [editor.] | Riccobene, Elvinia [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

89. Compiler Construction [electronic resource] :12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

by Hedin, Görel [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

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

91. Formal Methods and Software Engineering [electronic resource] :5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings /

by Dong, Jin Song [editor.] | Woodcock, Jim [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

92. Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] :10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers /

by Aichernig, Bernhard K [editor.] | Maibaum, Tom [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

93. Programming Languages and Systems [electronic resource] :First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings /

by Ohori, 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, 2003.Online access: Click here to access online Availability: No items available

94. Static Analysis [electronic resource] :10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings /

by Cousot, Radhia [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

95. Typed Lambda Calculi and Applications [electronic resource] :6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings /

by Hofmann, 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, 2003.Online access: Click here to access online Availability: No items available

96. Automated Deduction – CADE-19 [electronic resource] :19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings /

by Baader, Franz [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

97. Principles and Practice of Constraint Programming – CP 2003 [electronic resource] :9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings /

by Rossi, Francesca [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

98. FME 2003: Formal Methods [electronic resource] :International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings /

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [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, 2003.Online access: Click here to access online Availability: No items available

99. Compiler Construction [electronic resource] :13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /

by Duesterwald, Evelyn [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

100. Foundations of Software Science and Computation Structures [electronic resource] :7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings /

by Walukiewicz, 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, 2004.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