Koha online

Total 114 Results.

Unhighlight Highlight
1.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt.

by VMCAI 2011 (12th : 2011 : Austin, TX, USA) | Schmidt, David [edt.] | Jhala, Ranjit [edt.].

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).
2.
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude...[et al.]

by UC 2011 (10th : 2011 : Turku, Finland) | Calude, Cristian S [edt.].

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).
3.
Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong.

by TLCA 2011 (10th : 2011 : Novi Sad, Serbia) | Ong, Luke [edt.].

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).
4.
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).
5.
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).
6.
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).
7.
Transactions on Aspect-Oriented Software Development VIII [electronic resource] / edited by Shmuel Katz...[et al.]

by Katz, Shmuel [edt.].

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).
8.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.

by TACAS 2011 (17th : 2011 : Saarbrücken, Germany) | Leino, K. Rustan M [edt.] | Abdulla, Parosh Aziz [edt.] | ETAPS 2011 (2011 : Saarbrücken, Germany).

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).
9.
Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings / edited by Jordi Cabot, Eelco Visser.

by ICMT 2011 (4th : 2011 : Zurich, Switzerland) | Visser, Eelco [edt.] | Cabot, Jordi [edt.].

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).
10.
Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon.

by SAT 2011 (14th : 2011 : Ann Arbor, USA) | Simon, Laurent [edt.] | Sakallah, Karem A [edt.].

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).
11.
Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / edited by Mitsunori Ogihara, Jun Tarui.

by TAMC 2011 (8th : 2011 : Tokyo, Japan) | Tarui, Jun [edt.] | Ogihara, Mitsunori [edt.].

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).
12.
Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari.

by ICTAC 2011 (8th : 2011 : Johannesburg, South Africa) | Pihlajasaari, Pekka [edt.] | Cerone, Antonio [edt.].

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).
13.
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff.

by TAP 2011 (5th : 2011 : Zurich, Switzerland) | Wolff, Burkhart [edt.] | Gogolla, Martin [edt.].

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).
14.
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi.

by International Conference on Testing Software and Systems (23rd : 2011 : Paris, France) | Zaïdi, Fatiha [edt.] | Wolff, Burkhart [edt.].

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).
15.
System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann.

by Herrmann, Peter [edt.] | Kraemer, Frank Alexander [edt.] | SAM 2010 (6th : 2010 : Oslo, Norway).

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).
16.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings / edited by Weiru Liu.

by ECSQARU 2011 (11th : 2011 : Belfast, UK) | Liu, Weiru [edt.].

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).
17.
Switching theory and logic design/ A. Anand Kumar

by Kumar, A. Anand.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publisher: Delhi : PHI Learning, 2016Availability: Items available for loan: National Library of India [Call number: E 621.3819582 K 96 (3 ed.)] (1).
18.
Switching theory and logic design / A. Anand Kumar

by Kumar, A. Anand.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publisher: New Delhi : PHI Learning, 2014Availability: Items available for loan: National Library of India [Call number: E 621.3819582 K 96 (1)] (1).
19.
Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel.

by International Static Analysis Symposium (17th : 2010 : Perpignan, France) | Martel, Matthieu [edt] | Cousot, Radhia [edt].

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).
20.
Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav.

by SAS 2011 (18th : 2011 : Venice, Italy) | Yahav, Eran [edt.].

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).

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.