Koha online

Refine your search

Total 6645 Results.

Unhighlight Highlight
181.
Virtual and Mixed Reality [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings/ edited by Randall Shumaker.

by International Conference on Virtual and Mixed Reality (4th : 2011 : Orlando, USA) | Shumaker, Randall [edt.].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Part I | Part II Availability: Items available for loan: National Library of India (2).
182.
No cover image available
A view of programming languages / Bernard A. Galler [and] Alan J. Perlis

by Galler, Bernard A, 1928- | Perlis, Alan J [jt. aut].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Reading, Mass. : Addison-Wesley Pub., 1970Availability: Items available for loan: National Library of India [Call number: E519.92 G136] (1).
183.
Video Processing and Computational Video [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010. Revised Papers / edited by Daniel Cremers...[et al.]

by Cremers, Daniel [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).
184.
Video Analytics for Audience Measurement [electronic resource] : First International Workshop, VAAM 2014, Stockholm, Sweden, August 24, 2014. Revised Selected Papers / edited by Cosimo Distante, Sebastiano Battiato, Andrea Cavallaro.

by Distante, Cosimo [edt] | Battiato, Sebastiano [edt] | Cavallaro, Andrea [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
185.
Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko.

by Cohen, Ernie [edt] | Rybalchenko, Andrey [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).
186.
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski.

by Joshi, Rajeev [edt] | Müller, Peter [edt] | Podelski, Andreas [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).
187.
Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / edited by Dimitra Giannakopoulou, Daniel Kroening.

by Giannakopoulou, Dimitra [edt] | Kroening, Daniel [edt].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2014Online access: Click here to access online Availability: Items available for loan: National Library of India (1).
188.
Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta.

by Lal, Akash [editor.] | Tonetta, Stefano [editor.].

Edition: 1st ed. 2023.Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click Here Availability: Items available for loan: National Library of India [Call number: 004.0151] (1).
189.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen.

by D'Souza, Deepak [edt] | Lal, Akash [edt] | Larsen, Kim Guldstrand [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).
190.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival.

by McMillan, Kenneth L [edt] | Rival, Xavier [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).
191.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

by Giacobazzi, Roberto [edt] | Berdine, Josh [edt] | Mastroeni, Isabella [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).
192.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.

by Kuncak, Viktor [edt] | Rybalchenko, Andrey [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).
193.
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).
194.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies.

by Finkbeiner, Bernd [editor.] | Wies, Thomas [editor.].

Edition: 1st ed. 2022.Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click Here Availability: Items available for loan: National Library of India [Call number: 004.0151] (1).
195.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.

by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [editor.].

Edition: 1st ed. 2023.Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click Here Availability: Items available for loan: National Library of India [Call number: 004.0151] (1).
196.
Ventura tips & tricks / Tea Nace with Daniel Will-Harris

by Nace, Ted | Will-Harris, Daniel.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Calcutta : Jaico Pub. House, 1993Availability: Items available for loan: National Library of India [Call number: E 005.3 N 113] (1).
197.
VB.Net hacks & pranks/ by Alexander Klimov

by Klimov, Alexander.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi : BPB Publications, c2006Availability: Items available for loan: National Library of India [Call number: E 005.118 K 683] (1).
198.
The vastness of natural languages / D. Terence Langendoen and Paul M. Postal

by Langendoen, D. Terence | Postal, Paul M.

Material type: Text Text Publisher: Oxford : Basil Blackwell, 1984Availability: Items available for loan: Sahitya Akademi Library [Call number: E 410.151 LAN] (1).
199.
Variable Neighborhood Search [electronic resource] : 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers / edited by Andrei Sleptchenko, Angelo Sifaleras, Pierre Hansen.

by Sleptchenko, Andrei [editor.] | Sifaleras, Angelo [editor.] | Hansen, Pierre [editor.].

Edition: 1st ed. 2023.Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click Here Availability: Items available for loan: National Library of India [Call number: 004.0151] (1).
200.
Validating and verifying knowledge-based systems / [compiled by] Uma G. Gupta

by Gupta, Uma G [com].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitas, Calif. : IEEE Computer Society Press, c1991Availability: Items available for loan: National Library of India [Call number: E/O 006.33 V 238] (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.