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
0000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
37. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81247-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
Author 
Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8312-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
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:
41. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81241-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81244-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Author 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Author 
Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Combinatorial and algorithmic mathematics : from foundation to optimization
Combinatorial and algorithmic mathematics : from foundation to optimization
Author 
Alzalg, Baha, author.
Preferred Shelf Number 
QA164 .A4693 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394235971
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
Author 
Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2340-9
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings
Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings
Author 
Ghosh, Ashish. editor. King, Irwin. editor. Bhattacharyya, Malay. editor. Sankar Ray, Shubhra. editor. K. Pal, Sankar. editor. (orcid)0000-0003-3301-4751
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-12700-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Author 
Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55386-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III
Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Hussain, Abir. editor. Han, Kyungsook. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63315-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
Author 
Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60042-0
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Author 
Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Author 
Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68034-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings
Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings
Author 
Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71827-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Author 
Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53733-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Author 
Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66158-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Intelligence Science I Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings
Intelligence Science I Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings
Author 
Shi, Zhongzhi. editor. Goertzel, Ben. editor. Feng, Jiali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68121-4
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers
Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers
Author 
Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
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:
64. 
Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II
Author 
Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60045-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Author 
Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6893-5
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Author 
Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Author 
Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Author 
Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60252-3
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Author 
Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58747-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Author 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Author 
Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55911-7
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
Author 
Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67190-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Author 
Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Author 
Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58631-1
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Author 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
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:
78. 
Cover image for Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Author 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Author 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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:
82. 
Cover image for Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Author 
de Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63046-5
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Author 
Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
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:
86. 
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:
87. 
Cover image for Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Author 
Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40189-8
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Author 
Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
Author 
Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40596-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Author 
Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30000-9
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
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:
98. 
Cover image for Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Author 
Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45856-4
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Author 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
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:
101. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
Author 
Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40581-0
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Conformal and Probabilistic Prediction with Applications 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings
Conformal and Probabilistic Prediction with Applications 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings
Author 
Gammerman, Alexander. editor. Luo, Zhiyuan. editor. Vega, Jesús. editor. Vovk, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33395-3
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
Author 
Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33509-4
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
Author 
Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44543-4
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Author 
Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39636-1
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
Author 
Martín-Vide, Carlos. editor. Mizuki, Takaaki. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49001-4
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Author 
Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
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:
110. 
Cover image for Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Author 
Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53413-7
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Author 
Rueher, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
Author 
Bonnevay, Stéphane. editor. Legrand, Pierrick. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31471-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Author 
Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43144-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Author 
Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52921-8
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
Author 
Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49397-8
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
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:
117. 
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:
118. 
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: