Search

Your search returned 5 results.

Not what you expected? Check for suggestions

Results
		No cover image available Sublinear Computation Paradigm : Algorithmic Revolution in the Big Data Era. by Katoh, Naoki \| Higashikawa, Yuya \| Ito, Hiro \| Nagao, Atsuki \| Shibuya, Tetsuo \| Sljoka, Adnan \| Tanaka, Kazuyuki \| Uno, Yushi. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2021Copyright date: �2022Online access: Click to View Availability: No items available. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. by Sankaranarayanan, Sriram \| Sharygina, Natasha. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Variant Construction from Theoretical Foundation to Applications. by Zheng, Jeffrey. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2019Copyright date: �2019Online access: Click to View Availability: No items available. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. by Groote, Jan Friso \| Larsen, Kim Guldstrand. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. by Enea, Constantin \| Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)