AI Superpowers China, Silicon Valley, and the New World Order
Kai-Fu Lee
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
de Isil Dillig
2 / 10 1 valoración
- Idioma
- Inglés
- Publicación
- 2019
- Editorial
- Springer International Publishing
- Páginas
- 549
- ISBN
- 9783030255428
Temas
- Programming
- Mathematics
- Business & Economics
- Computer Science
- Computers
- Computer Simulation
- Computer Networks
- Discrete Mathematics
- Artificial intelligence
- Software Engineering
- Information technology
- Hardware
- Careers
- Software Development & Engineering
- Computer Modelling
- Computer Engineering
- Systems Analysis & Design
- Compilers
- The Computing Profession (Springer)
Edición original
Computer Aided VerificationPublicado originalmente en 2019 Inglés Springer International Publishing
Otras ediciones (4)
Todavía no hay resumen de esta edición.
Todavía no hay reseñas. ¿Escribes la primera?
A otros lectores también les gustó
Algorithms to Live By The Computer Science of Human Decisions
Brian Christian, Tom Griffiths
Weapons of Math Destruction How Big Data Increases Inequality and Threatens Democracy
Cathy O'Neil
The Information A History, a Theory, a Flood
James Gleick
Para leer gratis
Tools and Algorithms for the Construction and Analysis of Systems
Tomás Vojnar
Fundamental Approaches to Software Engineering
Alessandra Russo
Computer Aided Verification
Hana Chockler
Foundations of Software Science and Computation Structures
FOSSACS Uppsala, ETAPS Uppsala