FEEDBACK Smiley face

Your search returned 953 results. Subscribe to this search

|
721. Mathematical Theory and Computational Practice [electronic resource] :5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /

by Ambos-Spies, Klaus [editor.] | Löwe, Benedikt [editor.] | Merkle, Wolfgang [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, 2009.Online access: Click here to access online Availability: No items available

722. Infinity in Logic and Computation [electronic resource] :International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /

by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [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, 2009.Online access: Click here to access online Availability: No items available

723. Transactions on Rough Sets X [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Wolski, Marcin [editor.] | Chakraborty, Mihir K [editor.] | Wu, Wei-Zhi [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, 2009.Online access: Click here to access online Availability: No items available

724. Computer Science - Theory and Applications [electronic resource] :Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /

by Frid, Anna [editor.] | Morozov, Andrey [editor.] | Rybalchenko, Andrey [editor.] | Wagner, Klaus W [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, 2009.Online access: Click here to access online Availability: No items available

725. Theorem Proving in Higher Order Logics [electronic resource] :22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [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, 2009.Online access: Click here to access online Availability: No items available

726. Fundamentals of Computation Theory [electronic resource] :17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings /

by Kutyłowski, Mirosław [editor.] | Charatonik, Witold [editor.] | Gębala, Maciej [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, 2009.Online access: Click here to access online Availability: No items available

727. Wireless Algorithms, Systems, and Applications [electronic resource] :4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings /

by Liu, Benyuan [editor.] | Bestavros, Azer [editor.] | Du, Ding-Zhu [editor.] | Wang, Jie [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, 2009.Online access: Click here to access online Availability: No items available

728. Recent Trends in Algebraic Development Techniques [electronic resource] :19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

by Corradini, Andrea [editor.] | Montanari, Ugo [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, 2009.Online access: Click here to access online Availability: No items available

729. Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] :6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /

by Leucker, Martin [editor.] | Morgan, Carroll [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, 2009.Online access: Click here to access online Availability: No items available

730. Algebraic Informatics [electronic resource] :Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

by Bozapalidis, Symeon [editor.] | Rahonis, George [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, 2009.Online access: Click here to access online Availability: No items available

731. Advanced Parallel Processing Technologies [electronic resource] :8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings /

by Dou, Yong [editor.] | Gruber, Ralf [editor.] | Joller, Josef M [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, 2009.Online access: Click here to access online Availability: No items available

732. Unconventional Computation [electronic resource] :8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings /

by Calude, Cristian S [editor.] | Costa, José Félix [editor.] | Dershowitz, Nachum [editor.] | Freire, Elisabete [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, 2009.Online access: Click here to access online Availability: No items available

733. Mathematical Foundations of Computer Science 2009 [electronic resource] :34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /

by Královič, Rastislav [editor.] | Niwiński, Damian [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, 2009.Online access: Click here to access online Availability: No items available

734. Computational Methods in Systems Biology [electronic resource] :7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings /

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [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, 2009.Online access: Click here to access online Availability: No items available

735. Advances in Intelligent Data Analysis VIII [electronic resource] :8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings /

by Adams, Niall M [editor.] | Robardet, Céline [editor.] | Siebes, Arno [editor.] | Boulicaut, Jean-François [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, 2009.Online access: Click here to access online Availability: No items available

736. CONCUR 2009 - Concurrency Theory [electronic resource] :20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /

by Bravetti, Mario [editor.] | Zavattaro, Gianluigi [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, 2009.Online access: Click here to access online Availability: No items available

737. Formal Foundations of Reuse and Domain Engineering [electronic resource] :11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /

by Edwards, Stephen H [editor.] | Kulczycki, Gregory [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, 2009.Online access: Click here to access online Availability: No items available

738. Frontiers of Combining Systems [electronic resource] :7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /

by Ghilardi, Silvio [editor.] | Sebastiani, Roberto [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, 2009.Online access: Click here to access online Availability: No items available

739. Logic Programming and Nonmonotonic Reasoning [electronic resource] :10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /

by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [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, 2009.Online access: Click here to access online Availability: No items available

740. Formal Modeling and Analysis of Timed Systems [electronic resource] :7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /

by Ouaknine, Joël [editor.] | Vaandrager, Frits W [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, 2009.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