Search Results

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

Your Filters

Format : eBooks Subject : compilers (computer programs)
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
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

Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

Subjects: Software engineering; Compilers (Computer programs); Computer simulationCOMPUTERS / Software Development & Engineering / General; BUSINESS & ECONOMICS / Information Management; COMPUTERS / Languages / General

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
×
eBook

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

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

Record details

Read More Add to Saved list
×
eBook

Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

Subjects: Software engineering; Compilers (Computer programs); Computer simulationCOMPUTERS / Software Development & Engineering / General; BUSINESS & ECONOMICS / Information Management; COMPUTERS / Languages / General

Record details

Read More Add to Saved list
×
eBook

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Subjects: Computer science; Compilers (Computer programs); Computer science—MathematicsCOMPUTERS / Programming / General; COMPUTERS / Data Science / General; COMPUTERS / Languages / General

Record details

Read More Add to Saved list
×
eBook

Tests and Proofs : 8th International Conference, TAP 2014, Held As Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Subjects: Software engineering; Computer programming; Computer scienceCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Programming / General; COMPUTERS / Languages / General

Record details

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