Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
The NCL Natural Constraint LanguageZhou, JianyangBerlin, Heidelberg: Springer-Verlag 2012Texto completo disponível |
|
2 |
Material Type: Artigo
|
More Time or Better Tools? A Large-Scale Retrospective Comparison of Pedagogical Approaches to Teach ProgrammingSilva-Maceda, Gabriela ; David Arjona-Villicana, P. ; Edgar Castillo-Barrera, F.IEEE transactions on education, 2016-11, Vol.59 (4), p.274-281 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Aspect-Oriented Race Detection in JavaBodden, Eric ; Havelund, KlausIEEE transactions on software engineering, 2010-07, Vol.36 (4), p.509-527 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
Algol in France: From Universal Project to Embedded CultureMounier-Kuhn, PierreIEEE annals of the history of computing, 2014-10, Vol.36 (4), p.6-25 [Periódico revisado por pares]Washington: IEEETexto completo disponível |
|
5 |
Material Type: Livro
|
Recent Advances in Algorithmic DifferentiationForth, Shaun ; Hovland, Paul ; Phipps, Eric ; Utke, Jean ; Walther, Andrea Forth, Shaun ; Phipps, Eric ; Hovland, Paul ; Phipps, Eric ; Hovland, Paul ; Forth, Shaun ; Utke, Jean ; Walther, AndreaBerlin, Heidelberg: Springer Nature 2012Texto completo disponível |
|
6 |
Material Type: Artigo
|
A method and a GUI based JAVA code for interactive gravity modeling of strike limited listric fault sources with arbitrary density-depth variationsChakravarthi, V. ; Rajeswara Sastry, S. ; Pramod Kumar, M.Journal of the Geological Society of India, 2014-05, Vol.83 (5), p.577-585 [Periódico revisado por pares]India: Springer IndiaTexto completo disponível |
|
7 |
Material Type: Artigo
|
STATEMATE: a working environment for the development of complex reactive systemsHarel, D. ; Lachover, H. ; Naamad, A. ; Pnueli, A. ; Politi, M. ; Sherman, R. ; Shtull-Trauring, A. ; Trakhtenbrot, M.IEEE transactions on software engineering, 1990-04, Vol.16 (4), p.403-414 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
The Challenges and the Opportunities of Teaching the Introductory Computer Programming Course: Case StudyHegazi, Mohamed Osman ; Alhawarat, Mohammad2015 Fifth International Conference on e-Learning (econf), 2015, p.324-330IEEESem texto completo |
|
9 |
Material Type: Ata de Congresso
|
Cubetto for preschoolers: Computer programming code to codeCaguana Anzoategui, Lucia Gabriela ; Alves Rodrigues Pereira, Maria Isabel ; del Carmen Solis Jarrin, Monica2017 International Symposium on Computers in Education (SIIE), 2017, p.1-5IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
An Online Peer Assessment-Based Programming Approach to Improving Students' Programming Knowledge and SkillsGwo-Jen Hwang ; Zi-Yun Liang ; Hsiu-Ying Wang2016 International Conference on Educational Innovation through Technology (EITT), 2016, p.81-85IEEESem texto completo |