Your search returned 306 results.

Sort
Results
41.
Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3018
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.

42.
Grid Computing [electronic resource] : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers / by Series: Lecture Notes in Computer Science ; 3165
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.

43.
Principles and Practice of Constraint Programming - CP 2004 [electronic resource] : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3258
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.

44.
45.
Coordination Models and Languages [electronic resource] : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2949
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.

46.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3241
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.

47.
Languages and Compilers for Parallel Computing [electronic resource] : 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2958
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.

48.
Metainformatics [electronic resource] : International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 3002
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.

49.
Programming Languages and Systems [electronic resource] : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3302
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.

50.
Stateless Core: A Scalable Approach for Quality of Service in the Internet [electronic resource] : Winning Thesis of the 2001 ACM Doctoral Dissertation Competition / by Series: Lecture Notes in Computer Science ; 2979
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.

51.
Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 11950
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

52.
Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13710
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

53.
Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14323
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

54.
Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14308
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

55.
Rewriting Techniques and Applications [electronic resource] : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3091
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.

56.
Programming Languages and Systems [electronic resource] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14405
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

57.
58.
59.
60.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in