FEEDBACK Smiley face

Your search returned 1584 results. Subscribe to this search

|
101. Foundations of Software Science and Computation Structures [electronic resource] :Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings /

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

102. Fundamental Approaches to Software Engineering [electronic resource] :Second International Conference, FASE’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings /

by Finance, Jean-Pierre [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

103. Compiler Construction [electronic resource] :8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings /

by Jähnichen, Stefan [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

104. Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] :5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings /

by Müller, Jörg P [editor.] | Rao, Anand S [editor.] | Singh, Munindar 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, 1999.Online access: Click here to access online Availability: No items available

105. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings /

by Cleaveland, W. Rance [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

106. Programming Languages and Systems [electronic resource] :8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings /

by Swierstra, S. Doaitse [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

107. Algebraic Methodology and Software Technology [electronic resource] :7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /

by Haeberer, Armando M [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

108. Generic Programming [electronic resource] :International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers /

by Jazayeri, Mehdi [editor.] | Loos, Rüdiger G. K [editor.] | Musser, David R [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, 2000.Online access: Click here to access online Availability: No items available

109. Issues in Agent Communication [electronic resource] /

by Dignum, Frank [editor.] | Greaves, Mark [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, 2000.Online access: Click here to access online Availability: No items available

110. Generative and Component-Based Software Engineering [electronic resource] :First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers /

by Czarnecki, Krzysztof [editor.] | Eisenecker, Ulrich 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, 2000.Online access: Click here to access online Availability: No items available

111. Computer Safety, Reliability and Security [electronic resource] :19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings /

by Koornneef, Floor [editor.] | Meulen, Meine van der [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, 2000.Online access: Click here to access online Availability: No items available

112. Integrated Formal Methods [electronic resource] :Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings /

by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [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, 2000.Online access: Click here to access online Availability: No items available

113. Formal Methods in Computer-Aided Design [electronic resource] :Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings /

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

114. Logic for Programming and Automated Reasoning [electronic resource] :7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings /

by Parigot, Michel [editor.] | Voronkov, Andrei [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, 2000.Online access: Click here to access online Availability: No items available

115. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :20th Conference New Delhi, India, December 13–15, 2000 Proceedings /

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [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, 2000.Online access: Click here to access online Availability: No items available

116. Advances in Computing Science — ASIAN 2000 [electronic resource] :6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /

by Jifeng, He [editor.] | Sato, Masahiko [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, 2000.Online access: Click here to access online Availability: No items available

117. Abstract State Machines - Theory and Applications [electronic resource] :International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [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, 2000.Online access: Click here to access online Availability: No items available

118. Modular Programming Languages [electronic resource] :Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings /

by Weck, Wolfgang [editor.] | Gutknecht, Jürg [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, 2000.Online access: Click here to access online Availability: No items available

119. ZB 2000: Formal Specification and Development in Z and B [electronic resource] :First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings.

by SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

120. Randomness and Completeness in Computational Complexity [electronic resource] /

by Melkebeek, Dieter van [author.] | 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, 2000.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