Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 ProceedingsHsiang, Jieh ; Ohori, Atsushi Hsiang, Jieh ; Ohori, AtsushiBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]ACM Symposium on Theory of Computing (32nd : 2000 : Portland, Or.) ACM Special Interest Group for Algorithms and Computation Theory.New York, N.Y. ACM Press ACM Order Dept., distributor 2000Localização: IME - Inst. Matemática e Estatística (QA800.C S989r 32. )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Fundamentals of Computation Theory: 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 ProceedingsReichel, Horst Reichel, HorstBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Fundamentals of computation theory 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedingsFCT '93 (1993 Szeged, Hungary) Zoltán Ésik 1951-Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.710 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Management control systems; the proceedings of a symposiumSymposium on Management Information and Control Systems (1959 Santa Monica, Calif.) Donald G Malcolm; Alan J RoweNew York Wiley 1960Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (658.018 S989m )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Bioinformatics: Converting Data to Knowledge: Workshop SummaryNational Research Council ; Division on Earth and Life Studies ; Commission on Life Sciences ; Board on Biology ; Joan Esnayra, Ph.D ; Robert Pool, Ph.DNational Academies Press 2000Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, ProceedingsBertran, Miquel ; Rus, Teodor Rus, Teodor ; Bertran, MiquelBerlin, Heidelberg: Springer Berlin / Heidelberg 1997Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Active Technologies for Network and Service Management: 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999, ProceedingsStadler, Rolf ; Stiller, Burkhard Stadler, Rolf ; Stiller, BurkhardBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Trends in Information Processing Systems: 3rd Conference of the European Cooperation in Informatics Munich, October 20–22, 1981 ProceedingsDuijvestijn, Arie ; Lockemann, Peter Christian Lockemann, Peter Christian ; Duijvestijn, ArieBerlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Structural Information and Communication Complexity: 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected PapersSuomela, Jukka Suomela, JukkaCham: Springer Nature 2016Texto completo disponível |