Refine your search

Your search returned 7935 results.

Sort
Results
3901.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers / by Series: Programming and Software Engineering ; 6002
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.

3902.
Mobile Ad-hoc and Sensor Networks [electronic resource] : Third International Conference, MSN 2007 Beijing, China, December 12-14, 2007 Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4864
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.

3903.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4202
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

3904.
Trusted Systems [electronic resource] : 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012, Proceedings / by Series: Security and Cryptology ; 7711
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.

3905.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 6986
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.

3906.
Progress in Cryptology – AFRICACRYPT 2016 [electronic resource] : 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings / by Series: Security and Cryptology ; 9646
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

3907.
Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4720
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.

3908.
Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 6489
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.

3909.
Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Composium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 5264
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.

3910.
3911.
Applied Cryptography and Network Security [electronic resource] : 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers / by Series: Security and Cryptology ; 9092
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

3912.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5195
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.

3913.
3914.
3915.
Principles of Distributed Systems [electronic resource] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6490
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.

3916.
Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013, Proceedings / by Series: Security and Cryptology ; 7932
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.

3917.
Cryptographic Hardware and Embedded Systems – CHES 2016 [electronic resource] : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings / by Series: Security and Cryptology ; 9813
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

3918.
Research into Practice - Reality and Gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / by Series: Programming and Software Engineering ; 6093
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.

3919.
Grammatical Inference: Algorithms and Applications [electronic resource] : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3264
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3920.
WALCOM: Algorithms and Computation [electronic resource] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8973
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

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