Results 1 - 10 of 111 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Full Text Online (109)
- Peer-reviewed Journals (96)
- Available in the Library (2)
| 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 |
Results 1 - 10 of 111 for General Search
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Full Text Online (109)
- Peer-reviewed Journals (96)
- Available in the Library (2)
Refine My Results
Resource Type
- Book Chapters (69)
- Conference Proceedings (36)
- Books (5)
- Articles (1)
-
More options
Subject
- Applied Sciences (43)
- Exact Sciences And Technology (43)
- Computer Science; Control Theory; Systems (43)
- Theoretical Computing (42)
- Algorithmics. Computability. Computer Arithmetics (11)
- Automata. Abstract Machines. Turing Machines (10)
- Language Theory And Syntactical Analysis (9)
- Turing Machine (8)
- Information Retrieval. Graph (8)
- Computer Science (6)
- Polynomial Time (6)
- Operational Semantic (6)
- Boolean Function (5)
- Finite Automaton (5)
- Transitive Closure (4)
- Label Transition System (4)
- Function Symbol (4)
- Cellular Automaton (4)
- Communication Complexity (3)
- Critical Pair (3)
- Teoria Da Computação (2)
- Ciência Da Computação (2)
- Engenharia De Software (1)
-
More options
Author/Creator
Creation Date
- Before1986 (1)
- 1986To1987 (1)
- 1988To1988 (1)
- 1989To1994 (2)
- After 1994 (154)
-
More options
Library
Database/Library
- Lecture Notes in Computer Science Archive (through to 1996) (107)
- SpringerLINK Lecture Notes in Computer Science (2015) (107)
- Science Citation Index Expanded (Web of Science) (3)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- Springer Books (2)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- Springer Books Online Archive (2)
- Academic Search Premier (1)
- Springer Nature - Complete Springer Journals (1)
- Springer Nature - Springer Journals All 2022 (1)
- EBSCOhost Computers and Applied Sciences Complete (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 