Refine your search

Your search returned 8328 results.

Sort
Results
5541.
Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / by Series: Programming and Software Engineering ; 10510
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.

5542.
Algorithms and Architectures for Parallel Processing [electronic resource] : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5574
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.

5543.
Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings / by Series: Programming and Software Engineering ; 3798
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.

5544.
Information Security Applications [electronic resource] : 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers / by Series: Security and Cryptology ; 7115
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.

5545.
Logic, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10455
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

5546.
Approximation and Online Algorithms [electronic resource] : Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3879
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.

5547.
5548.
Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9332
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.

5549.
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / by Series: Programming and Software Engineering ; 4019
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.

5550.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings / by Series: Programming and Software Engineering ; 4937
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.

5551.
Combinatorial Algorithms [electronic resource] : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6460
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.

5552.
Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6628
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.

5553.
Intelligent Agents and Multi-Agent Systems [electronic resource] : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5357
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.

5554.
Structural Information and Communication Complexity [electronic resource] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / by Series: Theoretical Computer Science and General Issues ; 9439
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.

5555.
5556.
Advances in Cryptology -- ASIACRYPT 2012 [electronic resource] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012, Proceedings / by Series: Security and Cryptology ; 7658
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.

5557.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4790
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.

5558.
5559.
Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9340
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.

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