Pavlovic, Dusko.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programs as diagrams = from categorical computability to computable categories /
by:
Pavlovic, Dusko.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
SpringerLink (Online service); Johnson, Michael.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pavlovic, Dusko.
(書目-語言資料,印刷品)
Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows /
by:
Guttman, Joshua D.; Pavlovic, Dusko.; SpringerLink (Online service); Meseguer, José.; Landwehr, Carl E.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Computer logic.
Categories (Mathematics)
Data protection.
Software engineering.
Theory of Computation.
Programming Language.
Computational Complexity.
Software engineering
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computers and civilization.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Computability and Recursion Theory.
Artificial Intelligence (incl. Robotics)
Security.
Computers and Society.
Abstract data types (Computer science)