Limit Search Results
Author
SpringerLink (Online service)
(64)
Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796
(2)
Brlek, Srečko. editor.
(2)
Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299
(2)
Kaymak, Uzay. editor.
(2)
Language
Publication Date
-
Subject
Formal Languages and Automata Theory.
(64)
Computer science -- Mathematics.
(56)
Computer science.
(42)
Algorithms.
(34)
Computer Science Logic and Foundations of Programming.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Author 
Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automata, languages and machines. Voume B
Automata, languages and machines. Voume B
Author 
Eilenberg, Samuel. Tilson, Bret.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780122340024
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Infinite words automata, semigroups, logic and games
Infinite words automata, semigroups, logic and games
Author 
Perrin, Dominique. Pin, Jean Eric.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Rudiments of [mu]-calculus
Rudiments of [mu]-calculus
Author 
Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Automaton theory and modeling of biological systems
Automaton theory and modeling of biological systems
Author 
T͡Setlin, Mikhail Lʹvovich, 1924-1966.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780127016504
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Author 
Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Author 
Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97548-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Author 
Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56940-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Author 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action