Search Results

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

Your Filters

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

Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Subjects: Computer scienceCOMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
eBook

Quality of Information and Communications Technology : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings

Subjects: Computer architecture; Quality assurance--Congresses; Telecommunication--Quality control--CongressesCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Information Technology

Record details

Read More Add to Saved list
×
eBook

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Subjects: Computer science; Artificial intelligence; Software engineeringCOMPUTERS / Computer Science; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Data Science / General

Record details

Read More Add to Saved list
×
eBook

Scalable Uncertainty Management : 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

Subjects: Artificial intelligence; Computer science; Computer science—MathematicsCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / General; COMPUTERS / Mathematical & Statistical Software

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

Conceptual Modeling : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Subjects: Software engineering; Computer science; Application softwareCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Database Administration & Management; COMPUTERS / System Administration / Storage & Retrieval

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

Real-World Decision Support Systems : Case Studies

Subjects: Software engineering; Business--Data processing; Computer scienceCOMPUTERS / Information Technology; BUSINESS & ECONOMICS / Operations Research; BUSINESS & ECONOMICS / Information Management

Record details

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