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 ...
101
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Hague, Matthew (Editor); Potapov, Igor (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
102
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:
103
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:
104
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:
105
Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6 9, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: de Cesare, Sergio (Editor); Frank, Ulrich (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
108
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Proen a, Jos (Editor); Lumpe, Markus (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
110
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:
111
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:
112
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:
114
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:
115
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:
116
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:
117
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:
118
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:
120
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:
Search Tools: Get RSS Feed — Email this Search —