Your search returned 994 results.

Results
	981.	ECOOP 2014 – Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings / edited by Richard Jones. by Jones, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8586 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	982.	CONCUR 2014 – Concurrency Theory [electronic resource] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings / edited by Paolo Baldan, Daniele Gorla. by Baldan, Paolo [editor.] Gorla, Daniele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8704 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	983.	Theoretical Computer Science [electronic resource] : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / edited by Josep Diaz, Ivan Lanese, Davide Sangiorgi. by Diaz, Josep [editor.] Lanese, Ivan [editor.] Sangiorgi, Davide [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8705 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	984.	Testing Software and Systems [electronic resource] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / edited by Mercedes G. Merayo, Edgardo Montes Oca. by Merayo, Mercedes G [editor.] Oca, Edgardo Montes [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8763 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	985.	Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / edited by Gerson Zaverucha, Vítor Santos Costa, Aline Paes. by Zaverucha, Gerson [editor.] Santos Costa, Vítor [editor.] Paes, Aline [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8812 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	986.	Intelligent Information Processing VII [electronic resource] : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings / edited by Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler. by Shi, Zhongzhi [editor.] Wu, Zhaohui [editor.] Leake, David [editor.] Sattler, Uli [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 432 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	987.	Semantics of Probabilistic Processes [electronic resource] : An Operational Approach / by Yuxin Deng. by Deng, Yuxin [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	988.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8803 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	989.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8802 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	990.	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures / edited by Anne Remke, Mariëlle Stoelinga. by Remke, Anne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8453 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	991.	Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev. by Koutny, Maciej [editor.] Haddad, Serge [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8910 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	992.	Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by Nishizaki, Shin-ya [editor.] Numao, Masayuki [editor.] Caro, Jaime [editor.] Suarez, Merlin Teodosia [editor.] SpringerLink (Online service) Series: Proceedings in Information and Communications Technology ; 5 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	993.	Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by Nishizaki, Shin-ya [editor.] Numao, Masayuki [editor.] Caro, Jaime [editor.] Suarez, Merlin Teodosia [editor.] SpringerLink (Online service) Series: Proceedings in Information and Communications Technology ; 7 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	994.	Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach [electronic resource] / by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock. by Janssen, Jeroen Schockaert, Steven Vermeir, Dirk de Cock, Martine SpringerLink (Online service) Series: Atlantis Computational Intelligence Systems ; 5 \| Atlantis Computational Intelligence Systems ; 5 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Paris : Atlantis Press, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

First
Previous
41
42
43
44
45
46
47
48
49
50

Maintained by VTU Library