Refine your search

Your search returned 8301 results.

Sort
Results
2641.
2642.
Theory and Application of Satisfiability Testing [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6695
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

2643.
Transactions on Computational Science XII [electronic resource] : Special Issue on Cyberworlds. by Series: Transactions on Computational Science ; 6670
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

2644.
Pattern Recognition [electronic resource] : 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6835
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

2645.
2646.
2647.
Artificial Intelligence XXXIV [electronic resource] : 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10630
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.

2648.
2649.
2650.
2651.
2652.
2653.
2654.
2655.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12735
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

2656.
2657.
Real-Time Intelligence for Heterogeneous Networks [electronic resource] : Applications, Challenges, and Scenarios in IoT HetNets / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

2658.
2659.
2660.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13216
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.

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