Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedingsInternational Computer Science Symposium in Russia (1st 2006 Saint Petersburg, Russia) Dima Grigoriev; J Harrison (John) 1966; Edward A HirschBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedingsInternational Computer Science Symposium in Russia (2nd 2007 Ekaterinburg, Russia) Volker Diekert 1955-; Mikhail V Volkov; A Voronkov 1959- (Andreæi)Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4649 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedingsRenate A Schmidt; AKA (4 : 2006.08.29-09.02 : Manchester); International Conference on Relational Methods in Computer Science (9 : 2006.08.29-09.02 : Manchester); International Workshop on Applications of Kleene Algebra (4 : 2006.08.29-09.02 : Manchester); RelMiCs (9 : 2006.08.29-09.02 : Manchester)Berlin u.a. Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4136 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedingsInternational Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch MeyerBerlin Springer-Verlag New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4048 ) e outros locais(Acessar) |
6 |
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. |
7 |
Material Type: Livro
|
![]() |
SOFSEM 2004 theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 24-30, 2004 : proceedingsSOFSEM (Conference) (2004 Prague, Czech Republic) Jaroslav Pokorný; Mária Bieliková; Július Stuller; P. van Emde BoasBerlin Springer London 2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2932 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
SOFSEM 2007 theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedingsSOFSEM (Conference) (33rd 2007 Harrachov, Libereck y kraj, Czech Republic) J. van Leeuwen (Jan); Giuseppe Francesco Italiano; Wiebe Van Der Hoek; Christoph Meinel; Harald Sack; Frantisek PlasilBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4362 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedingsLFCS 2007 (2007 New York, N.Y.) S. N Artemov; Anil Nerode 1932-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4514 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
SOFSEM 2006 theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, M e r in, Czech Republic, January 21-27, 2006 : proceedingsSOFSEM (Conference) (32nd 2006 Merin, Czech Republic) J Wiedermann (Juraj); Gerard Tel; Jaroslav Pokorný; Mária Bieliková; Július StullerBerlin Springer c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3831 ) e outros locais(Acessar) |