Sortiert nach
Mathematics (Basel), 2023-04, Vol.11 (8), p.1888
2023
Volltextzugriff (PDF)
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.467-483
2006
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.87-102
2006
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2020, Vol.12310, p.231-246
2020
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.211-226
1ère éd, 2005
Volltextzugriff (PDF)
Formal Techniques for Distributed Systems, p.140-154
Volltextzugriff (PDF)
Advances in Computing Science — ASIAN’99, 1999, p.74-86
1999
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Systems And Distributed Systems. User Interface
- Input State
- Mathematics
- Output State
- Physical Sciences
- Probabilistic Term
- Software
- Theoretical Computing
- User Model
- Abstract Machines
- Algorithmics. Computability. Computer Arithmetics
- Algorithms
- Boolean
Kollektion
Zeitschrift / Serie