1
Publicerad 2008
Innehållsförteckning: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2007
Innehållsförteckning: ... for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2007
Innehållsförteckning: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ...-Organizational ERP Size and Effort Estimation -- Do Base Functional Component Types Affect the Relationship...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2007
Innehållsförteckning: ... for Multiagent Interaction by F-logic -- Adding Adaptability to Mailbox-Based Mobile IP -- Palpability Support...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ...-Definition Movies -- Design and Experimental Validation of UAV Control System Software Based on the TMO...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2008
Innehållsförteckning: ... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...
Hämta fulltext
Elektronisk E-bok