Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 ProceedingsVoges, Udo Voges, UdoBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto 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
|
![]() |
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976Samelson, K Samelson, K.Berlin, Heidelberg: Springer Berlin Heidelberg 1976Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
La informática y el ordenadorFrancisco Fernández BallesterosSalamanca Anaya 1973Localização: FD - Fac. Direito (T16-24-27 DBC ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Electronic computers and their business applicationsAlfred Joseph Burton R. G MillsLondon E. Benn 1960Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (651.8 B974e )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part IVojnar, Tomás ; Zhang, LijunCham: Springer International Publishing AG 2019Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 ProceedingsGanzinger, H Ganzinger, H.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
8 |
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 |
9 |
Material Type: Livro
|
![]() |
Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected PapersStrous, Leon ; Cerf, Vinton G Strous, Leon ; Cerf, Vinton GNetherlands: Springer Nature 2019Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 ProceedingsNori, Kesav V Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |