Search Results

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

Your Filters

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

Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings

Subjects: Software engineering; Application software; Computer networksCOMPUTERS / Software Development & Engineering / General; COMPUTERS / General; COMPUTERS / Artificial Intelligence / General

Record details

Read More Add to Saved list
×
eBook

Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers

Subjects: Software engineering; Computers, Special purpose; Computer systemsCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / Expert Systems; COMPUTERS / Information Technology

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

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

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

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

Semantic Integration of Heterogeneous Software Specifications

Subjects: Software engineering; Computer science; Computer programmingCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Computer Science; COMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
eBook

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Subjects: Machine theory; Artificial intelligence; Computer scienceMATHEMATICS / Logic; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / General

Record details

Read More Add to Saved list
×
eBook

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

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

Record details

Read More Add to Saved list
×
eBook

Euro-Par 2011: Parallel Processing Workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part II

Subjects: Electronic digital computers—Evaluation; Software engineering; Computer networksCOMPUTERS / Hardware / Cell Phones & Devices; COMPUTERS / Artificial Intelligence / Expert Systems; COMPUTERS / Programming / General

Record details

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