FEEDBACK Smiley face

Your search returned 185 results. Subscribe to this search

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

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

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

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

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

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

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

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

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

110. Theorem Proving in Higher Order Logics [electronic resource] :20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /

by Schneider, Klaus [editor.] | Brandt, Jens [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

111. Machines, Computations, and Universality [electronic resource] :5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /

by Durand-Lose, Jérôme [editor.] | Margenstern, Maurice [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

112. Frontiers of Combining Systems [electronic resource] :6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

by Konev, Boris [editor.] | Wolter, Frank [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

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

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

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

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

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

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

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

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


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