Reset Filters
Filter Related Topics: Algorithm Analysis and Problem Complexity AND Mathematical Logic and Formal Languages
Filter Related Topics within your search.
Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computer science 34 Algorithms 28 Mathematical logic 28 Logics and Meanings of Programs 24 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:
17
Transactions on computational systems biology VIII

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Priami Corrado.
Published: Springer,
Publication Dates: 2007.
Book
Save to List
Saved in:
18
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:
19
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:
Search Tools: Get RSS Feed — Email this Search —