FEEDBACK Smiley face

Your search returned 2574 results. Subscribe to this search

|
141. Computational Logic and Proof Theory [electronic resource] :5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [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, 1997.Online access: Click here to access online Availability: No items available

142. Practical Aspects of Declarative Languages [electronic resource] :First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /

by Gupta, Gopal [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, 1998.Online access: Click here to access online Availability: No items available

143. Interacting Code Motion Transformations: Their Impact and Their Complexity [electronic resource] /

by Rüthing, O [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

144. Theory Reasoning in Connection Calculi [electronic resource] /

by Baumgartner, Peter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

145. Abstract Compositional Analysis of Iterated Relations [electronic resource] :A Structural Approach to Complex State Transition Systems /

by Geurts, Frédéric [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

146. Compositionality: The Significant Difference [electronic resource] :International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /

by Roever, Willem-Paul de [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [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, 1998.Online access: Click here to access online Availability: No items available

147. Prospects for Hardware Foundations [electronic resource] :ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters /

by Möller, Bernhard [editor.] | Tucker, John V [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, 1998.Online access: Click here to access online Availability: No items available

148. Computing in Object-Oriented Parallel Environments [electronic resource] :Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8–11, 1998 Proceedings /

by Caromel, Denis [editor.] | Oldehoeft, Rodney R [editor.] | Tholburn, Marydell [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, 1998.Online access: Click here to access online Availability: No items available

149. Applications of Uncertainty Formalisms [electronic resource] /

by Hunter, Anthony [editor.] | Parsons, Simon [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, 1998.Online access: Click here to access online Availability: No items available

150. Machine Translation and the Information Soup [electronic resource] :Third Conference of the Association for Machine Translation in the Americas AMTA’98 Langhorne, PA, USA, October 28–31, 1998 Proceedings /

by Farwell, David [editor.] | Gerber, Laurie [editor.] | Hovy, Eduard [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, 1998.Online access: Click here to access online Availability: No items available

151. Principles and Practice of Constraint Programming — CP98 [electronic resource] :4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings /

by Maher, Michael [editor.] | Puget, Jean-Francois [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, 1998.Online access: Click here to access online Availability: No items available

152. Formal Methods in Computer-Aided Design [electronic resource] :Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings /

by Gopalakrishnan, Ganesh [editor.] | Windley, Phillip [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, 1998.Online access: Click here to access online Availability: No items available

153. Conceptual Modeling – ER ’98 [electronic resource] :17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998. Proceedings /

by Ling, Tok-Wang [editor.] | Ram, Sudha [editor.] | Lee, Mong Li [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, 1998.Online access: Click here to access online Availability: No items available

154. Logics in Artificial Intelligence [electronic resource] :European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings /

by Dix, Jürgen [editor.] | Cerro, Luís Fariñas del [editor.] | Furbach, Ulrich [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, 1998.Online access: Click here to access online Availability: No items available

155. Types for Proofs and Programs [electronic resource] :International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers /

by Giménez, Eduardo [editor.] | Paulin-Mohring, Christine [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, 1998.Online access: Click here to access online Availability: No items available

156. Optimal Interprocedural Program Optimization [electronic resource] :A New Framework and Its Application /

by Knoop, Jens [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

157. Computer Safety, Reliability and Security [electronic resource] :17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings /

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

158. Logic Program Synthesis and Transformation [electronic resource] :7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings /

by Fuchs, Norbert E [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, 1998.Online access: Click here to access online Availability: No items available

159. ZUM ’98: The Z Formal Specification Notation [electronic resource] :11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /

by Bowen, Jonathan P [editor.] | Fett, Andreas [editor.] | Hinchey, Michael G [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, 1998.Online access: Click here to access online Availability: No items available

160. Static Analysis [electronic resource] :5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings /

by Levi, Giorgio [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, 1998.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