FEEDBACK Smiley face

Your search returned 10028 results. Subscribe to this search

|
81. Bioinformatics [electronic resource] :German Conference on Bioinformatics, GCB'96 Leipzig, Germany September 30 – October 2, 1996 Selected Papers /

by Hofestädt, Ralf [editor.] | Lengauer, Thomas [editor.] | Löffler, Markus [editor.] | Schomburg, Dietmar [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

82. Parallel Computing Technologies [electronic resource] :4th International Conference, PaCT-97 Yaroslavl, Russia, September 8–12, 1997 Proceedings /

by Malyshkin, Victor [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

83. Theorem Proving in Higher Order Logics [electronic resource] :10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings /

by Gunter, Elsa L [editor.] | Felty, Amy [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

84. Coordination Languages and Models [electronic resource] :Second International Conference COORDINATION '97 Berlin, Germany, September 1–3, 1997 Proceedings /

by Garlan, David [editor.] | Métayer, Daniel Le [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

85. Advances in Cryptology — CRYPTO '97 [electronic resource] :17th Annual International Cryptology Conference Santa Barbara, California, USA August 17–21, 1997 Proceedings /

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

86. Fundamentals of Computation Theory [electronic resource] :11th International Symposium, FCT'97 Kraków, Poland, September 1–3, 1997 Proceedings /

by Chlebus, Bogdan S [editor.] | Czaja, Ludwik [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

87. Theoretical Aspects of Computer Software [electronic resource] :Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings /

by Abadi, Martín [editor.] | Ito, Takayasu [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

88. Algorithms — ESA '97 [electronic resource] :5th Annual European Symposium Graz, Austria, September 15–17, 1997 Proceedings /

by Burkard, Rainer [editor.] | Woeginger, Gerhard [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

89. Programming Languages: Implementations, Logics, and Programs [electronic resource] :9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings /

by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, Herbert [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

90. Simulated Evolution and Learning [electronic resource] :First Asia-Pacific Conference, SEAL'96 Taejon, Korea, November 9–12, 1996 Seclected Papers /

by Yao, Xin [editor.] | Kim, Jong-Hwan [editor.] | Furuhashi, Takeshi [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

91. Modular Compiler Verification [electronic resource] :A Refinement-Algebraic Approach Advocating Stepwise Abstraction /

by Müller-Olm, Markus [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, 1997.Online access: Click here to access online Availability: No items available

92. Multi-Agent Systems Methodologies and Applications [electronic resource] :Second Australian Workshop on Distributed Artificial Intelligence Cairns, QLD, Australia, August 27, 1996 Selected Papers /

by Zhang, Chengqi [editor.] | Lukose, Dickson [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

93. Mathematical Foundations of Computer Science 1997 [electronic resource] :22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings /

by Prívara, Igor [editor.] | Ružička, Peter [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

94. Information Extraction A Multidisciplinary Approach to an Emerging Information Technology [electronic resource] :International Summer School, SCIE-97 Frascati, Italy, July 14–18, 1997 /

by Pazienza, Maria Teresa [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.Other title: International Summer School, SCIE-97, Frascati, Italy, July 14-18, 1997.Online access: Click here to access online Availability: No items available

95. Euro-Par'97 Parallel Processing [electronic resource] :Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings /

by Lengauer, Christian [editor.] | Griebl, Martin [editor.] | Gorlatch, Sergei [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

96. Spatial Data Types for Database Systems [electronic resource] :Finite Resolution Geometry for Geographic Information Systems /

by Schneider, Markus [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

97. Category Theory and Computer Science [electronic resource] :7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings /

by Moggi, Eugenio [editor.] | Rosolini, Giuseppe [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

98. Algebraic and Logic Programming [electronic resource] :6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings /

by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [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

99. Field-Programmable Logic and Applications [electronic resource] :7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings /

by Luk, Wayne [editor.] | Cheung, Peter Y. K [editor.] | Glesner, Manfred [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

100. Static Analysis [electronic resource] :4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings /

by Hentenryck, Pascal Van [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


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