FEEDBACK Smiley face

Your search returned 410 results. Subscribe to this search

|
101. Automata, Languages and Programming [electronic resource] :29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings /

by Widmayer, Peter [editor.] | Eidenbenz, Stephan [editor.] | Triguero, Francisco [editor.] | Morales, Rafael [editor.] | Conejo, Ricardo [editor.] | Hennessy, Matthew [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

102. FME 2002:Formal Methods—Getting IT Right [electronic resource] :International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings /

by Eriksson, Lars-Henrik [editor.] | Lindsay, Peter Alexander [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

103. Computer Aided Verification [electronic resource] :14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings /

by Brinksma, Ed [editor.] | Larsen, Kim Guldstrand [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

104. Theorem Proving in Higher Order Logics [electronic resource] :15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings /

by Carreño, Victor A [editor.] | Muñoz, César A [editor.] | Tahar, Sofiène [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

105. Euro-Par 2002 Parallel Processing [electronic resource] :8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings /

by Monien, Burkhard [editor.] | Feldmann, Rainer [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

106. Algebraic Methodology and Software Technology [electronic resource] :9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings /

by Kirchner, Hélène [editor.] | Ringeissen, Christophe [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

107. Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] :Performance 2002 Tutorial Lectures /

by Calzarossa, Maria Carla [editor.] | Tucci, Salvatore [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

108. Rough Sets and Current Trends in Computing [electronic resource] :Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings /

by Alpigini, James J [editor.] | Peters, James F [editor.] | Skowron, Andrzej [editor.] | Zhong, Ning [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

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

110. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :8th International Conference, TACAS 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 Katoen, Joost-Pieter [editor.] | Stevens, Perdita [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

111. Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] :12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings /

by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [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

112. Computational Science — ICCS 2002 [electronic resource] :International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part I /

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack 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, 2002.Online access: Click here to access online Availability: No items available

113. Computational Science — ICCS 2002 [electronic resource] :International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part II /

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack 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, 2002.Online access: Click here to access online Availability: No items available

114. Computational Science — ICCS 2002 [electronic resource] :International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III /

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack 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, 2002.Online access: Click here to access online Availability: No items available

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

116. Verification, Model Checking, and Abstract Interpretation [electronic resource] :Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers /

by Cortesi, Agostino [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

117. Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] :NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers /

by Grigoras, Dan [editor.] | Nicolau, Alex [editor.] | Toursel, Bernard [editor.] | Folliot, Bertil [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

118. Integer Programming and Combinatorial Optimization [electronic resource] :9th International IPCO Conference Cambridge, MA, USA, May 27–29, 2002 Proceedings /

by Cook, William J [editor.] | Schulz, Andreas S [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

119. Integrated Formal Methods [electronic resource] :Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings /

by Butler, Michael [editor.] | Petre, Luigia [editor.] | Sere, Kaisa [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

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


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