FEEDBACK Smiley face

Your search returned 953 results. Subscribe to this search

|
541. The Disappearing Computer [electronic resource] :Interaction Design, System Infrastructures and Applications for Smart Environments /

by Streitz, Norbert [editor.] | Kameas, Achilles [editor.] | Mavrommati, Irene [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

542. Logical Foundations of Computer Science [electronic resource] :International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /

by Artemov, Sergei N [editor.] | Nerode, Anil [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

543. Service Availability [electronic resource] :4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings /

by Malek, Miroslaw [editor.] | Reitenspieß, Manfred [editor.] | Moorsel, Aad van [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

544. Integer Programming and Combinatorial Optimization [electronic resource] :12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings /

by Fischetti, Matteo [editor.] | Williamson, David 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

545. Computation and Logic in the Real World [electronic resource] :Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings /

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [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

546. Transactions on Data Hiding and Multimedia Security II [electronic resource] /

by Shi, Yun Q [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

547. Petri Nets and Other Models of Concurrency – ICATPN 2007 [electronic resource] :28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /

by Kleijn, Jetty [editor.] | Yakovlev, Alex [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

548. Integrated Formal Methods [electronic resource] :6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

by Davies, Jim [editor.] | Gibbons, Jeremy [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

549. Ergonomics and Health Aspects of Work with Computers [electronic resource] :International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings /

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

550. Computer Aided Verification [electronic resource] :19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /

by Damm, Werner [editor.] | Hermanns, Holger [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

551. Automata, Languages and Programming [electronic resource] :34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /

by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdziński, Tomasz [editor.] | Tarlecki, Andrzej [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

552. Logic, Language, Information and Computation [electronic resource] :14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /

by Leivant, Daniel [editor.] | Queiroz, Ruy 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

553. Computing and Combinatorics [electronic resource] :13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings /

by Lin, Guohui [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

554. Autonomic and Trusted Computing [electronic resource] :4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings /

by Xiao, Bin [editor.] | Yang, Laurence T [editor.] | Ma, Jianhua [editor.] | Muller-Schloer, Christian [editor.] | Hua, Yu [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

555. Abstraction, Reformulation, and Approximation [electronic resource] :7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /

by Miguel, Ian [editor.] | Ruml, Wheeler [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

556. Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] :7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings /

by Vassiliadis, Stamatis [editor.] | Bereković, Mladen [editor.] | Hämäläinen, Timo 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, 2007.Online access: Click here to access online Availability: No items available

557. Algebra and Coalgebra in Computer Science [electronic resource] :Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /

by Mossakowski, Till [editor.] | Montanari, Ugo [editor.] | Haveraaen, Magne [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

558. Fundamentals of Computation Theory [electronic resource] :16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /

by Csuhaj-Varjú, Erzsébet [editor.] | Ésik, Zoltán [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

559. CONCUR 2007 – Concurrency Theory [electronic resource] :18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings /

by Caires, Luís [editor.] | Vasconcelos, Vasco T [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

560. Mathematical Foundations of Computer Science 2007 [electronic resource] :32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings /

by Kučera, Luděk [editor.] | Kučera, Antonín [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