Search Results - "Electronic digital computers"

Preliminary Specifications: Programmed Data Processor Model Three (PDP-3) October, 1960 by Digital Equipment Corporation

Subjects: “…Electronic digital computers…”
Get full text

Cloud-Based Benchmarking of Medical Image Analysis

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Performance Engineering Learning Through Applications Using JMT / by Serazzi, Giuseppe

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet /

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools /

Subjects: “…Electronic digital computers Evaluation.…”
Link to Metadata