Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  551 results for "Martin, Isabel, 1977-"

Your Filters

Format : eBooks Subject : machine theory
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
eBook

The Semantic Web – ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

Subjects: Database management; Artificial intelligence; Application softwareCOMPUTERS / Database Administration & Management; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Information Technology

Record details

Read More Add to Saved list
×
eBook

The Semantic Web – ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I

Subjects: Database management; Artificial intelligence; Application softwareCOMPUTERS / Database Administration & Management; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Information Technology

Record details

Read More Add to Saved list
×
eBook

Modeling Decisions for Artificial Intelligence : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

Subjects: Artificial intelligence; Data mining; Machine theoryCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Data Science / General; COMPUTERS / Data Science / Data Analytics

Record details

Read More Add to Saved list
×
eBook

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Subjects: Software engineering; Compilers (Computer programs); Electronic digital computers—EvaluationCOMPUTERS / Software Development & Engineering / General; COMPUTERS / General; COMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
eBook

Concrete Semantics : With Isabelle/HOL

Subjects: Computer science; Compilers (Computer programs); Machine theoryCOMPUTERS / Programming / General; COMPUTERS / Languages / General; MATHEMATICS / Logic

Record details

Read More Add to Saved list
×
eBook

Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement From the Chair of Programming and Software Engineering

Subjects: Software engineering; Computer science; Compilers (Computer programs)COMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
eBook

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Subjects: Artificial intelligence; Computer science; Machine theoryCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Data Science / General; COMPUTERS / Machine Theory

Record details

Read More Add to Saved list
×
eBook

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK,, September 5–8, 2023 Proceedings

Subjects: Artificial intelligence; Machine theory; Social sciences—Data processingCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Data Science / General; COMPUTERS / Programming / Algorithms

Record details

Read More Add to Saved list
×
eBook

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Subjects: Software engineering; Artificial intelligence; Computer scienceCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
eBook

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Subjects: Software engineering; Computer science; Machine theoryCOMPUTERS / Software Development & Engineering / General; BUSINESS & ECONOMICS / Information Management; COMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
  • 1-10 of  551 results for "Martin, Isabel, 1977-"