Refine your search

Your search returned 4435 results.

Sort
Results
3261.
3262.
3263.
Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2991
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.

3264.
Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2791
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.

3265.
Testing of Communicating Systems [electronic resource] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / by Series: Lecture Notes in Computer Science ; 2978
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.

3266.
Cross-Cultural Design [electronic resource] : 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10281
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.

3267.
3268.
3269.
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7994
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.

3270.
Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 3038
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.

3271.
3272.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3011
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.

3273.
3274.
Engineering Self-Organising Systems [electronic resource] : Nature-Inspired Approaches to Software Engineering / by Series: Lecture Notes in Artificial Intelligence ; 2977
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.

3275.
3276.
3277.
3278.
3279.
3280.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in