FEEDBACK Smiley face

Your search returned 193 results. Subscribe to this search

|
121. Computer Science Logic [electronic resource] :21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

by Duparc, Jacques [editor.] | Henzinger, Thomas 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

122. Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] :4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [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

123. Algebraic Informatics [electronic resource] :Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /

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

124. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /

by Arvind, V [editor.] | Prasad, Sanjiva [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

125. Membrane Computing [electronic resource] :8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

by Eleftherakis, George [editor.] | Kefalas, Petros [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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

126. Concurrency, Graphs and Models [electronic resource] :Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

by Degano, Pierpaolo [editor.] | Nicola, Rocco De [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, 2008.Online access: Click here to access online Availability: No items available

127. Logic, Language, Information and Computation [electronic resource] :15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /

by Hodges, Wilfrid [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, 2008.Online access: Click here to access online Availability: No items available

128. Pillars of Computer Science [electronic resource] :Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /

by Avron, Arnon [editor.] | Dershowitz, Nachum [editor.] | Rabinovich, Alexander [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

129. Foundations of Software Science and Computational Structures [electronic resource] :11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /

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

130. Transactions on Rough Sets VIII [electronic resource] /

by Peters, James F [editor.] | Skowron, 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, 2008.Online access: Click here to access online Availability: No items available

131. Computer Science Logic [electronic resource] :22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /

by Kaminski, Michael [editor.] | Martini, Simone [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

132. Central European Functional Programming School [electronic resource] :Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Soós, Anna [editor.] | Zsók, Viktória [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

133. Language and Automata Theory and Applications [electronic resource] :Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /

by Martín-Vide, Carlos [editor.] | Otto, Friedrich [editor.] | Fernau, Henning [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

134. Provable Security [electronic resource] :Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings /

by Baek, Joonsang [editor.] | Bao, Feng [editor.] | Chen, Kefei [editor.] | Lai, Xuejia [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, 2008.Online access: Click here to access online Availability: No items available

135. Transactions on Rough Sets IX [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Rybiński, Henryk [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, 2008.Online access: Click here to access online Availability: No items available

136. Logic and Its Applications [electronic resource] :Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /

by Ramanujam, R [editor.] | Sarukkai, Sundar [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. Foundations of Software Science and Computational Structures [electronic resource] :12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

by Alfaro, Luca 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

138. Formal Theories of Information [electronic resource] :From Shannon to Semantic Information Theory and General Concepts of Information /

by Sommaruga, Giovanni [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. Quantum Interaction [electronic resource] :Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /

by Bruza, Peter [editor.] | Sofge, Donald [editor.] | Lawless, William [editor.] | Rijsbergen, Keith van [editor.] | Klusch, Matthias [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

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


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in