Books · Search
Knowledge representation (information theory) · Knowledge acquisition (expert systems)
Knowledge Science, Engineering and Management
2007
Proof theory · Logic, symbolic and mathematical
Adapting Proofs-as-Programs
2005
Software engineering · Electronic data processing
Software Engineering for Collective Autonomic Systems
2015
Fundamental Approaches to Software Engineering
2009
Development · Congresses
Recent trends in algebraic development techniques
2003
Computer programming · Congresses
Formal Description of Programming Concepts III
1988
Algebraic Methods
1989
Software-Intensive Systems and New Computing Paradigms
2008
Electronic data processing · Information theory
Theoretical Aspects of Computing - ICTAC 2005
Computer software · Computation by Abstract Devices
STACS 87
1987
Programming Language Implementation and Logic Programming
2014
Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge
2019
Elementare Aussagenlogik
1991
Lambda calculus · Symbolic and mathematical Logic
Adapting proofs-as-programs
Theoretical aspects of computing
Computer science · Software engineering
Rigorous Software Engineering for Service-Oriented Systems
2011
Java Kompakt eXamenPress
2013
Information Systems · Coding theory
Trustworthly Global Computing
2010
Forest ecology
Forest vegetation in southeastern Wyoming
1973
Java Kompakt
