Koha online

Refine your search

Total 3665 Results.

Unhighlight Highlight
121.
Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / edited by Ricardo Peña, Rex Page.

by Peña, Ricardo [edt] | Page, Rex [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
122.
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña.

by Loidl, Hans-Wolfgang [edt] | Peña, Ricardo [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
123.
Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók.

by Horváth, Zoltán [edt.] | Zsók, Viktória [edt.] | Page, Rex [edt.] | TFP 2010 (11th : 2010 : Norman, USA).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
124.
No cover image available
Treatise on syncategorematic words / William Sherwood ; translated with an introduction and notes by Norman Kretzmann

by Sherwood, William, 1260 | Kretzmann, Norman [trl].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Minneapolis : University of Minnesota Press, [n.d.]Availability: Items available for loan: National Library of India [Call number: E160 Sh65] (1).
125.
No cover image available
A treatise of formal logic: its evolution and main branches with its relations to mathematics and philosophy/ by Jorgen Jogensen ; translated by W. Worster

by Jogensen, Jorgen, 1894- | Worster, W [trl].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London : Humpherey Milford, 1931-Availability: Items available for loan: National Library of India [Call number: 150 G 6] (3).
126.
No cover image available
Translations from the philosophical writings of Gottlob Frege / edited Peter Geach and Max Black

by Frege, Gottlob, 1848-1925 | Geach, P. T. (Peter Thomas), 1916- [edt] | Black, Max, 1909- [edt].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford : Basil Blackwell, 1960Availability: Items available for loan: National Library of India [Call number: E164 F88] (1).
127.
No cover image available
Transistors and active circuits/ John G.and James F. Gibbons

by Linvill, John G | GIbbons, James F [jt aut].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, c1961Availability: Items available for loan: National Library of India [Call number: E 621.3815 L 658] (1).
128.
No cover image available
Transistor, transistor logic/ George Flynn

by Flynn, George.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Bombay: D.B. Tarapurevala, c1973Availability: Items available for loan: National Library of India [Call number: E 621.38151 F 679] (1).
129.
Transactions on Rough Sets XVIII [electronic resource] / edited by James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang, JingTao Yao, Hung Son Nguyen.

by Peters, James F [edt] | Skowron, Andrzej [edt] | Li, Tianrui [edt] | Yang, Yan [edt] | Yao, JingTao [edt] | Nguyen, Hung Son [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
130.
Transactions on Rough Sets XVII [electronic resource] / edited by James F. Peters, Andrzej Skowron.

by Peters, James F [edt] | Skowron, Andrzej [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
131.
Transactions on Rough Sets XVI [electronic resource] / edited by James F. Peters, Andrzej Skowron, Sheela Ramanna, Zbigniew Suraj, Xin Wang.

by Peters, James F [edt] | Skowron, Andrzej [edt] | Ramanna, Sheela [edt] | Suraj, Zbigniew [edt] | Wang, Xin [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
132.
Transactions on Rough Sets XV [electronic resource] / edited by James F. Peters, Andrzej Skowron.

by Peters, James F [edt] | Skowron, Andrzej [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
133.
Transactions on Rough Sets XIX [electronic resource] / edited by James F. Peters, Andrzej Skowron, Dominik Ślȩzak, Hung Son Nguyen, Jan G. Bazan.

by Peters, James F [edt] | Skowron, Andrzej [edt] | Ślȩzak, Dominik [edt] | Nguyen, Hung Son [edt] | Bazan, Jan G [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
134.
Transactions on Petri Nets and Other Models of Concurrency X [electronic resource] / edited by Maciej Koutny, Jörg Desel, Serge Haddad.

by Koutny, Maciej [edt] | Desel, Jörg [edt] | Haddad, Serge [edt].

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
135.
Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev.

by Koutny, Maciej [edt] | Aalst, Wil M. P. van der [edt] | Yakovlev, Alex [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
136.
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf.

by Jensen, Kurt [edt] | Aalst, Wil M. P. van der [edt] | Balbo, Gianfranco [edt] | Koutny, Maciej [edt] | Wolf, Karsten [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
137.
Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev.

by Koutny, Maciej [edt] | Haddad, Serge [edt] | Yakovlev, Alex [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
138.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.

by Hameurlain, Abdelkader [edt] | Küng, Josef [edt] | Wagner, Roland [edt].

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
139.
Transactions on High-Performance Embedded Architectures and Compilers [electronic resource] / edited by Per Stenström.

by Stenström, Per [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Pt III | Pt IV Availability: Items available for loan: National Library of India (2).
140.
Transactions on Computational Science XXIV [electronic resource] : Special Issue on Reversible Computing / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan.

by Gavrilova, Marina L [edt] | Tan, C.J. Kenneth [edt] | Thapliyal, Himanshu [edt] | Ranganathan, Nagarajan [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).

Indian Culture Logo Recognizing the ongoing need to position itself for the digital future, Indian Culture is an initiative by the Ministry of Culture. A platform that hosts data of cultural relevance from various repositories and institutions all over India.

  •  
  •  
  •  

The Indian Culture Portal is a part of the National Virtual Library of India project, funded by the Ministry of Culture, Government of India. The portal has been created and developed by the Indian Institute of Technology, Bombay. Data has been provided by organisations of the Ministry of Culture.