Suggested Topics within your search.
Showing 1 - 20 results of 102 for search '', query time: 0.04s Refine Results
1
New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings /
Published 2017
eBook
2
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published 2017
eBook
3
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published 2017
eBook
4
OWL: Experiences and Directions - Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers /
Published 2017
eBook
5
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 /
Published 2017
eBook
6
Robustness and Usability in Modern Design Flows /
by Fey, Görschwin., Drechsler, Rolf.
Published 2008
eBook
7
The Incomputable : Journeys Beyond the Turing Barrier /
Published 2017
eBook
8
String Analysis for Software Verification and Security /
eBook
9
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Published 2017
eBook
10
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 /
Published 2017
eBook
11
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Published 2017
eBook
12
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Published 2017
eBook
13
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
by Zeume, Thomas.
Published 2017
eBook
14
Type-2 Fuzzy Logic: Theory and Applications
by Castillo, Oscar., Melin, Patricia.
Published 2008
Get full text
eBook
15
Trends in Continuum Mechanics of Porous Media
by de Boer, Reint.
Published 2005
Get full text
eBook
16
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Published 2017
eBook
17
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Published 2017
eBook
18
Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers /
Published 2017
eBook
19
The Handbook of Formal Methods in Human-Computer Interaction /
Published 2017
eBook
20
Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /
Published 2017
eBook
Search Tools: Get RSS Feed — Email this Search