Refine your search

Your search returned 2449 results.

Sort
Results
141.
ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / by Series: Programming and Software Engineering ; 3586
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.

142.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by Series: Programming and Software Engineering ; 3535
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.

143.
Bioinformatics Research and Applications [electronic resource] : 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings / by Series: Lecture Notes in Bioinformatics ; 10847
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

144.
145.
146.
Descriptional Complexity of Formal Systems [electronic resource] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13439
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

147.
148.
Fuzzy Logic in Artificial Intelligence [electronic resource] : IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 847
Edition: 1st ed. 1994.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook
Availability: No items available.

149.
Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / by Series: Programming and Software Engineering ; 4807
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.

150.
Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by Series: Programming and Software Engineering ; 3395
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.

151.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2789
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

152.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by Series: Programming and Software Engineering ; 11294
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

153.
Computer Science – Theory and Applications [electronic resource] : 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11532
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

154.
Recent Trends in Algebraic Development Techniques [electronic resource] : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11563
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

155.
Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4932
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.

156.
Computer Safety, Reliability, and Security [electronic resource] : 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings / by Series: Programming and Software Engineering ; 8666
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.

157.
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9763
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.

158.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11159
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

159.
Smart Blockchain [electronic resource] : First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11373
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

160.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11388
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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

Powered by Koha