FEEDBACK Smiley face

Your search returned 953 results. Subscribe to this search

|
521. Interactive Systems. Design, Specification, and Verification [electronic resource] :13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /

by Doherty, Gavin [editor.] | Blandford, Ann [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, 2007.Online access: Click here to access online Availability: No items available

522. Perspectives of Systems Informatics [electronic resource] :6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

by Virbitskaite, Irina [editor.] | Voronkov, Andrei [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, 2007.Online access: Click here to access online Availability: No items available

523. STACS 2007 [electronic resource] :24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /

by Thomas, Wolfgang [editor.] | Weil, Pascal [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, 2007.Online access: Click here to access online Availability: No items available

524. Formal Methods: Applications and Technology [electronic resource] :11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /

by Brim, Luboš [editor.] | Haverkort, Boudewijn [editor.] | Leucker, Martin [editor.] | Pol, Jaco van de [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, 2007.Online access: Click here to access online Availability: No items available

525. Transactions on Rough Sets VI [electronic resource] :Commemorating the Life and Work of Zdzisław Pawlak, Part I /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Düntsch, Ivo [editor.] | Grzymała-Busse, Jerzy [editor.] | Orłowska, Ewa [editor.] | Polkowski, Lech [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, 2007.Online access: Click here to access online Availability: No items available

526. High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] :7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

by Daydé, Michel [editor.] | Palma, José M. L. M [editor.] | Coutinho, Álvaro L. G. A [editor.] | Pacitti, Esther [editor.] | Lopes, João Correia [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, 2007.Online access: Click here to access online Availability: No items available

527. Foundations of Software Science and Computational Structures [electronic resource] :10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /

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

528. Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] :Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings /

by Diniz, Pedro C [editor.] | Marques, Eduardo [editor.] | Bertels, Koen [editor.] | Fernandes, Marcio Merino [editor.] | Cardoso, João M. 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, 2007.Online access: Click here to access online Availability: No items available

529. Hybrid Systems: Computation and Control [electronic resource] :10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

by Bemporad, Alberto [editor.] | Bicchi, Antonio [editor.] | Buttazzo, Giorgio [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, 2007.Online access: Click here to access online Availability: No items available

530. Transactions on High-Performance Embedded Architectures and Compilers I [electronic resource] /

by Stenström, Per [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, 2007.Online access: Click here to access online Availability: No items available

531. Ubiquitous Convergence Technology [electronic resource] :First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers /

by Stajano, Frank [editor.] | Kim, Hyoung Joong [editor.] | Chae, Jong-Suk [editor.] | Kim, Seong-Dong [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, 2007.Online access: Click here to access online Availability: No items available

532. Euro-Par 2006: Parallel Processing [electronic resource] :Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers /

by Lehner, Wolfgang [editor.] | Meyer, Norbert [editor.] | Streit, Achim [editor.] | Stewart, Craig [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, 2007.Online access: Click here to access online Availability: No items available

533. Advances in Grid and Pervasive Computing [electronic resource] :Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings /

by Cérin, Christophe [editor.] | Li, Kuan-Ching [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, 2007.Online access: Click here to access online Availability: No items available

534. Theory and Applications of Models of Computation [electronic resource] :4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /

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

535. Formal Methods for Performance Evaluation [electronic resource] :7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /

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

536. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] :11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings /

by An, Aijun [editor.] | Stefanowski, Jerzy [editor.] | Ramanna, Sheela [editor.] | Butz, Cory J [editor.] | Pedrycz, Witold [editor.] | Wang, Guoyin [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, 2007.Online access: Click here to access online Availability: No items available

537. Computational Science – ICCS 2007 [electronic resource] :7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I /

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

538. Computational Science – ICCS 2007 [electronic resource] :7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II /

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

539. Computational Science – ICCS 2007 [electronic resource] :7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III /

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

540. Computational Science – ICCS 2007 [electronic resource] :7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV /

by Shi, Yong [editor.] | Albada, Geert Dick van [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. 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, 2007.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