Pavlovic, Dusko.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Programs as diagrams = from categorical computability to computable categories /
by:
Pavlovic, Dusko.; SpringerLink (Online service)
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer organization.
Computer logic.
Categories (Mathematics)
Data protection.
Software engineering.
Programming Language.
Theory of Computation.
Computational Complexity.
Programming Techniques.
Computer Science.
Computers and civilization.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Artificial Intelligence (incl. Robotics)
Security.
Computers and Society.
Abstract data types (Computer science)
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computability and Recursion Theory.