Refine your search

Your search returned 1546 results.

Not what you expected? Check for suggestions
101.
Advances in Artificial Life [electronic resource] : 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003. Proceedings / edited by Wolfgang Banzhaf, Jens Ziegler, Thomas Christaller, Peter Dittrich, Jan T. Kim.

by Banzhaf, Wolfgang [editor.] | Ziegler, Jens [editor.] | Christaller, Thomas [editor.] | Dittrich, Peter [editor.] | Kim, Jan T [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

102.
Logics of Programs [electronic resource] : Brooklyn, June 17–19, 1985 Proceedings / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available :

103.
Automata, Languages and Programming [electronic resource] : 12th Colloquium Nafplion, Greece, July 15–19, 1985 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available :

104.
Foundations of Intelligent Systems [electronic resource] : 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003. Proceedings / edited by Ning Zhong, Zbigniew W. Raś, Shusaku Tsumoto, Einoshin Suzuki.

by Zhong, Ning [editor.] | Raś, Zbigniew W [editor.] | Tsumoto, Shusaku [editor.] | Suzuki, Einoshin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

105.
Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 / edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.

by Brookes, Stephen D [editor.] | Roscoe, Andrew William [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available :

106.
Algorithmic Learning Theory [electronic resource] : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003. Proceedings / edited by Ricard Gavaldá, Klaus P. Jantke, Eiji Takimoto.

by Gavaldá, Ricard [editor.] | Jantke, Klaus P [editor.] | Takimoto, Eiji [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

107.
Fundamentals of Computation Theory [electronic resource] : FCT '85 Cottbus, GDR, September 9–13, 1985 / edited by Lothar Budach.

by Budach, Lothar [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: No items available :

108.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003. Revised Paper / edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn.

by Feitelson, Dror [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

109.
STACS 86 [electronic resource] : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 / edited by B. Monien, G. Vidal-Naquet.

by Monien, B [editor.] | Vidal-Naquet, G [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: No items available :

110.
Algorithms in Bioinformatics [electronic resource] : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003. Proceedings / edited by Gary Benson, Roderic D. M. Page.

by Benson, Gary [editor.] | Page, Roderic D. M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

111.
CAAP '86 [electronic resource] : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, Paul [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: No items available :

112.
RIMS Symposia on Software Science and Engineering II [electronic resource] : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

by Goto, Eichi [editor.] | Araki, Keijiro [editor.] | Yuasa, Taiichi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: No items available :

113.
Stochastic Algorithms: Foundations and Applications [electronic resource] : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003. Proceedings / edited by Andreas Albrecht, Kathleen Steinhöfel.

by Albrecht, Andreas [editor.] | Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

114.
Structure in Complexity Theory [electronic resource] : Proceedings of the Conference held at the University of California, Berkeley, California, June 2–5, 1986 / edited by Alan L. Selman.

by Selman, Alan L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: No items available :

115.
AI*IA 2003: Advances in Artificial Intelligence [electronic resource] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings / edited by Amedeo Cappelli, Franco Turini.

by Cappelli, Amedeo [editor.] | Turini, Franco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

116.
Automata, Languages and Programming [electronic resource] : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings / edited by Laurent Kott.

by Kott, Laurent [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: No items available :

117.
Perspectives of System Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers / edited by Manfred Broy, Alexandre V. Zamulin.

by Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

118.
Modelling with Words [electronic resource] : Learning, Fusion, and Reasoning within a Formal Linguistic Represntation Framework / edited by Jonathan Lawry, Jimi Shanahan, Anca Ralescu.

by Lawry, Jonathan [editor.] | Shanahan, Jimi [editor.] | Ralescu, Anca [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

119.
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online access: Click here to access online Availability: No items available :

120.
Spatial Information Theory. Foundations of Geographic Information Science [electronic resource] : International Conference, COSIT 2003, Kartause Ittingen, Switzerland, September 24-28, 2003. Proceedings / edited by Walter Kuhn, Michael F. Worboys, Sabine Timpf.

by Kuhn, Walter [editor.] | Worboys, Michael F [editor.] | Timpf, Sabine [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

121.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 10th European PVM/MPI User’s Group Meeting, Venice, Italy, September 29 - October 2, 2003. Proceedings / edited by Jack Dongarra, Domenico Laforenza, Salvatore Orlando.

by Dongarra, Jack [editor.] | Laforenza, Domenico [editor.] | Orlando, Salvatore [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

122.
Distributed Computing [electronic resource] : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003. Proceedings / edited by Faith Ellen Fich.

by Fich, Faith Ellen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

123.
Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber.

by Ehrig, Hartmut [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

124.
Distributed Computing [electronic resource] : 14th International Conference, DISC 2000 Toledo, Spain, October 4–6, 2000 Proceedings / edited by Maurice Herlihy.

by Herlihy, Maurice [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available :

125.
Learning Classifier Systems [electronic resource] : 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002. Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.

by Lanzi, Pier Luca [editor.] | Stolzmann, Wolfgang [editor.] | Wilson, Stewart W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha