Reset Filters
Filter Related Topics: Mathematical Logic and Formal Languages
Filter Related Topics within your search.
Mathematical Logic and Formal Languages Computer science 118 Mathematical logic 100 Logics and Meanings of Programs 65 Software engineering 59 Artificial intelligence 58 Computer logic 53 more ...
61
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Bras lia, Brazil, September 27-29, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Dixon, Clare (Editor); Finger, Marcelo (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
62
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Benslimane, Djamal (Editor); Damiani, Ernesto (Editor); Grosky, William I. (Editor); Hameurlain, Abdelkader (Editor); Sheth, Amit (Editor); Wagner, Roland R. (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
63
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Abate, Alessandro (Editor); Boldo, Sylvie (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
64
Developments in Language Theory : 21st International Conference, DLT 2017, Li ge, Belgium, August 7-11, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Charlier, milie (Editor); Leroy, Julien (Editor); Rigo, Michel. (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
65
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /

Cover is for reference only
Main Authors: O'Regan, Gerard (Author)
Corporate Authors: SpringerLink (Online service)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
67
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Majumdar, Rupak (Editor); Kun ak, Viktor (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
68
Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23 25, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Camelin, Nathalie (Editor); Est ve, Yannick (Editor); Mart n-Vide, Carlos (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
70
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Moral, Seraf n (Editor); Pivert, Olivier (Editor); S nchez, Daniel (Editor); Mar n, Nicol s (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
71
KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25 29, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Kern-Isberner, Gabriele (Editor); F rnkranz, Johannes (Editor); Thimm, Matthias (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
72
Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Wang, Zhe (Editor); Turhan, Anni-Yasmin (Editor); Wang, Kewen (Editor); Zhang, Xiaowang (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
73
Health Information Science : 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Siuly, Siuly (Editor); Huang, Zhisheng (Editor); Aickelin, Uwe (Editor); Zhou, Rui (Editor); Wang, Hua (Editor); Zhang, Yanchun (Editor); Klimenko, Stanislav (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
74
Interactive Theorem Proving : 8th International Conference, ITP 2017, Bras lia, Brazil, September 26 29, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Ayala-Rinc n, Mauricio (Editor); Mu oz, C sar A (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
75
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Geuvers, Herman (Editor); England, Matthew (Editor); Hasan, Osman (Editor); Rabe, Florian (Editor); Teschke, Olaf (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
76
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Benslimane, Djamal (Editor); Damiani, Ernesto (Editor); Grosky, William I. (Editor); Hameurlain, Abdelkader (Editor); Sheth, Amit (Editor); Wagner, Roland R. (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
77
Combinatorics on Words : 11th International Conference, WORDS 2017, Montr al, QC, Canada, September 11-15, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Brlek, Sre ko (Editor); Dolce, Francesco (Editor); Reutenauer, Christophe (Editor); Vandomme, lise (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
78
Metadata and Semantic Research : 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 December 1, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Garoufallou, Emmanouel (Editor); Virkus, Sirje (Editor); Siatri, Rania (Editor); Koutsomiha, Damiana (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —