Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Mutation analysis vs. code coverage in automated assessment of students' testing skillsAaltonen, Kalle ; Ihantola, Petri ; Seppälä, OttoProceedings of the ACM international conference companion on object oriented programming systems languages and applications companion, 2010, p.153-160ACMTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
IC Design Challenges for Ambient IntelligenceAarts, Emile ; Roovers, Raf2003 Design, Automation and Test in Europe Conference and Exhibition, 2003, Vol.1, p.10002-7IEEE Computer SocietyTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Design and implementation for temp-weight and humidity control of dryer based on fuzzy logicAbad, M. Z. D. ; Mashhadi, S. K. M.The 2nd International Conference on Control, Instrumentation and Automation, 2011, p.463-467IEEETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Re-approaching the refactoring RubiconAbadi, Aharon ; Ettinger, Ran ; Feldman, YishaiProceedings of the 2nd Workshop on refactoring tools, 2008, p.1-4ACMTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Du temps nécessaire pour penser et accepter la malformation : aspects méthodologiques et cliniques : Le corps dans la pensée, la pensée dans le corpsABADIE, I ; SUDRES, J.-L ; RAJON, A.-MNeuropsychiatrie de l'enfance et de l'adolescence, 2004, Vol.52 (6), p.377-388 [Periódico revisado por pares]Paris: ElsevierTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Quantitative automata model checking of autonomous stochastic hybrid systemsAbate, Alessandro ; Katoen, Joost-Pieter ; Mereacre, AlexandruProceedings of the 14th international conference on hybrid systems: computation and control, 2011, p.83-92ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Parameterized block-based non-gaussian statistical gate timing analysisAbbaspour, Soroush ; Fatemi, Hanif ; Pedram, MassoudProceedings of the 2006 Asia and South Pacific Design Automation Conference, 2006, p.947-952IEEE PressTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Agreement without knowing everybody: a first step to dynamicityAbboud, Mohssen ; Delporte-Gallet, Carole ; Fauconnier, HuguesProceedings of the 8th international conference on new technologies in distributed systems, 2008, p.1-5ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Agreement and consistency without knowing the number of processesAbboud, Mohssen ; Delporte-Gallet, Carole ; Fauconnier, HuguesProceedings of the 8th international conference on new technologies in distributed systems, 2008, p.1-8ACMTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Transport critical current density of Bi-Sr-Ca-Cu-O/Ag superconductor tapes with addition of Fe3O4 as flux pinning centerAbd-Shukor, R ; Kechik, M M Awang ; A, Halim SJournal of physics. Conference series, 2008, Vol.97 (1), p.012050 [Periódico revisado por pares]Bristol: IOP PublishingTexto completo disponível |