Your search returned 58 results.

Results
	41.	Selected Areas in Cryptography – SAC 2016 [electronic resource] : 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers / by Avanzi, Roberto [editor.] Heys, Howard [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10532 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Critical Information Infrastructures Security [electronic resource] : 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers / by Havarneanu, Grigore [editor.] Setola, Roberto [editor.] Nassopoulos, Hypatia [editor.] Wolthusen, Stephen [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10242 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	43.	Constructive Side-Channel Analysis and Secure Design [electronic resource] : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers / by Guilley, Sylvain [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10348 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	44.	Software Technologies [electronic resource] : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / by van Sinderen, Marten [editor.] Maciaszek, Leszek A [editor.] Fill, Hans-Georg [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1447 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	45.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings / by Orailoglu, Alex [editor.] Reichenbach, Marc [editor.] Jung, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13511 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	46.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / by Ramanayake, Revantha [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14278 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	Transactions on High-Performance Embedded Architectures and Compilers V [electronic resource] / by Silvano, Cristina [editor.] Bertels, Koen [editor.] Schulte, Michael [editor.] SpringerLink (Online service) Series: Transactions on High-Performance Embedded Architectures and Compilers ; 11225 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	Java in Two Semesters [electronic resource] : Featuring JavaFX / by Charatan, Quentin [author.] Kans, Aaron [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 4th ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	Advanced Computer Architecture [electronic resource] : 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings / by Dong, Dezun [editor.] Gong, Xiaoli [editor.] Li, Cunlu [editor.] Li, Dongsheng [editor.] Wu, Junjie [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1256 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks [electronic resource] : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14–16, 2021, Revised Selected Papers / by Poole, Stephen [editor.] Hernandez, Oscar [editor.] Baker, Matthew [editor.] Curtis, Tony [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13159 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Software Technologies [electronic resource] : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / by Fill, Hans-Georg [editor.] van Sinderen, Marten [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1622 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / by Ferreira, Carla [editor.] Willemse, Tim A. C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14323 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	53.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings / by Silvano, Cristina [editor.] Pilato, Christian [editor.] Reichenbach, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14385 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	54.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	55.	Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14388 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part II / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14389 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Constructive Side-Channel Analysis and Secure Design [electronic resource] : 15th International Workshop, COSADE 2024, Gardanne, France, April 9–10, 2024, Proceedings / by Wacquez, Romain [author.] Homma, Naofumi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14595 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Fundamental Approaches to Software Engineering [electronic resource] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / by Beyer, Dirk [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14573 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

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