Refine your search

Your search returned 1144 results.

Sort
Results
781.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / by Series: Theoretical Computer Science and General Issues ; 6538
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.

782.
Critical Information Infrastructure Security [electronic resource] : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers / by Series: Security and Cryptology ; 6712
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.

783.
Language and Automata Theory and Applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 / by Series: Theoretical Computer Science and General Issues ; 6638
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.

784.
Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / by Series: Programming and Software Engineering ; 6788
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.

785.
786.
Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6736
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.

787.
Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6742
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.

788.
Service-Oriented Perspectives in Design Science Research [electronic resource] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6629
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.

789.
790.
Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6482
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.

791.
Evolutionary Multi-Criterion Optimization [electronic resource] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6576
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.

792.
Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6546
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.

793.
794.
Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / by Series: Programming and Software Engineering ; 6721
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.

795.
Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 6700
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.

796.
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.

797.
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.

798.
DNA Computing and Molecular Programming [electronic resource] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6518
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.

799.
Discovery Science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6926
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.

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