Search Results for Order. - Narrowed by: Computational complexity.

Non-Integer Order Calculus and its Applications 9th International Conference on Non-Integer Order Calculus and Its Applications, Łódź, Poland

2026-01-19T10:21:20Z

Author Ostalczyk, Piotr. editor. Sankowski, Dominik. editor. Nowakowski, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78458-8
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

2026-01-19T10:21:20Z

Author Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03359-9
Format: Electronic Resources
Availability Online Library~1

Primers in complex systems

2026-01-19T10:21:20Z

Author Stein, Daniel L. Newman, Charles M. (Charles Michael), 1946-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt12f4hf
Format: Electronic Resources
Availability Online Library~1

Algorithms and theory of computation handbook. General concepts and techniques

2026-01-19T10:21:20Z

Author Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number QA76.9 .A43 A432 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1