Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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 Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2021Copyright date: �2022Online access: Click to View Availability: No items available.

Add to cart
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.

by Enea, Constantin | Lal, Akash.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Add to cart
Pages