skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
1-Safe Petri Nets and Special Cube Complexes: Equivalence and Applications
Material Type:
Artigo
Adicionar ao Meu Espaço

1-Safe Petri Nets and Special Cube Complexes: Equivalence and Applications

Chalopin, Jérémie ; Chepoi, Victor

ACM transactions on computational logic, 2019-07, Vol.20 (3), p.1-49 [Periódico revisado por pares]

ACM

Texto completo disponível

2
1-Safe Petri nets and special cube complexes: equivalence and applications
Material Type:
Artigo
Adicionar ao Meu Espaço

1-Safe Petri nets and special cube complexes: equivalence and applications

Chalopin, Jérémie ; Chepoi, Victor

arXiv.org, 2019-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
1-SAFE PETRI NETS GENERATING EVERY BINARY n-VECTOR EXACTLY ONCE
Material Type:
Artigo
Adicionar ao Meu Espaço

1-SAFE PETRI NETS GENERATING EVERY BINARY n-VECTOR EXACTLY ONCE

Kansal, Sangita ; Singh, Gajendra Pratap ; Acharya, Mukti

Scientiae Mathematicae Japonicae, 2011, Vol.74(1), pp.29-36

International Society for Mathematical Sciences

Texto completo disponível

4
2 - Quantitative security evaluation of an intrusion tolerant system
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

2 - Quantitative security evaluation of an intrusion tolerant system

Okamura, H. ; Dohi, T.

Mathematics Applied to Engineering, 2017, p.21-54

Elsevier Ltd

Texto completo disponível

5
2005A-G7-11 Study on Improvement for Container Throughput by Data Base Analysis on Container Handling
Material Type:
Artigo
Adicionar ao Meu Espaço

2005A-G7-11 Study on Improvement for Container Throughput by Data Base Analysis on Container Handling

Shinoda, Takeshi ; Kim, Hwayoung ; Shiroshita, Jun ; Tanaka, Takashi

Conference Proceedings The Japan Society of Naval Architects and Ocean Engineers, 2005, pp.449-450

The Japan Society of Naval Architects and Ocean Engineers

Texto completo disponível

6
2005A-G7-11 コンテナターミナルの荷役データ分析によるコンテナスループット向上に関する研究(一般講演(G7))
Material Type:
Artigo
Adicionar ao Meu Espaço

2005A-G7-11 コンテナターミナルの荷役データ分析によるコンテナスループット向上に関する研究(一般講演(G7))

篠田, 岳思 ; 金, 華榮 ; 城下, 潤 ; 由中, 太氏

日本船舶海洋工学会講演会論文集, 2005, pp.449-450

公益社団法人 日本船舶海洋工学会

Texto completo disponível

7
2008S-G5-10 A Study on the River Transportation Simulator using Petri-net
Material Type:
Artigo
Adicionar ao Meu Espaço

2008S-G5-10 A Study on the River Transportation Simulator using Petri-net

Hamada, Kunihiro ; Kitamura, Mitsuru ; Okimoto, Masayuki ; Sorakubo, Hiroshi ; Punayangkool, Krisana

Conference Proceedings The Japan Society of Naval Architects and Ocean Engineers, 2008, pp.473-476

The Japan Society of Naval Architects and Ocean Engineers

Texto completo disponível

8
2008S-G5-10 ペトリネットを利用した河川物流のシミュレーション(一般講演(G5))
Material Type:
Artigo
Adicionar ao Meu Espaço

2008S-G5-10 ペトリネットを利用した河川物流のシミュレーション(一般講演(G5))

濱田, 邦裕 ; 北村, 充 ; 沖本, 正行 ; 空久保, 宏

日本船舶海洋工学会講演会論文集, 2008, pp.473-476

公益社団法人 日本船舶海洋工学会

Texto completo disponível

9
2G/3G-Connect: A Tool for Strategic Techno-Economical Studies on National-Wide Mobile Networks under a Hybrid 2G/3G Architecture
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

2G/3G-Connect: A Tool for Strategic Techno-Economical Studies on National-Wide Mobile Networks under a Hybrid 2G/3G Architecture

García, Alberto E. ; Rodríguez de Lope, Laura ; Hackbarth, Klaus D. ; Illich, Dragan ; Neu, Werner

Mobile Lightweight Wireless Systems, p.275-290

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
3-layer modelling method to improve the cyber resilience in Industrial Control Systems
Material Type:
Artigo
Adicionar ao Meu Espaço

3-layer modelling method to improve the cyber resilience in Industrial Control Systems

Tsuji, Daisuke ; Fujita, Junya ; Matsumoto, Noritaka ; Tamura, Yu ; Doenhoff, Jens ; Shigemoto, Tomohiro

SICE Journal of Control, Measurement, and System Integration, 2023-12, Vol.16 (1), p.63-74

Taylor & Francis Group

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (15.451)
  2. Revistas revisadas por pares (6.674)
  3. Disponível na Biblioteca (113)

Data de Publicação 

De até
  1. Antes de1978  (43)
  2. 1978Até1988  (278)
  3. 1989Até1999  (2.697)
  4. 2000Até2011  (6.324)
  5. Após 2011  (6.291)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (15.294)
  2. Japonês  (422)
  3. Português  (139)
  4. Chinês  (56)
  5. Espanhol  (54)
  6. Francês  (27)
  7. Tcheco  (17)
  8. Alemão  (11)
  9. Russo  (8)
  10. Catalão  (4)
  11. Indonésio  (4)
  12. Coreano  (3)
  13. Croatian  (3)
  14. Persa  (3)
  15. Árabe  (2)
  16. Lituano  (1)
  17. Eslovaco  (1)
  18. Ucraniano  (1)
  19. Sueco  (1)
  20. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.