語系
Meseguer, Jose.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Agha, Gul.; Danvy, Olivier.; Meseguer, Jose.; SpringerLink (Online service)
(書目-電子資源)
Specification, algebra, and softwareessays dedicated to Kokichi Futatsugi /
by:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(書目-電子資源)
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service)
(書目-電子資源)
Logic, rewriting, and concurrencyessays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Marti-Oliet, Narciso.; Meseguer, Jose.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn.
(書目-電子資源)
Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(1998 :); Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
by:
Futatsugi, Kokichi.; Jouannaud, Jean-Pierre.; Meseguer, Jose.; SpringerLink (Online service)
(書目-電子資源)
主題
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Rewriting systems (Computer science)
Software Engineering.
Software engineering
Algebraic logic
Computer logic.
Computer multitasking.
Logics and Meanings of Programs.
Mathematics of Computing.
Algebra
Multitasking (Computer science)
Computer simulation.
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Software engineering.
Abstract data types (Computer science)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Logic design.
Computer Science.
Computer Communication Networks.
Computer science.
Computer programming.
Symbolic and Algebraic Manipulation.