Refine your search

Your search returned 17575 results.

Sort
Results
4521.
Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6120
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.

4522.
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4497
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.

4523.
Transactions on Computational Collective Intelligence XXII [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 9655
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

4524.
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5028
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.

4525.
Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4501
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.

4526.
4527.
4528.
4529.
Decision and Game Theory for Security [electronic resource] : 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29–31, 2018, Proceedings / by Series: Security and Cryptology ; 11199
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.

4530.
4531.
4532.
4533.
Smart Cities [electronic resource] : First Ibero-American Congress, ICSC-CITIES 2018, Soria, Spain, September 26–27, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 978
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

4534.
4535.
Information Systems Engineering in Responsible Information Systems [electronic resource] : CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings / by Series: Lecture Notes in Business Information Processing ; 350
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

4536.
4537.
4538.
Computer Networks [electronic resource] : 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1039
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

4539.
Handbook of Science and Technology Convergence [electronic resource] / by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature Living Reference
Availability: No items available.

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