FEEDBACK Smiley face

Your search returned 656 results. Subscribe to this search

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

102. Developments in Applied Artificial Intelligence [electronic resource] :16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings /

by Chung, Paul W. H [editor.] | Hinde, Chris [editor.] | Ali, Moonis [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

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

104. Theorem Proving in Higher Order Logics [electronic resource] :16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings /

by Basin, David [editor.] | Wolff, Burkhart [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

105. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings /

by Cialdea Mayer, Marta [editor.] | Pirri, Fiora [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

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

107. Conceptual Modeling — ER 2002 [electronic resource] :21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings /

by Spaccapietra, Stefano [editor.] | March, Salvatore T [editor.] | Kambayashi, Yahiko [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

108. Logic Programming and Nonmonotonic Reasoning [electronic resource] :7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings /

by Lifschitz, Vladimir [editor.] | Niemelä, Ilkka [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

109. Concept Lattices [electronic resource] :Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings /

by Eklund, Peter [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

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

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

112. Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] :7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers /

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [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

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

114. Logic Based Program Synthesis and Transformation [electronic resource] :13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /

by Bruynooghe, Maurice [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

115. Program Development in Computational Logic [electronic resource] :A Decade of Research Advances in Logic-Based Program Development /

by Bruynooghe, Maurice [editor.] | Lau, Kung-Kiu [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

116. Applications of Graph Transformations with Industrial Relevance [electronic resource] :Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /

by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [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

117. Automated Reasoning [electronic resource] :Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /

by Basin, David [editor.] | Rusinowitch, Michaël [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

118. Mathematics of Program Construction [electronic resource] :7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /

by Kozen, Dexter [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

119. Logic Programming [electronic resource] :20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /

by Demoen, Bart [editor.] | Lifschitz, Vladimir [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

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


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