Refine your search

Your search returned 2406 results.

Sort
Results
681.
Transactions on Petri Nets and Other Models of Concurrency V [electronic resource]. by Series: Transactions on Petri Nets and Other Models of Concurrency ; 6900
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.

682.
683.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / by Series: Theoretical Computer Science and General Issues ; 4838
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.

684.
Automated Deduction - CADE-25 [electronic resource] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9195
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.

685.
Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5757
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

686.
Engineering Secure Software and Systems [electronic resource] : First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings / by Series: Security and Cryptology ; 5429
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

687.
Information Theoretic Security [electronic resource] : 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011, Proceedings / by Series: Security and Cryptology ; 6673
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.

688.
Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5022
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.

689.
690.
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10628
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

691.
692.
Graph Drawing [electronic resource] : 13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 3843
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.

693.
694.
Combinatorial Pattern Matching [electronic resource] : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8486
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

695.
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 4074
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.

696.
697.
Advances in Neural Networks - ISNN 2009 [electronic resource] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 5552
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

698.
699.
Graph Drawing [electronic resource] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7704
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.

700.
Mathematical Foundations of Computer Science 2008 [electronic resource] : 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5162
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.

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