FEEDBACK Smiley face

Your search returned 1584 results. Subscribe to this search

|
141. Computer Security - ESORICS 2000 [electronic resource] :6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000. Proceedings /

by Cuppens, Frédéric [editor.] | Deswarte, Yves [editor.] | Gollmann, Dieter [editor.] | Waidner, Michael [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

142. Principles and Practice of Constraint Programming – CP 2000 [electronic resource] :6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings /

by Dechter, Rina [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

143. Semantics, Applications, and Implementation of Program Generation [electronic resource] :International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings /

by Taha, Walid [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

144. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings /

by Joseph, Mathai [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

145. Algebraic Methodology and Software Technology [electronic resource] :8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /

by Rus, Teodor [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

146. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

by Graf, Susanne [editor.] | Schwartzbach, Michael [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

147. Compiler Construction [electronic resource] :9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

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

148. Programming Languages and Systems [electronic resource] :9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

by Smolka, Gert [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

149. Fundamental Approaches to Software Engineering [electronic resource] :Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

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

150. Hybrid Systems: Computation and Control [electronic resource] :Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings /

by Lynch, Nancy [editor.] | Krogh, Bruce H [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

151. Foundations of Software Science and Computation Structures [electronic resource] :Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

by Tiuryn, Jerzy [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

152. Concurrent Reactive Plans [electronic resource] :Anticipating and Forestalling Execution Failures /

by Beetz, Michael [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, 2000.Online access: Click here to access online Availability: No items available

153. Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] :6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings /

by Jennings, Nicholas R [editor.] | Lespérance, Yves [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

154. Automated Deduction in Classical and Non-Classical Logics [electronic resource] :Selected Papers /

by Caferra, Ricardo [editor.] | Salzer, Gernot [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

155. Perspectives of System Informatics [electronic resource] :Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings /

by Bjøner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [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

156. Practical Aspects of Declarative Languages [electronic resource] :Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings /

by Pontelli, Enrico [editor.] | Santos Costa, Vítor [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

157. Agent-Oriented Software Engineering [electronic resource] :First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /

by Ciancarini, Paolo [editor.] | Wooldridge, Michael 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, 2001.Online access: Click here to access online Availability: No items available

158. Intelligent Memory Systems [electronic resource] :Second InternationalWorkshop, IMS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers /

by Chong, Frederic T [editor.] | Kozyrakis, Christoforos [editor.] | Oskin, 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, 2001.Online access: Click here to access online Availability: No items available

159. Self-Adaptive Software [electronic resource] :First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers /

by Robertson, Paul [editor.] | Shrobe, Howie [editor.] | Laddaga, Robert [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, 2001.Online access: Click here to access online Availability: No items available

160. Computer Aided Verification [electronic resource] :13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /

by Berry, Gérard [editor.] | Comon, Hubert [editor.] | Finkel, 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, 2001.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