Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
The Choice of Generalized Dempster-Shafer Rules for Aggregating Belief Functions Based on Imprecision IndicesBronevich, Andrey G. ; Rozenberg, Igor N.Belief Functions: Theory and Applications, p.21-28 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Livro
|
![]() |
Lectures on Petri nets I basic models, advances in Petri NetsWolfgang Reisig Grzegorz RozenbergGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1491 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Lectures on Petri nets II applications, advances in Petri netsWolfgang Reisig Grzegorz RozenbergGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1492 ) e outros locais(Acessar) |
4 |
Material Type: Artigo
|
![]() |
Application of mismatch detection methods in DNA computingHenkel, C.V. ; Rozenberg, G. ; Spaink, H.P.Lecture Notes in Computer Science, 2005, Vol.3384, p.159-168SpringerTexto completo disponível |
5 |
Material Type: Livro
|
![]() |
Current trends in concurrencyJ W Bakker W P Roever; G RozenbergGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1986Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.224 )(Acessar) |
6 |
Material Type: Artigo
|
![]() |
On NFA ReductionsIlie, Lucian ; Navarro, Gonzalo ; Yu, ShengTheory Is Forever, p.112-124 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
On the Formal Modelling of Trust in Reputation-Based SystemsNielsen, Mogens ; Krukow, KarlTheory Is Forever, p.192-204 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A Semiring-Semimodule Generalization of ω-Context-Free LanguagesÉsik, Zoltán ; Kuich, WernerTheory Is Forever, p.68-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
On the Size of Components of Probabilistic Cooperating Distributed Grammar SystemsCsuhaj-Varjú, Erzsébet ; Dassow, JürgenTheory Is Forever, p.49-59 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Derivations in object-oriented graph grammarsLÜDTKE FERREIRA, Ana Paula ; RIBEIRO, LeilaLecture notes in computer science, 2004, p.416-430 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |