Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Titles (1-8 of 8)
Texts in theoretical computer science. 1862-4499
1 2008 Decision procedures : an algorithmic point of view Kroening, Daniel Rating: Electronic Resources More...
2 2016 Decision procedures : an algorithmic point of view Kroening, Daniel, author. Second edition Berlin, Germany : Springer, 2016 Rating: Electronic Resources More...
3 2010 Exact exponential algorithms Fomin, Fedor V. Rating: Electronic Resources More...
4 2007 Finite model theory and its applications Rating: Electronic Resources More...
5 2015 Introduction to concurrency theory : transition systems and CCS Gorrieri, Roberto, author. Cham : Springer, 2015 Rating: Electronic Resources More...
6 2016 An introduction to online computation : determinism, randomization, advice Komm, Dennis, author Cham, Switzerland : Springer, ©2016 Rating: Electronic Resources More...
7 2017 Models of computation Bruni, Roberto, author Cham, Switzerland : Springer, 2017 Rating: Electronic Resources
8 2017 Simulation algorithms for computational systems biology Marchetti, Luca, 1979- author. Cham, Switzerland : Springer, [2017] Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Rating: