4 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
assunto:
Algorithms
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Lectures on Concurrency and Petri Nets: Advances in Petri NetsDesel, Jörg ; Reisig, Wolfgang ; Rozenberg, Grzegorz Reisig, Wolfgang ; Desel, Jörg ; Rozenberg, Grzegorz ; Reisig, Wolfgang ; Desel, Jörg ; Rozenberg, GrzegorzLecture notes in computer science, 2004, Vol.3098 [Periódico revisado por pares]Berlin, Heidelberg: Springer NatureTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Stop-transitions of Petri NetsDesel, Jörg ; Finthammer, Marc ter Beek, Maurice ; Koutny, Maciej ; Rozenberg, GrzegorzFundamenta informaticae, 2020-01, Vol.175 (1-4), p.143-172 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Negotiation as concurrency primitiveDesel, Jörg ; Esparza, Javier ; Hoffmann, PhilippActa informatica, 2019-03, Vol.56 (2), p.93-159 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A simplified proof for a self-stabilizing protocol: A game of cardsDesel, Jörg ; Kindler, Ekkart ; Vesper, Tobias ; Walter, RolfInformation processing letters, 1995-06, Vol.54 (6), p.327-328 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Petri Nets (3)
- Science & Technology (3)
- Technology (3)
- Mathematics (2)
- Computer Science, Information Systems (2)
- Logics And Meanings Of Programs (2)
- Applied Sciences (2)
- Exact Sciences And Technology (2)
- Computer Science; Control Theory; Systems (2)
- Studies (2)
- Computation By Abstract Devices (1)
- Computer Multitasking (1)
- Computer Communication Networks (1)
- Algorithm Analysis And Problem Complexity (1)
- Computer Logic (1)
- Algorithmics. Computability. Computer Arithmetics (1)
- Computer Communication Systems (1)
- Aufsatzsammlung (1)
-
Mais opções
Base de Dados/Biblioteca
- EBSCOhost Academic Search Premier (2)
- Science Citation Index Expanded (Web of Science) (2)
- Computers & Applied Sciences Complete (EBSCO) (2)
- Lecture Notes in Computer Science Archive (through to 1996) (1)
- METADEX (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- Engineered Materials Abstracts (1)
- IOS Press Publications (1)
- Materials Research Database (1)
- ScienceDirect (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- Springer Books (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- Springer Nature - Springer Journals All 2022 (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Books Online Archive (1)
- Springer Journals (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 