FEEDBACK Smiley face

Your search returned 953 results. Subscribe to this search

|
101. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] :13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15–19, 1999 Proceedings /

by Fossorier, Marc [editor.] | Imai, Hideki [editor.] | Lin, Shu [editor.] | Poli, Alain [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. SOFSEM’99: Theory and Practice of Informatics [electronic resource] :26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings /

by Pavelka, Jan [editor.] | Tel, Gerard [editor.] | Bartošek, Miroslav [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. Automated Deduction in Geometry [electronic resource] :Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings /

by Gao, Xiao-Shan [author.] | Wang, Dongming [author.] | Yang, Lu [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, 1999.Online access: Click here to access online Availability: No items available

104. Correct System Design [electronic resource] :Recent Insights and Advances /

by Olderog, Ernst-Rüdiger [editor.] | Steffen, 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, 1999.Online access: Click here to access online Availability: No items available

105. FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II /

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, 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, 1999.Online access: Click here to access online Availability: No items available

106. FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I /

by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, 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, 1999.Online access: Click here to access online Availability: No items available

107. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers /

by Altenkirch, Thorsten [editor.] | Reus, Bernhard [editor.] | Naraschewski, 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

108. Computer Science Logic [electronic resource] :13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings /

by Flum, Jörg [editor.] | Rodriguez-Artalejo, Mario [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

109. Dependable Computing — EDCC-3 [electronic resource] :Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings /

by Hlavička, Jan [editor.] | Maehle, Erik [editor.] | Pataricza, Andrá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, 1999.Online access: Click here to access online Availability: No items available

110. Static Analysis [electronic resource] :6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings /

by Cortesi, Agostino [editor.] | Filé, Gilberto [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

111. Euro-Par’99 Parallel Processing [electronic resource] :5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings /

by Amestoy, Patrick [editor.] | Berger, Philippe [editor.] | Daydé, Michel [editor.] | Ruiz, Daniel [editor.] | Duff, Iain [editor.] | Frayssé, Valérie [editor.] | Giraud, Luc [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

112. Algorithm Engineering [electronic resource] :3rd International Workshop, WAE’99 London, UK, July 19–21, 1999 Proceedings /

by Vitter, Jeffrey S [editor.] | Zaroliagis, Christos 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, 1999.Online access: Click here to access online Availability: No items available

113. Fundamentals of Computation Theory [electronic resource] :12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings /

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [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

114. Mathematical Foundations of Computer Science 1999 [electronic resource] :24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings /

by Kutyłowski, Mirosław [editor.] | Pacholski, Leszek [editor.] | Wierzbicki, Tomasz [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

115. Algorithms and Data Structures [electronic resource] :6th International Workshop, WADS’99 Vancouver, Canada, August 11–14, 1999 Proceedings /

by Dehne, Frank [editor.] | Sack, Jörg-Rüdiger [editor.] | Gupta, Arvind [editor.] | Tamassia, Roberto [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, 1999.Online access: Click here to access online Availability: No items available

116. Algorithms - ESA’ 99 [electronic resource] :7th Annual European Symposium Prague, Czech Republic, July 16–18, 1999 Proceedings /

by Nešetřil, Jaroslav [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

117. Vector and Parallel Processing – VECPAR’98 [electronic resource] :Third International Conference, Porto, Portugal, June 21-23, 1998. Selected Papers and Invited Talks /

by Hernández, Vicente [editor.] | Palma, José M. L. M [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, 1999.Online access: Click here to access online Availability: No items available

118. Automata, Languages and Programming [electronic resource] :26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings /

by Wiedermann, Jiří [editor.] | Emde Boas, Peter van [editor.] | Nielsen, Mogens [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

119. Conceptual Structures: Standards and Practices [electronic resource] :7th International Conference on Conceptual Structures, ICCS’99 Blacksburg, VA, USA, July 12–15, 1999 Proceedings /

by Tepfenhart, William M [editor.] | Cyre, Walling [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

120. Computer Aided Verification [electronic resource] :11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings /

by Halbwachs, Nicolas [editor.] | Peled, Doron [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


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