FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
301. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

by Margaria, Tiziana [editor.] | Yi, Wang [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

302. RoboCup 2000: Robot Soccer World Cup IV [electronic resource] /

by Stone, Peter [editor.] | Balch, Tucker [editor.] | Kraetzschmar, Gerhard [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

303. ECOOP 2001 — Object-Oriented Programming [electronic resource] :15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings /

by Knudsen, Jørgen Lindskov [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

304. Consolidated Ada Reference Manual Language and Standard Libraries [electronic resource] :International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 /

by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [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

305. Advanced Information Systems Engineering [electronic resource] :13th International Conference, CAiSE 2001 Interlaken, Switzerland, June 4–8, 2001 Proceedings /

by Dittrich, Klaus R [editor.] | Geppert, Andreas [editor.] | Norrie, Moira C [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

306. Large-Scale Scientific Computing [electronic resource] :Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers /

by Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [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

307. Engineering for Human-Computer Interaction [electronic resource] :8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers /

by Little, Murray Reed [editor.] | Nigay, Laurence [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

308. Hybrid Systems: Computation and Control [electronic resource] :4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /

by Benedetto, Maria Domenica Di [editor.] | Sangiovanni-Vincentelli, Alberto [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

309. Transactional Agents [electronic resource] :Towards a Robust Multi-Agent System /

by Nagi, Khaled [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

310. Genetic Programming [electronic resource] :4th European Conference, EuroGP 2001 Lake Como, Italy, April 18–20, 2001 Proceedings /

by Miller, Julian [editor.] | Tomassini, Marco [editor.] | Lanzi, Pier Luca [editor.] | Ryan, Conor [editor.] | Tettamanzi, Andrea G. B [editor.] | Langdon, William B [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

311. Concurrent Object-Oriented Programming and Petri Nets [electronic resource] :Advances in Petri Nets /

by Agha, Gul A [editor.] | Cindio, Fiorella De [editor.] | Rozenberg, Grzegorz [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

312. High-Level Parallel Programming Models and Supportive Environments [electronic resource] :6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /

by Mueller, Frank [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

313. Logic Programming and Nonmotonic Reasoning [electronic resource] :6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings /

by Eiter, Thomas [editor.] | Faber, Wolfgang [editor.] | Truszczyński, Miros law [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

314. Compiler Optimizations for Scalable Parallel Systems [electronic resource] :Languages, Compilation Techniques, and Run Time Systems /

by Pande, Santosh [editor.] | Agrawal, Dharma 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, 2001.Online access: Click here to access online Availability: No items available

315. Constraints in Computational Logics [electronic resource] :Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures /

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan van [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [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

316. Advances in Exception Handling Techniques [electronic resource] /

by Romanovsky, Alexander [editor.] | Dony, Christophe [editor.] | Knudsen, Jørgen Lindskov [editor.] | Tripathi, Anand [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

317. Computer Safety, Reliability and Security [electronic resource] :20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings /

by Voges, Udo [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

318. Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] :Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings /

by Yonezawa, Akinori [editor.] | Matsuoka, Satoshi [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

319. Self-Stabilizing Systems [electronic resource] :5th International Workshop, WSS 2001 Lisbon, Portugal, October 1–2, 2001 Proceedings /

by Datta, Ajoy K [editor.] | Herman, Ted [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

320. ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools [electronic resource] :4th International Conference Toronto, Canada, October 1–5, 2001 Proceedings /

by Gogolla, Martin [editor.] | Kobryn, Cris [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