Automata for Branching and Layered Temporal Structures [electronic resource] An Investigation into Regularities of Infinite Transition Systems by Gabriele Puppis
Τύπος υλικού: ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 5955Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN:- 9783642118814
- Computer science
- Software engineering
- Computer software
- Logic design
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Logics and Meanings of Programs
- Software Engineering
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Algorithm Analysis and Problem Complexity
- Τεχνητή νοημοσύνη
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
Electronic Resource | ΒΚΠ - Πατρα | Διαθέσιμο |