Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Fundamentals of Computation TheoryFCT '97 Bogdan S Chlebus; Ludwik CzajaSpringer Berlin Heidelberg 1997Acesso online |
2 |
Material Type: Livro
|
![]() |
Fundamentals of computation theory 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedingsInternational Symposium on Fundamentals of Computation Theory, FCT'97, 11 (11. 1997 Kraków, Poland) Bogdan S Chlebus; Ludwik CzajaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1279 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Handbook of liver diseaseLawrence S Friedman 1953- (Lawrence Samuel); Emmet B KeeffeEdinburgh Churchill Livingstone New York 1998Localização: FM - Fac. Medicina (WI39 H21 1998 )(Acessar) |
4 |
Material Type: Artigo
|
![]() |
Magnetic resonance elastography is accurate in detecting advanced fibrosis in autoimmune hepatitisWang, Jin ; Malik, Neera ; Yin, Meng ; Smyrk, Thomas C ; Czaja, Albert J ; Ehman, Richard L ; Venkatesh, Sudhakar KWorld journal of gastroenterology : WJG, 2017-02, Vol.23 (5), p.859-868United States: Baishideng Publishing Group IncTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
CoryneRegNet: an ontology-based data warehouse of corynebacterial transcription factors and regulatory networksBaumbach, Jan ; Brinkrolf, Karina ; Czaja, Lisa F ; Rahmann, Sven ; Tauch, AndreasBMC genomics, 2006-02, Vol.7 (1), p.24-24, Article 24 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Proving nets correct via cause-effect structures (an experiment)Czaja, LFundamenta informaticae, 2003-02, Vol.54 (2-3), p.165-183 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Process languages and netsCzaja, LudwikTheoretical computer science, 2000-05, Vol.238 (1), p.161-181 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
On the analysis of Petri nets and their synthesis from process languagesCZAJA, LudwikRAIRO. Informatique théorique et applications, 2003, Vol.37 (1), p.17-38 [Periódico revisado por pares]Paris: EDP SciencesTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Lower bounds in on-line geometric searchingSCHUIERER, SLecture notes in computer science, 1997, p.429-440 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Stochastic analysis of dynamic processesUPFAL, ELecture notes in computer science, 1997, p.85-92 [Periódico revisado por pares]New York NY: Springer-VerlagTexto completo disponível |