Language: English

回圖書館首頁

手機版館藏查詢

Login

Jump To : Overview Titles Subjects

Computer software - Congresses. - Verification

Overview

Works:	136 works in 109 publications in 109 languages

Titles

Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / by: (Electronic resources)

Numerical software with result verification = international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers / by: (Electronic resources)

Computer aided verification = 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings / by: (Electronic resources)

Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: (Language materials, printed)

Computer aided verification = 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / by: (Language materials, printed)

Computer aided verification = 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / by: (Language materials, printed)

Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part I / by: (Electronic resources)

Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part II / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.. Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.. Part II / by: (Electronic resources)

更多

主題

Integrated circuits- Verification

Mathematical Logic and Formal Languages.

Software Engineering.

Artificial intelligence

Software engineering

Computer logic.

Theory of Computation.

Data Structures, Cryptology and Information Theory.

Computing Methodologies.

Natural Language Processing (NLP)

Mathematical Logic and Foundations.

Data Structures and Information Theory.

Numerical analysis- Computer programs

Electronic digital computers- Evaluation

Logics and Meanings of Programs.

Computer software- Validation

Computer programs- Reliability

Robots- Programming

Software architecture

Logic, Symbolic and mathematical.

Compilers (Computer programs)

Computer algorithms

Software Engineering/Programming and Operating Systems.

Mathematics of Computing.

Information Systems and Communication Service.

Computer and Information Systems Applications.

Programming Language.

System analysis- Congresses.

SPIN (Computer file)

Artificial Intelligence (incl. Robotics)

Operating Systems.

Programming Techniques.

Computer systems- Verification

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computer software- Quality control

Computers.

Computer simulation.

Database Management.

Information Systems Applications (incl. Internet)

Computing Milieux.

Electronics and Microelectronics, Instrumentation.

Data Structures.

Control Structures and Microprogramming.

Software engineering- Congresses.

Software Testing.

Programming Languages, Compilers, Interpreters.

Formal methods (Computer science)

Special Purpose and Application-Based Systems.

Software engineering.

Programming languages (Electronic computers)

Processor Architectures.

Computer Science Logic and Foundations of Programming.

System design- Congresses.

Computer networks- Security measures

Computer software- Testing

Database management.

Computer networks- Evaluation

Numeric Computing.

Circuits and Systems.

Computer Engineering and Networks.

Computer Modelling.

Coding and Information Theory.

Computer science

Computer security

Machine learning

Mathematical Logic and Formal Languages

The Computing Profession.

Computer hardware description languages

Artificial Intelligence.

Formal Languages and Automata Theory.

Control, Robotics, Automation.

Computer software- Verification

Computer Science.

Computer Communication Networks.

Systems and Data Security.

System Performance and Evaluation.

Computer software- Reliability

Computer science.

Computer networks.

Simulation and Modeling

Simulation and Modeling.

Computer Systems Organization and Communication Networks.

Computer Hardware.

Computer System Implementation.

Blockchains (Databases)

Models of Computation.

Design and Analysis of Algorithms.

Computer programs- Verification

Artificial intelligence.

Logics and Meanings of Programs

Computation by Abstract Devices

System analysis

Electronics and Microelectronics, instrumentation.

Computer Applications.

Compilers and Interpreters.

變更密碼

登入