Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Discrete mathematics and theoretical computer science 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003, proceedingsDMTCS 2003 (2003 Dijon, France) Cristian Calude 1952-; M. J Dinneen 1957-; Vincent VajnovszkiBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2731 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Developments in language theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedingsConference on Developments in Language Theory (8th 2004 Auckland, N.Z.) Cristian Calude 1952; Elena Calude; M. J Dinneen 1957Berlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3340 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Unconventional computation 6th international conference, UC 2007, Kingston Canada, August 13-17, 2007 : proceedingsUC 2007 (2007 Kingston, Ont.) M. J Dinneen 1957-; Grzegorz Rozenberg; H. Todd Wareham; Cristian Calude 1952-; Selim G AklBerlin Springer New York 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4618 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Unconventional Models of Computation: Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, ProceedingsCalude, Cristian ; Dinneen, Michael J ; Peper, FBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Discrete Mathematics and Theoretical Computer Science: 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. ProceedingsCalude, Cristian S ; Dinneen, Michael J ; Vajnovszki, Vincent Dinneen, Michael J. ; Calude, Cristian S. ; Vajnovszki, VincentBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited PapersDinneen, Michael J ; Khoussainov, Bakhadyr ; Nies, Prof. Andre Nies, Prof. Andre ; Khoussainov, Bakhadyr ; Dinneen, Michael JNetherlands: Springer Nature 2012Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Introduction to algorithms, data structures and formal languagesDinneen, M. J ; Gimelʹfarb, G. L ; Wilson, Mark CAuckland, N.Z: Pearson Education New Zealand 2004Sem texto completo |
8 |
Material Type: Livro
|
![]() |
Discrete Mathematics and Theoretical Computer Science: 4th International Conference, DMTCS 2003, Dijon, France, July 2003, ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, JanBerlin/Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)Calude, C. S. ; Sburlan, S. ; Dinneen, M. J.London: Springer LondonTexto completo disponível |
10 |
Material Type: Livro
|
![]() |
Unconventional Models of Computation, UMC'2K: Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC'2K)Antoniou, I ; Calude, C. S ; Dinneen, M. JLondon: Springer London, Limited 2000Texto completo disponível |