FEEDBACK Smiley face

Your search returned 3168 results. Subscribe to this search

|
181. System Configuration Management [electronic resource] :19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings /

by Estublier, Jacky [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

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

183. Theorem Proving in Higher Order Logics [electronic resource] :12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [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

184. Applied Formal Methods — FM-Trends 98 [electronic resource] :International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings /

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [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

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

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

187. CONCUR’99 Concurrency Theory [electronic resource] :10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings /

by Baeten, Jos C. M [editor.] | Mauw, Sjouke [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

188. Parallel Computing Technologies [electronic resource] :5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings /

by Malyshkin, Victor [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

189. RoboCup-98: Robot Soccer World Cup II [electronic resource] /

by Asada, Minoru [editor.] | Kitano, Hiroaki [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

190. Multi-Agent System Engineering [electronic resource] :9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’99 Valencia, Spain, June 30 – July 2, 1999 Proceedings /

by Garijo, Francisco J [editor.] | Boman, Magnus [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

191. Meta-Level Architectures and Reflection [electronic resource] :Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings /

by Cointe, 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

192. The Unified Modeling Language. «UML»’98: Beyond the Notation [electronic resource] :First International Workshop, Mulhouse, France, June 3-4, 1998. Selected Papers /

by Bézivin, Jean [editor.] | Muller, Pierre-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

193. Recent Trends in Algebraic Development Techniques [electronic resource] :13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers /

by Fiadeiro, José Luiz [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

194. Advanced Functional Programming [electronic resource] :Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures /

by Swierstra, S. Doaitse [editor.] | Oliveira, José N [editor.] | Henriques, Pedro 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, 1999.Online access: Click here to access online Availability: No items available

195. Active Networks [electronic resource] :First International Working Conference, IWAN’99, Berlin, Germany, June 30 - July 2, 1999. Proceedings /

by Covaci, 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

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

197. Automated Deduction — CADE-16 [electronic resource] :16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings /

by Ganzinger, Harald [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

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

199. Formal Syntax and Semantics of Java [electronic resource] /

by Alves-Foss, 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

200. Advanced Information Systems Engineering [electronic resource] :11th International Conference, CAiSE"99 Heidelberg, Germany, June 14—18, 1999 Proceedings /

by Jarke, Matthias [editor.] | Oberweis, Andreas [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