Search Results - "computer sciences"

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: “…Computer science.…”
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: “…Computer science.…”
Link to Metadata

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

Subjects: “…Computer science.…”
Link to Metadata

The Amazing Journey of Reason from DNA to Artificial Intelligence / by Alemi, Mario

Subjects: “…Computer science Mathematics.…”
Link to Metadata

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

Subjects: “…Computer science.…”
Link to Metadata

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

Subjects: “…Computer science.…”
Link to Metadata

Vector Semantics by Kornai, András

Subjects: “…Natural language processing (Computer science).…”
Link to Metadata

Beyond Quantity Research with Subsymbolic AI

Subjects: “…Computer Sciences…”
DOAB: download the publication
DOAB: description of the publication

Beyond Quantity Research with Subsymbolic AI

Subjects: “…Computer Sciences…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

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: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 / by Linge, Svein, Langtangen, Hans Petter

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

Algorithms for Sparse Linear Systems by Scott, Jennifer, Tůma, Miroslav

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python / by Linge, Svein, Langtangen, Hans Petter

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

Programming for Computations - MATLAB/Octave A Gentle Introduction to Numerical Simulations with MATLAB/Octave / by Linge, Svein, Langtangen, Hans Petter

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

The Crystal Ball Instruction Manual by Davies, Stephen

Subjects: “…Computer Science Textbooks…”
Access online version

Applications of Secure Multiparty Computation by L. Kamm (ed.)

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Natural Computing and Beyond by Toshiyuki Nakagaki

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Altmetrics for Digital Libraries Concepts, Applications, Evaluation and Recommendations by Nuredini, Kaltrina

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Computer science Mathematics.…”
Link to Metadata