Refine your search

Your search returned 7935 results.

Sort
Results
2201.
2202.
Journal on Data Semantics VIII [electronic resource] / by Series: Journal on Data Semantics ; 4380
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.

2203.
2204.
Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / by Series: Programming and Software Engineering ; 10623
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.

2205.
2206.
2207.
2208.
2209.
Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13035
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.

2210.
Algorithmic Decision Theory [electronic resource] : 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13023
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.

2211.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 12th International Workshop, COSADE 2021, Lugano, Switzerland, October 25–27, 2021, Proceedings / by Series: Security and Cryptology ; 12910
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.

2212.
Guide to Discrete Mathematics [electronic resource] : An Accessible Introduction to the History, Theory, Logic and Applications / by Series: Texts in Computer Science
Edition: 2nd 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.

2213.
Machine Translation [electronic resource] : 17th China Conference, CCMT 2021, Xining, China, October 8–10, 2021, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1464
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

2214.
2215.
Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 13030
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.

2216.
2217.
Progress in Cryptology – INDOCRYPT 2021 [electronic resource] : 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings / by Series: Security and Cryptology ; 13143
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.

2218.
Cryptology and Network Security [electronic resource] : 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings / by Series: Security and Cryptology ; 13099
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.

2219.
Combinatorial Optimization and Applications [electronic resource] : 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13135
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.

2220.
Deep Learning Approaches for Spoken and Natural Language Processing [electronic resource] / by Series: Signals and Communication Technology
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.

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