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; Format:
electronic
available online
; 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.
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; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; 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; 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; 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; 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 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; 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; 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).