Refine your search

Your search returned 8324 results.

Sort
Results
2581.
2582.
2583.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13929
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.

2584.
Applied Cryptography and Network Security [electronic resource] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13905
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.

2585.
Higher Education Computer Science [electronic resource] : A Manual of Practical Approaches / by
Edition: 2nd 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.

2586.
2587.
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.

2588.
2589.
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.

2590.
2591.
2592.
2593.
2594.
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.

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

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

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

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

2599.
2600.
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.

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