Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
1026. マイクロプロセッサ化原子炉保護系のフェイルセーフ構成とオンライン診断法の開発有田, 節男 ; 大木戸, 文康 ; 鈴木, 隆之日本原子力学会誌, 1995/11/30, Vol.37(11), pp.1056-1065一般社団法人 日本原子力学会Texto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
11 - Systems theory in thermal and chemical engineeringStanisław Sieniutycz ; Jacek ,JeżowskiEnergy Optimization in Process Systems and Fuel Cells, 2013, p.429-464Elsevier LtdTexto completo disponível |
3 |
Material Type: Livro
|
![]() |
11th International Conference on Analysis and Optimization of Systems Discrete Event Systems: Sophia-Antipolis, June 15–16–17, 1994Cohen, Guy ; Quadrat, Jean-Pierre Cohen, Guy ; Quadrat, Jean-PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
5th Conference on Optimization TechniquesIFIP Colloquium on Optimization Techniques (5th 1973 Rome) Roberto Conti 1923-; Antonio Ruberti; IFIP TC-7 (Organization); Consiglio nazionale delle ricerche (Italy)Berlin Springer-Verlag New York 1973Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4 p.2 e.2 ) e outros locais(Acessar) |
5 |
Material Type: Ata de Congresso
|
![]() |
6th ICSE workshop on component-based software engineering: automated reasoning and predictionCrnkovic, I. ; Schmidt, H. ; Stafford, J. ; Wallnau, K.25th International Conference on Software Engineering, 2003. Proceedings, 2003, p.775-776IEEETexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
7 - Putting it all together: summary and final thoughts for further researchPetros KostagiolasManaging Intellectual Capital in Libraries, 2012, p.177-184Elsevier LtdTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A 1/16° eddying simulation of the global NEMO sea-ice–ocean systemIovino, Doroteaciro ; Masina, Simona ; Storto, Andrea ; Cipollone, Andrea ; Stepanov, Vladimir NGeoscientific Model Development, 2016-08, Vol.9 (8), p.2665-2684 [Periódico revisado por pares]Katlenburg-Lindau: Copernicus GmbHTexto completo disponível |
8 |
Material Type: Livro
|
![]() |
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition SystemsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Abstract compositional analysis of iterated relations a structural approach to complex state transition systemsFrédéric GeurtsBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1426 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Abstract Systems TheoryMesarovic, Mihailo D ; Takahara, Yasuhiko Mesarovic, Mihajlo D. ; Takahara, YasuhikoBerlin, Heidelberg: Springer Berlin / Heidelberg 1989Texto completo disponível |