Your search returned 4526 results.

Sort
Results
4381.
Object-Oriented User Interfaces for Personalized Mobile Learning [electronic resource] / by Efthimios Alepis, Maria Virvou. by Series: Intelligent Systems Reference Library ; 64
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4382.
4383.
4384.
Transactions on Computational Collective Intelligence XII [electronic resource] / edited by Ngoc Thanh Nguyen. by Series: Lecture Notes in Computer Science ; 8240
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4385.
4386.
4387.
Image and Video Technology – PSIVT 2013 Workshops [electronic resource] : GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto. by Series: Lecture Notes in Computer Science ; 8334
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4388.
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 Series: Lecture Notes in Computer Science ; 8318
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4389.
4390.
4391.
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 Series: Lecture Notes in Computer Science ; 8164
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4392.
4393.
Practitioner's Knowledge Representation [electronic resource] : A Pathway to Improve Software Effort Estimation / by Emilia Mendes. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4394.
Transactions on Computational Science XXII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Series: Lecture Notes in Computer Science ; 8360
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4395.
4396.
4397.
Theory and Applications of Formal Argumentation [electronic resource] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers / edited by Elizabeth Black, Sanjay Modgil, Nir Oren. by Series: Lecture Notes in Computer Science ; 8306
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4398.
Agent-Oriented Software Engineering [electronic resource] : Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4399.
Transactions on Computational Intelligence XIII [electronic resource] / edited by Ngoc-Thanh Nguyen, Hoai An Le-Thi. by Series: Lecture Notes in Computer Science ; 8342
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

4400.
Computational Approaches to Analogical Reasoning: Current Trends [electronic resource] / edited by Henri Prade, Gilles Richard. by Series: Studies in Computational Intelligence ; 548
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Pages

Maintained by VTU Library