Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedingsInternational Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
12 |
Material Type: Livro
|
![]() |
SCCC'99 XIX International Conference of the Chilean Computer Science Society : proceedings : November 11-13, 1999, Talca, ChileSociedad Chilena de Ciencia de la Computación Conferencia Internacional 1999 Talca, Chile) IEEE Computer SocietyLos Alamitos, Calif. IEEE Computer Society Press 1999Acesso online. A biblioteca também possui exemplares impressos. |
13 |
Material Type: Livro
|
![]() |
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
14 |
Material Type: Livro
|
![]() |
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papersInternational Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany) R Berghammer (Rudolf) 1952-; Bernhard Möller 1953-; Georg Struth; International Workshop on Applications of Kleene Algebra (2nd 2003 Bad Malente, Germany)Berlin Springer London c2004Acesso online. A biblioteca também possui exemplares impressos. |
15 |
Material Type: Revista
|
![]() |
Scientific Annals of Computer ScienceRomania Alexandru Ioan Cuza University of IasiAcesso online. A biblioteca também possui exemplares impressos. |
16 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
17 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1979BecvarSpringer Berlin Heidelberg 1979Acesso online. A biblioteca também possui exemplares impressos. |
18 |
Material Type: Revista
|
![]() |
Bulletin of the European Association for Theoretical Computer ScienceLeiden, Netherlands EATCSAcesso online. A biblioteca também possui exemplares impressos. |
19 |
Material Type: Revista
|
![]() |
International Journal of Foundations of Computer ScienceSingapore World ScientificAcesso online. A biblioteca também possui exemplares impressos. |
20 |
Material Type: Livro
|
![]() |
Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer ScienceMaria Bielikov Editor edt Ondrej S ykora Editor edt; Peter Vojt s Editor edt Charon-Bost Editor edtNew York Springer March 2005Acesso online. A biblioteca também possui exemplares impressos. |