Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
![]() |
Mathematical Foundations of Computer Science 1997Igor PrívaraSpringer Berlin Heidelberg 1997Online access |
2 |
Material Type: Book
|
![]() |
Mathematical foundations of computer science proceedingsSymposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav RovanBerlin Springer 1994Available at ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.841 e.1 ) and other locations(GetIt) |
3 |
Material Type: Book
|
![]() |
Mathematical foundations of computer science 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997 : proceedingsInternational Symposium on Mathematical foundations of computer science (22. 1997 Bratislava, Slovakia) Igor Prívara; Peter Ruzicka; Symposium on Mathematical Foundations of Computer Science (22. 1997 Bratislava, Slovakia)Berlin London Springer c1997Available at IFSC - Inst. Física de São Carlos (P621.38195 L471 v. 1295 ) and other locations(GetIt) |
4 |
Material Type: Book
|
![]() |
Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 ProceedingsPrívara, Igor ; Ružička, Peter Ružička, Peter ; Prívara, IgorBerlin, Heidelberg: Springer Berlin Heidelberg 1997Full text available |
5 |
Material Type: Book
|
![]() |
Mathematical Foundations of Computer Science 1994: 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 ProceedingsPrívara, Igor ; Rovan, Branislav ; Ruzička, Peter Ruzička, Peter ; Prívara, Igor ; Rovan, BranislavBerlin, Heidelberg: Springer Berlin Heidelberg 1994Full text available |
6 |
Material Type: Conference Proceeding
|
![]() |
Treewidth: Algorithmic techniques and resultsBodlaender, Hans L. Ružička, Peter ; Prívara, IgorLecture notes in computer science, 2005, p.19-36 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
7 |
Material Type: Conference Proceeding
|
![]() |
Complexity of finding short resolution proofsIwama, Kazuo Ružička, Peter ; Prívara, IgorLecture notes in computer science, 2005, p.309-318 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
8 |
Material Type: Book Chapter
|
![]() |
Longest common subsequencesPaterson, Mike ; Dančík, Vlado Ruzička, Peter ; Prívara, Igor ; Rovan, BranislavMathematical Foundations of Computer Science 1994, 2005, p.127-142 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
9 |
Material Type: Conference Proceeding
|
![]() |
Real-time generation of primes by a one-dimensional cellular automaton with 11 statesKorec, Ivan Ružička, Peter ; Prívara, IgorLecture notes in computer science, 2005, p.358-367 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
10 |
Material Type: Book Chapter
|
![]() |
Towards DNA sequencing chipsPevzner, Pavel A. ; Lipshutz, Robert J. Ruzička, Peter ; Prívara, Igor ; Rovan, BranislavMathematical Foundations of Computer Science 1994, 2005, p.143-158 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |