Refine your search

Your search returned 17575 results.

Sort
Results
7161.
Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Series: Texts in Computer Science
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.

7162.
7163.
7164.
7165.
7166.
7167.
7168.
7169.
Multi-sensor Fusion for Autonomous Driving [electronic resource] / by
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.

7170.
7171.
Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14155
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.

7172.
Intent Recognition for Human-Machine Interactions [electronic resource] / by Series: SpringerBriefs in Computer Science
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.

7173.
Breast Imaging [electronic resource] : 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 - July 2, 2014, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8539
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.

7174.
Security Protocols [electronic resource] : 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2845
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.

7175.
Modelling Autonomic Communications Environments [electronic resource] : Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5276
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.

7176.
Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 4240
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

7177.
Computer Vision -- ECCV 2010 [electronic resource] : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6311
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

7178.
Lightweight Cryptography for Security and Privacy [electronic resource] : 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers / by Series: Security and Cryptology ; 9542
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.

7179.
7180.
Medical Biometrics [electronic resource] : First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4901
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.

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