Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Programming and algorithmic languagesMitnik, ëIìU. Sh (ëIìUriæi Sh.) A. S Khmel'niëtìskiæiMoscow Mir Publishers 1987Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas (005.133 M67p ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Programming the IBM 1620Clarence B. Germain b. 1929Englewood Cliffs, N.J. Prentice-Hall 1965Localização: IME - Inst. Matemática e Estatística (QA722 G373p )(Acessar) |
|
3 |
Material Type: Livro
|
Introduction to computers and data processingDaniel D. BeniceEnglewood Cliffs, N.J. Prentice-Hall 1970Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (651.8 B467i )(Acessar) |
|
4 |
Material Type: Dissertação de Mestrado
|
Desenvolvimento de hardware e software para viabilizar a operação de um microdensitômetroMarques, Márcio AlexandreBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física e Química de São Carlos 1992-09-22Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, ProceedingsPodelski, Andreas Podelski, Andreas ; Podelski, AndreasCham: Springer Nature 2018Sem texto completo |
|
6 |
Material Type: Livro
|
Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, ProceedingsKuhrmann, Marco ; Schneider, Kurt ; Pfahl, Dietmar ; Amasaki, Sousuke ; Ciolkowski, Marcus ; Hebig, Regina ; Tell, Paolo ; Klünder, Jil ; Küpper, Steffen Schneider, Kurt ; Pfahl, Dietmar ; Amasaki, Sousuke ; Kuhrmann, Marco ; Küpper, Steffen ; Schneider, Kurt ; Ciolkowski, Marcus ; Tell, Paolo ; Hebig, Regina ; Amasaki, Sousuke ; Kuhrmann, Marco ; Pfahl, Dietmar ; Klünder, JilCham: Springer Nature 2018Sem texto completo |
|
7 |
Material Type: Livro
|
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected PapersDastani, Mehdi ; Sirjani, Marjan Dastani, Mehdi ; Sirjani, Marjan ; Dastani, Mehdi ; Sirjani, MarjanCham: Springer Nature 2017Sem texto completo |
|
8 |
Material Type: Livro
|
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected PapersByrski, Aleksander ; Hughes, John Byrski, Aleksander ; Hughes, John ; Byrski, Aleksander ; Hughes, JohnCham: Springer Nature 2020Sem texto completo |
|
9 |
Material Type: Livro
|
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, ProceedingsLahiri, Shuvendu ; Reger, Giles Reger, Giles ; Lahiri, Shuvendu ; Lahiri, Shuvendu ; Reger, GilesCham: Springer Nature 2017Sem texto completo |
|
10 |
Material Type: Livro
|
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. ProceedingsSerugendo, Giovanna Di Marzo ; Loreti, Michele Di Marzo Serugendo, Giovanna ; Loreti, Michele ; Di Marzo Serugendo, Giovanna ; Loreti, MicheleNetherlands: Springer Nature 2018Sem texto completo |