FEEDBACK Smiley face

Your search returned 272 results. Subscribe to this search

|
121. Mathematical Methods in Computer Science [electronic resource] :Essays in Memory of Thomas Beth /

by Calmet, Jacques [editor.] | Geiselmann, Willi [editor.] | Müller-Quade, Jörn [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, 2008.Online access: Click here to access online Availability: No items available

122. High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] :8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

by Palma, José M. Laginha M [editor.] | Amestoy, Patrick R [editor.] | Daydé, Michel [editor.] | Mattoso, Marta [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, 2008.Online access: Click here to access online Availability: No items available

123. Language and Automata Theory and Applications [electronic resource] :Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

by Dediu, Adrian Horia [editor.] | Ionescu, Armand Mihai [editor.] | Martín-Vide, Carlos [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

124. Experimental Algorithms [electronic resource] :8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /

by Vahrenhold, Jan [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

125. Theory and Applications of Models of Computation [electronic resource] :6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /

by Chen, Jianer [editor.] | Cooper, S. Barry [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

126. Algorithmic Aspects in Information and Management [electronic resource] :5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /

by Goldberg, Andrew V [editor.] | Zhou, Yunhong [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

127. Logic, Language, Information and Computation [electronic resource] :16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /

by Ono, Hiroakira [editor.] | Kanazawa, Makoto [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 : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

128. Frontiers in Algorithmics [electronic resource] :Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings /

by Deng, Xiaotie [editor.] | Hopcroft, John E [editor.] | Xue, Jinyun [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

129. Typed Lambda Calculi and Applications [electronic resource] :9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

by Curien, Pierre-Louis [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

130. Computational Logic in Multi-Agent Systems [electronic resource] :9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /

by Fisher, Michael [editor.] | Sadri, Fariba [editor.] | Thielscher, Michael [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

131. Developments in Language Theory [electronic resource] :13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /

by Diekert, Volker [editor.] | Nowotka, Dirk [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

132. Logic Programming [electronic resource] :25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /

by Hill, Patricia M [editor.] | Warren, David 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 : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

133. Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] :10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

by Sossai, Claudio [editor.] | Chemello, Gaetano [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

134. Automata, Languages and Programming [electronic resource] :36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I /

by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, 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, 2009.Online access: Click here to access online Availability: No items available

135. Automata, Languages and Programming [electronic resource] :36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II /

by Albers, Susanne [editor.] | Marchetti-Spaccamela, Alberto [editor.] | Matias, Yossi [editor.] | Nikoletseas, Sotiris [editor.] | Thomas, 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, 2009.Online access: Click here to access online Availability: No items available

136. 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

137. 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

138. 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

139. 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

140. Efficient Algorithms [electronic resource] :Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /

by Albers, Susanne [editor.] | Alt, Helmut [editor.] | Näher, Stefan [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