skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science -- theory and applications first International Computer Science Symposium in Russia, CSR 2006, St Petersburg, Russia, June 8-12, 2006 : proceedings

International Computer Science Symposium in Russia (1st 2006 Saint Petersburg, Russia) Dima Grigoriev; J Harrison (John) 1966; Edward A Hirsch

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

2
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings

International Computer Science Symposium in Russia (2nd 2007 Ekaterinburg, Russia) Volker Diekert 1955-; Mikhail V Volkov; A Voronkov 1959- (Andreæi)

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4649 ) e outros locais(Acessar)

3
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen Garg

Berlin Springer 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4337 ) e outros locais(Acessar)

4
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 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 ; proceedings

Renate 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 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4136 ) e outros locais(Acessar)

5
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

International Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch Meyer

Berlin Springer-Verlag New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.4048 ) e outros locais(Acessar)

6
Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science

Maria Bielikov Editor edt Ondrej S ykora Editor edt; Peter Vojt s Editor edt Charon-Bost Editor edt

New York Springer March 2005

Acesso online. A biblioteca também possui exemplares impressos.

7
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 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 : proceedings

SOFSEM (Conference) (2004 Prague, Czech Republic) Jaroslav Pokorný; Mária Bieliková; Július Stuller; P. van Emde Boas

Berlin Springer London 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2932 ) e outros locais(Acessar)

8
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 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 : proceedings

SOFSEM (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 Plasil

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4362 ) e outros locais(Acessar)

9
Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedings

LFCS 2007 (2007 New York, N.Y.) S. N Artemov; Anil Nerode 1932-

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4514 ) e outros locais(Acessar)

10
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 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 : proceedings

SOFSEM (Conference) (32nd 2006 Merin, Czech Republic) J Wiedermann (Juraj); Gerard Tel; Jaroslav Pokorný; Mária Bieliková; Július Stuller

Berlin Springer c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3831 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (5)

Data de Publicação 

De até
  1. Antes de1996  (1)
  2. 1996Até2003  (1)
  3. 2004Até2004  (2)
  4. 2005Até2006  (12)
  5. Após 2006  (12)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.