Limit Search Results
Author
SpringerLink (Online service)
(34)
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009
(2)
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128
(2)
Leroy, Julien. editor.
(2)
Manea, Florin. editor.
(2)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(34)
Discrete mathematics.
(34)
Formal Languages and Automata Theory.
(27)
Machine theory.
(27)
Computer science.
(25)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Author 
Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Author 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Description Logics in Multimedia Reasoning
Description Logics in Multimedia Reasoning
Author 
Sikos, Leslie F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54066-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Author 
Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50062-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Author 
Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Author 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
Author 
Skrzypczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Author 
Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28678-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Author 
Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40530-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Author 
Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39300-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Author 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53132-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
Author 
Lipták, Zsuzsanna. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29516-9
Format: 
Availability 
Online Library~1
Available:
Copies: