A mostrar 1 - 18 resultados de 18 para a pesquisa '', čas poizvedbe: 0.89seg Refinar resultados
Algorithms for Big Data
Automated Deduction – CADE 28

Automated Reasoning
Brain-Inspired Computing

Computer Aided Verification
Computer Aided Verification

Computer Aided Verification
Computer Aided Verification

Computer Aided Verification
Computer Aided Verification

Computer Aided Verification
Computer Aided Verification

Fundamental Approaches to Software Engineering
The Informatics of Time and Events

Programming Languages and Systems
Programming Languages and Systems

Programming Languages and Systems
Supercomputing Frontiers

Iskalna orodja: RSS — Pošljite iskanje po emailu — Shrani iskanje