Listing 1 - 9 of 9 |
Sort by
|
Choose an application
Computer software
---
Computer systems
---
Telecommunication systems
---
Engineering & Applied Sciences
---
Computer Science
---
Testing
---
Information Technology
---
Software Engineering
---
Communication systems
---
Communications systems
---
Systems, Communication
---
Computer science.
---
Software engineering.
---
Computer programming.
---
Programming languages (Electronic computers).
---
Computer logic.
---
Mathematical logic.
---
Computer Science.
---
Software Engineering/Programming and Operating Systems.
---
Software Engineering.
---
Programming Languages, Compilers, Interpreters.
---
Logics and Meanings of Programs.
---
Mathematical Logic and Formal Languages.
---
Programming Techniques.
---
Algebra of logic
---
Logic, Universal
---
Mathematical logic
---
Symbolic and mathematical logic
---
Symbolic logic
---
Mathematics
---
Algebra, Abstract
---
Metamathematics
---
Set theory
---
Syllogism
---
Computer science logic
---
Logic, Symbolic and mathematical
---
Computer languages
---
Computer program languages
---
Computer programming languages
---
Machine language
---
Electronic data processing
---
Languages, Artificial
---
Computers
---
Electronic computer programming
---
Electronic digital computers
---
Programming (Electronic computers)
---
Coding theory
---
Computer software engineering
---
Engineering
---
Informatics
---
Science
---
Programming
---
Electronic systems
---
Telecommunication
---
Logic design.
---
Design, Logic
---
Design of logic systems
---
Digital electronics
---
Electronic circuit design
---
Logic circuits
---
Machine theory
---
Switching theory
---
Natal
Choose an application
Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at tryingtosolvebothnewchallengesimposedbytheadvancementinvariousareas of computer science and long-standing problems. Testing has evolved during the last decades from an ad-hoc and under-exposed area of systems development to an important and active research area. The22ndInternationalConferenceonTestingSoftwareandSystems(ICTSS) involved the merger of two traditional and important events which have served the testing community as an important venue for discussing advancements in the area. Those events, namely, TestCom (the IFIP TC 6/WG 6.1 Inter- tional Conference on Testing of Communicating Systems), and FATES (Inter- tional Workshop on Formal Approaches to Testing of Software), together form a large event on testing, validation, and speci?cation of software and systems. They have a long history. TestCom is an IFIP-sponsored series of international conferences,previouslyalsocalledInternationalWorkshoponProtocolTestS- tems(IWPTS)orInternationalWorkshoponTestingofCommunicatingSystems (IWTCS). It is devoted to testing of communicating systems, including testing of communication protocols, services, distributed platforms, and middleware.
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica
Choose an application
Choose an application
Choose an application
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica
Choose an application
Choose an application
Choose an application
Choose an application
"Every third year, the members of the International Association for Neo-Latin Studies (IANLS) assemble for a week-long conference. Over the years, this event has evolved into the largest single conference in the field of Neo-Latin studies. The papers presented at these conferences offer, then, a general overview of the current status of Neo-Latin research; its current trends, popular topics, and methodologies. In 2022, the members of IANLS gathered for a conference in Leuven where 50 years ago the first of these congresses took place.This volume presents the conference's papers which were submitted after the event and which have undergone a peer-review process. The papers deal with a broad range of fields, including literature, history, philology, and religious studies"--
Latin literature --- Latin philology, Medieval and modern --- History and criticism
Listing 1 - 9 of 9 |
Sort by
|