Refine your search

Your search returned 7031 results.

Sort
Results
5321.
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.

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

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

5324.
5325.
5326.
The Semantic Web [electronic resource] : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5367
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.

5327.
Universal Multiservice Networks [electronic resource] : Third European Conference, ECUMN 2004, Porto, Portugal, October 25-27. 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3262
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.

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

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

5330.
5331.
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.

5332.
5333.
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.

5334.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10906
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.

5335.
5336.
5337.
5338.
5339.
5340.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in