Listing 1 - 6 of 6 |
Sort by
|
Choose an application
Choose an application
Choose an application
Programming --- Formal methods (Computer science) --- Systems engineering --- Petri nets --- Méthodes formelles (Informatique) --- Ingénierie des systèmes --- Réseaux de Pétri --- 681.3*D2 --- 681.3*F --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Theory of computation --- 681.3*F Theory of computation --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Méthodes formelles (Informatique) --- Ingénierie des systèmes --- Réseaux de Pétri --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Graph theory --- Nets (Mathematics) --- System design --- Design and construction
Choose an application
Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Choose an application
This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.
Computer science. --- Computer science --- Informatica --- Informatique --- Software engineering. --- Computers. --- Artificial intelligence. --- Computers and civilization. --- Computer Science. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Computers and Society. --- Information theory. --- Artificial Intelligence. --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Civilization and computers --- Civilization --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Listing 1 - 6 of 6 |
Sort by
|