Your search returned 4526 results.

Sort
Results
4201.
4202.
Data Integration in the Life Sciences [electronic resource] : 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings / edited by Christopher J. O. Baker, Greg Butler, Igor Jurisica. by Series: Lecture Notes in Computer Science ; 7970
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).

4203.
4204.
4205.
4206.
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings / edited by Zengchang Qin, Van-Nam Huynh. by Series: Lecture Notes in Computer Science ; 8032
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).

4207.
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by Series: Lecture Notes in Computer Science ; 7999
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).

4208.
4209.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by Series: Lecture Notes in Computer Science ; 7857
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).

4210.
4211.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Series: Lecture Notes in Computer Science ; 7998
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).

4212.
4213.
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings / edited by Petra Perner. by Series: Lecture Notes in Computer Science ; 7988
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).

4214.
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Series: Lecture Notes in Computer Science ; 8049
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).

4215.
4216.
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings / edited by Petra Perner. by Series: Lecture Notes in Computer Science ; 7987
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).

4217.
Fuzzy Cognitive Maps for Applied Sciences and Engineering [electronic resource] : From Fundamentals to Extensions and Learning Algorithms / edited by Elpiniki I. Papageorgiou. by Series: Intelligent Systems Reference Library ; 54
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).

4218.
Transactions on Computational Science XIX [electronic resource] : Special Issue on Computer Graphics / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Anton Konushin. by Series: Lecture Notes in Computer Science ; 7870
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).

4219.
4220.
Pages

Maintained by VTU Library