Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Engineering & Applied Sciences 3,325
- Computer Science 2,375
- Information Technology 1,270
- Computer Science (Hardware & Networks) 1,239
- Computer science 950
- Electrical & Computer Engineering 707
- Electronic data processing 594
- Telecommunications 479
- Computer networks 255
- Artificial intelligence 232
- Computer security 216
- Software engineering 206
- Human-computer interaction 204
- Electrical Engineering 201
- Computer graphics 193
- Computer software 172
- Social Sciences 172
- Data processing 161
- Technology - General 160
- Data mining 153
- Informática 137
- Business & Economics 122
- Programming languages (Electronic computers) 119
- Security measures 118
- Machine learning 116
- Information technology 106
- Database management 103
- Multimedia systems 86
- Computer architecture 82
- Computer programming 81
-
10661
-
10662
-
10663
-
10664
-
10665
-
10666Publicado 2007Libro electrónico
-
10667Publicado 2004Libro electrónico
-
10668Publicado 2007Libro electrónico
-
10669Publicado 2022Libro electrónico
-
10670Publicado 2020Libro electrónico
-
10671por International Symposium on Handheld and Ubiquitous Computing“…The symposium was supported by the Association of Computing Machinery (ACM) and the German Computer Society (Gesellschaft f r Informatik, GI) and held in cooperation with a number of special interest groups of these scientific societies. …”
Publicado 1999
Libro electrónico -
10672
-
10673
-
10674por Holzmann, Gerald J., 1951-“…Sum Design and verify both abstract and detailed verification models of complex systems software Sum Develop a solid understanding of the theory behind logic model checking Sum Become an expert user of the SPIN command line interface, the Xspin graphical user interface, and the TimeLine editing tool Sum Learn the basic theory of omega automata, linear temporal logic, depth-first and breadth-first search, search optimization, and model extraction from source code The SPIN software was awarded the prestigious Software System Award by the Association for Computing Machinery (ACM), which previously recognized systems such as UNIX, SmallTalk, TCP/IP, Tcl/Tk, and the World Wide Web…”
Publicado 2004
Libro electrónico -
10675Publicado 2020“…Darüber hinaus ist er Fellow von Andrew Carnegie sowie der Association for Computing Machinery und der American Association for the Advancement of Science…”
Libro electrónico -
10676“…He is a member of the Association of Computing Machinery (ACM), and regularly speaks at research and tech conferences. …”
Libro electrónico
