Reset Filters
Filter Related Topics: Algorithms AND Mathematical Logic and Formal Languages
Filter Related Topics within your search.
Algorithms Computer science 29 Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity 28 Mathematical logic 28 Logics and Meanings of Programs 22 Computer logic 21 more ...
8
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink Online service
Group Author: Barrett, Clark; Davies, Misty; Kahsai, Temesghen
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
9
Automated Deduction CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 11, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink Online service
Group Author: de Moura, Leonardo
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
10
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /

Cover is for reference only
Corporate Authors: SpringerLink Online service
Group Author: Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
11
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /

Cover is for reference only
Main Authors: Zeume, Thomas
Corporate Authors: SpringerLink Online service
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
12
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11 13, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink Online service
Group Author: Bozzano, Marco; Papadopoulos, Yiannis
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
14
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Day, Adam (Editor); Fellows, Michael (Editor); Greenberg, Noam (Editor); Khoussainov, Bakhadyr (Editor); Melnikov, Alexander (Editor); Rosamond, Frances (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
15
Computer Science Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Weil, Pascal (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
18
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Pighizzini, Giovanni (Editor); Campeanu, Cezar (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
19
Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Dennunzio, Alberto (Editor); Formenti, Enrico (Editor); Manzoni, Luca (Editor); Porreca, Antonio E. (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
20
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Ghosh, Sujata (Editor); Prasad, Sanjiva (Editor)
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —