>> Logics and Meanings of Programs

Computers , Cybernetics: Artificial Intelligence
A Tight, Practical Integration of Relations and Functions
Free Download
Computers
Advances in Petri Nets 1988
Free Download
Computers
Advances in Petri Nets 1989
Free Download
Computers
Advances in Petri Nets 1990
Free Download
Science (general) , Scientific-popular
Advances in Petri Nets 1991
Free Download
Computers
Advances in Petri Nets 1992
Free Download
Computers
Advances in Petri Nets 1993
Free Download
Technique
Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions
Free Download
Technique
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
Free Download
Technique
Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Free Download
Technique
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
Free Download
Technique
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
Free Download
Mathematics
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Free Download
Computers
Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
Free Download
Computers
Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
Free Download
Computers
Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings
Free Download
Computers , Programming
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
Free Download
Computers , Programming
Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
Free Download
Computers , Programming
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Free Download
Computers
CAAP ’86: 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings
Free Download

A Tight, Practical Integration of Relations and Functions

Advances in Petri Nets 1988

Advances in Petri Nets 1989

Advances in Petri Nets 1990

Advances in Petri Nets 1991

Advances in Petri Nets 1992

Advances in Petri Nets 1993

Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings

Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings

Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings

Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings

CAAP ’86: 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings

Categories