Вы здесь

Главная

бесконечный

Связанные издания:

A System for Processing Continuous Queries over Infinite Data Streams
Developments in Language Theory: Proc./14th International Conference, DLT 2010, London, ON, Canada, August 2010
Foundations of Software Science and Computation Structures: Proc./19th International Conference, FOSSACS 2016 Held as Part of the ETAPS 2016, Eindhoven, The Netherlands, April 2016
Highlights of the Rice-Shapiro Therem in Computable Topology
Index Sets as a Measure of Continuous Constraint Complexity
Intelligent Computing Theories: Proc./9th International Conference, ICIC 2013, Nanning, China, July 2013
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Reachability Problems: Proc./10th International Workshop, RP 2016, Aalborg, Denmark, September 2016
Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013
Reasoning about Non-terminating Loops Using Deadline Commands
Time for Verification: Essays in Memory of Amir Pnueli
Базы данных над фиксированным бесконечным универсумом