Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Unconventional Computation and Natural ComputationCalude Michael J DinneenSpringer International Publishing 2015Acesso online |
2 |
Material Type: Livro
|
![]() |
Unconventional Models of Computation, UMC’2KDouglas S. Calude, Cristian S. Antoniou, I. Bridges C. S Calude; M. J DinneenSpringer London 2001Acesso online |
3 |
Material Type: Livro
|
![]() |
Combinatorics, Computability and LogicDouglas S. Calude, Cristian S. Calude, C. S. Bridges M. J Dinneen; S SburlanSpringer London 2001Acesso online |
4 |
Material Type: Livro
|
![]() |
Unconventional Models of ComputationInternational Conference on Unconventional Models of Computation Cristian Calude; M. J Dinneen; Ferdinand Peper; Michael J Dinneen; F PeperSpringer Berlin Heidelberg 2002Acesso online |
5 |
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) |
6 |
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) |
7 |
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) |
8 |
Material Type: Livro
|
![]() |
Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 proceedingsUC 2006 (5th 2006 York, England) Cristian Calude 1952; Michael J Dinneen; Gheorghe Paun; Grzegorz Rozenberg; Susan StepneyBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Unconventional computation 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 proceedingsUC 2005 (2005 Seville, Spain) (4th Michael J Dinneen; Gheorghe Paun; Mario J Pérez-Jiménez; Grzegorz Rozenberg; Cristian Calude 1952Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Discrete Mathematics and Theoretical Computer ScienceDMTCS 2003 Cristian Calude; M. J Dinneen; Gerhard Goos; Juris Hartmanis; Vincent Vajnovszki; Michael J Dinneen; Jan van LeeuwenSpringer Berlin Heidelberg 2003Acesso online |