Refine your search

Your search returned 1745 results.

Not what you expected? Check for suggestions
1.
Reconfigurable Computing [electronic resource] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham.

by Gokhale, Maya [author.] | Graham, Paul S [author.] | SpringerLink (Online service).

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

2.
Modelling and Reasoning with Vague Concepts [electronic resource] / by Jonathan Lawry.

by Lawry, Jonathan [author.] | SpringerLink (Online service).

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

3.
Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.

by Cheng, Daizhan [author.] | Qi, Hongsheng [author.] | Li, Zhiqiang [author.] | SpringerLink (Online service).

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

4.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.

by DasGupta, Pallab [author.] | SpringerLink (Online service).

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

5.
Robustness and Usability in Modern Design Flows [electronic resource] / by Görschwin Fey, Rolf Drechsler.

by Fey, Görschwin [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service).

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

6.
Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla.

by Patel, Hiren D [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service).

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

7.
Decision Theory and Multi-Agent Planning [electronic resource] / edited by Giacomo Riccia, Didier Dubois, Rudolf Kruse, Hanz-Joachim Lenz.

by Riccia, Giacomo [editor.] | Dubois, Didier [editor.] | Kruse, Rudolf [editor.] | Lenz, Hanz-Joachim [editor.] | SpringerLink (Online service).

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

8.
Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla.

by David, René [author.] | Alla, Hassane [author.] | 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, 2005Online access: Click here to access online Availability: No items available :

9.
Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla.

by David, René [author.] | Alla, Hassane [author.] | 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, 2010Online access: Click here to access online Availability: No items available :

10.
Computing with Words [electronic resource] : Principal Concepts and Ideas / by Lotfi A. Zadeh.

by Zadeh, Lotfi A [author.] | 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, 2012Online access: Click here to access online Availability: No items available :

11.
On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh – Volume 1 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini.

by Seising, Rudolf [editor.] | Trillas, Enric [editor.] | Moraga, Claudio [editor.] | Termini, Settimo [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, 2013Online access: Click here to access online Availability: No items available :

12.
Risk Management Technologies [electronic resource] : With Logic and Probabilistic Models / by E.D. Solozhentsev.

by Solozhentsev, E.D [author.] | SpringerLink (Online service).

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

13.
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

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

14.
Principles and Practice of Semantic Web Reasoning [electronic resource] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings / edited by François Bry, Nicola Henze, Jan Małuszyński.

by Bry, François [editor.] | Henze, Nicola [editor.] | Małuszyński, Jan [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 :

15.
AI 2003: Advances in Artificial Intelligence [electronic resource] : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003. Proceedings / edited by Tamás (Tom) Domonkos Gedeon, Lance Chun Che Fung.

by Gedeon, Tamás (Tom) Domonkos [editor.] | Fung, Lance Chun Che [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 :

16.
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings / edited by Paritosh K. Pandya, Jaikumar Radhakrishnan.

by Pandya, Paritosh K [editor.] | Radhakrishnan, Jaikumar [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 :

17.
Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings / edited by Catuscia Palamidessi.

by Palamidessi, Catuscia [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 :

18.
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella.

by Giunchiglia, Enrico [editor.] | Tacchella, Armando [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, 2004Online access: Click here to access online Availability: No items available :

19.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings / edited by Vladimir Lifschitz, Ilkka Niemelä.

by Lifschitz, Vladimir [editor.] | Niemelä, Ilkka [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, 2004Online access: Click here to access online Availability: No items available :

20.
Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.

by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [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 :

21.
Automated Deduction in Geometry [electronic resource] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers / edited by Franz Winkler.

by Winkler, Franz [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, 2004Online access: Click here to access online Availability: No items available :

22.
Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Martín-Vide, Carlos [editor.] | Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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, 2004Online access: Click here to access online Availability: No items available :

23.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 5th International Conference, CICLing 2004 Seoul, Korea, February 15-21, 2004 Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [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, 2004Online access: Click here to access online Availability: No items available :

24.
Model Generation for Natural Language Interpretation and Analysis [electronic resource] / by Karsten Konrad.

by Konrad, Karsten [author.] | 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, 2004Online access: Click here to access online Availability: No items available :

25.
Concept Lattices [electronic resource] : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings / edited by Peter Eklund.

by Eklund, Peter [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, 2004Online 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