Limit Search Results
Author
SpringerLink (Online service)
(79)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383
(3)
Martín-Vide, Carlos. editor.
(3)
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X
(3)
Language
Publication Date
-
Subject
Formal Languages and Automata Theory.
(62)
Machine theory.
(62)
Computer science.
(52)
Artificial intelligence.
(38)
Computer Science Logic and Foundations of Programming.
(38)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
82 Results Found Subscribe to search results
0000000000DEFAULT
Print
73. 
Cover image for Intelligent Computing Methodologies 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III
Intelligent Computing Methodologies 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Han, Kyungsook. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Author 
Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41114-9
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
Author 
Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31550-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
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:
77. 
Cover image for Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45994-3
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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:
79. 
Cover image for Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Author 
Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34171-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Author 
Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41312-9
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Essential algorithms : a practical approach to computer algorithms
Essential algorithms : a practical approach to computer algorithms
Author 
Stephens, Rod, 1961- author.
Preferred Shelf Number 
QA76.9 .S74 2013
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Logic, automata, and algorithms
Logic, automata, and algorithms
Author 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action