Proceedings of the symposium Zilele academice Clujene, Cluj-Napoca 14-22 iunie 2004. Computer science section /

Vydáno 2004

External Memory LTL Model Checking

Autor Šimeček, Pavel
Vydáno 2010

Introduction to algorithms /

Autor Cormen, Thomas H., Leiserson, Charles Eric, 1953-, Rivest, Ronald L., 1947-
Vydáno 1989

Computer semantics : studies of algorithms, processors and languages /

Autor Lee, John A. N.
Vydáno 1972

Algorithms sequential and parallel : a unified approach /

Autor Miller, Russ, Boxer, Laurence
Vydáno 2013