Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Recurso Textual
|
![]() |
Extended resource management using client classification and economic enhancementsPüschel, Tim ; Borissov, Nikolay ; Neumann, Dirk ; Macías Lloret, Mario ; Guitart Fernández, Jordi ; Torres Viñals, JordiIOS Press 2007Texto completo disponível |
2 |
Material Type: Recurso Textual
|
![]() |
Papers based on the School and Workshop on Theory and Technology in Quantum Information, Communication, Computation and Cryptography : Miramare, Trieste, Italy, 12-23 June 2006Fabio Benatti 1960-; School and Workshop on Theory and Technology in Quantum Information, Communication, Computation and Cryptography (2006 : Trieste, Italy)Bristol, UK : IOP Pub. c2007Localização: IF - Instituto de Física (J.Phys.A v.40 n.28 2007 )(Acessar) |
3 |
Material Type: Recurso Textual
|
![]() |
Definición, importancia y especificación en UML de las restricciones de integridad constante y permanentePau Fernández, Raquel ; Olivé Ramon, Antoni2007Texto completo disponível |
4 |
Material Type: Recurso Textual
|
![]() |
IX Electron Technology Conference ELTE 2007, Kraków 4-7.09.2007 : book of abstractsElectron Technology Conference (9 2007 Kraków). Katarzyna Zakrzewska; Akademia Górniczo-Hutnicza im. Stanis±awa Staszica (Kraków). Katedra Elektroniki.; Polska Akademia Nauk. Komitet Elektroniki i Telekomunikacji.; Centrum Badaân Uk±adów Nanoskopowych i Zaawansowanych Materia±ów, NANOSAM.Vacuum v.82, n.10, 2008Kraków : Przedsiñebiorstwo Wielobrançzowe STABIL 2007Localização: IF - Instituto de Física (Vacuum v.82 n.10 2008 )(Acessar) |
5 |
Material Type: Recurso Textual
|
![]() |
Category theory arising from geometry, algebra, computer science and physics2007Texto completo disponível |
6 |
Material Type: Recurso Textual
|
![]() |
Special Issue on Rapid System PrototypingKordon, FabriceIEEE Distributed Systems Online, 2007, Vol.8-3, 8-4 and 8-5Institute of Electrical and Electronics Engineers (IEEE)Texto completo disponível |
7 |
Material Type: Recurso Textual
|
![]() |
Applications of Continuous Mathematics to Computer ScienceNguyen, Hung T. ; Kreinovich, VladikDordrecht: Springer NetherlandsTexto completo disponível |
8 |
Material Type: Recurso Textual
|
![]() |
A compositional method for the synthesis of asynchronous communication mechanismsCosta Gorgônio, Kyller ; Cortadella, Jordi ; Xia, FeiSpringer 2007Texto completo disponível |
9 |
Material Type: Recurso Textual
|
![]() |
Numéro spécial JFLAMénissier-Morain, ValérieRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2005, Vol.24LavoisierTexto completo disponível |
10 |
Material Type: Recurso Textual
|
![]() |
Special Issue on Rapid System PrototypingKordon, Fabrice ; Luqi, ; Wills, LindaJournal of Systems and Software, 2004, Vol.70ElsevierTexto completo disponível |