Your search returned 16792 results.

Sort
Results
8301.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5215
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8302.
Affect and Emotion in Human-Computer Interaction [electronic resource] : From Theory to Applications / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4868
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8303.
8304.
8305.
8306.
8307.
8308.
Application and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6709
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

8309.
Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31--September 3, 2010, Proceedings / by Series: Lecture Notes in Bioinformatics ; 6268
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

8310.
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4494
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

8311.
Theory and Applications of Models of Computation [electronic resource] : 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4978
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8312.
Advanced Data Mining and Applications [electronic resource] : 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7713
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

8313.
Transactions on Rough Sets XIII [electronic resource]. by Series: Transactions on Rough Sets ; 6499
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

8314.
8315.
Advances in Databases and Information Systems [electronic resource] : 12th East European Conference, ADBIS 2008, Pori, Finland, September 5-9, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5207
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8316.
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7582
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

8317.
Human-Computer Interaction: Applications and Services [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8005
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

8318.
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / by Series: Programming and Software Engineering ; 5321
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8319.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings / by Series: Security and Cryptology ; 3548
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

8320.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in