FEEDBACK Smiley face

Your search returned 953 results. Subscribe to this search

|
461. Theory and Applications of Models of Computation [electronic resource] :Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings /

by Cai, Jin-Yi [editor.] | Cooper, S. Barry [editor.] | Li, Angsheng [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, 2006.Online access: Click here to access online Availability: No items available

462. Computational Science and Its Applications - ICCSA 2006 [electronic resource] :International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I /

by Gavrilova, Marina [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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, 2006.Online access: Click here to access online Availability: No items available

463. Computational Science and Its Applications - ICCSA 2006 [electronic resource] :International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II /

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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, 2006.Online access: Click here to access online Availability: No items available

464. Computational Science and Its Applications - ICCSA 2006 [electronic resource] :International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III /

by Gavrilova, Marina [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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, 2006.Online access: Click here to access online Availability: No items available

465. Computational Science and Its Applications - ICCSA 2006 [electronic resource] :International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV /

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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, 2006.Online access: Click here to access online Availability: No items available

466. Computational Science and Its Applications - ICCSA 2006 [electronic resource] :International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V /

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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, 2006.Online access: Click here to access online Availability: No items available

467. Interactive Systems. Design, Specification, and Verification [electronic resource] :12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers /

by Gilroy, Stephen W [editor.] | Harrison, Michael 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, 2006.Online access: Click here to access online Availability: No items available

468. Computer Science – Theory and Applications [electronic resource] :First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings /

by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward 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, 2006.Online access: Click here to access online Availability: No items available

469. Formal Methods for Hardware Verification [electronic resource] :6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures /

by Bernardo, Marco [editor.] | Cimatti, Alessandro [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, 2006.Online access: Click here to access online Availability: No items available

470. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

471. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

472. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

473. Computational Science – ICCS 2006 [electronic resource] :6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV /

by Alexandrov, Vassil N [editor.] | Albada, Geert Dick van [editor.] | Sloot, Peter M. A [editor.] | Dongarra, Jack [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, 2006.Online access: Click here to access online Availability: No items available

474. Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] :27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /

by Donatelli, Susanna [editor.] | Thiagarajan, P. 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, 2006.Online access: Click here to access online Availability: No items available

475. Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] :Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings /

by Horváth, András [editor.] | Telek, Mikló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, 2006.Online access: Click here to access online Availability: No items available

476. Algebra, Meaning, and Computation [electronic resource] :Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [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, 2006.Online access: Click here to access online Availability: No items available

477. Logical Approaches to Computational Barriers [electronic resource] :Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /

by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John 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 : Imprint: Springer, 2006.Online access: Click here to access online Availability: No items available

478. Deontic Logic and Artificial Normative Systems [electronic resource] :8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings /

by Goble, Lou [editor.] | Meyer, John-Jules Ch [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, 2006.Online access: Click here to access online Availability: No items available

479. Automata, Languages and Programming [electronic resource] :33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [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, 2006.Online access: Click here to access online Availability: No items available

480. Automata, Languages and Programming [electronic resource] :33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

by Bugliesi, Michele [editor.] | Preneel, Bart [editor.] | Sassone, Vladimiro [editor.] | Wegener, Ingo [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, 2006.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