Languages
Wirsing, Martin.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
Crossley, John Newsome.; Wirsing, Martin.; SpringerLink (Online service); Poernomo, Iman Hafiz.
(Language materials, printed)
Software engineering for collective autonomic systems = The ASCENS Approach /
by:
Wirsing, Martin.; SpringerLink (Online service)
(Electronic resources)
Knowledge science, engineering and management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings /
by:
Zhang, Songmao.; Wirsing, Martin.; Zhang, Zili.; SpringerLink (Online service)
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
Hung, Dang Van.; Wirsing, Martin.; SpringerLink (Online service); ICTAC 2005 ((2005 :)
(Language materials, printed)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
Hofmann, Martin.; Rauschmayer, Axel.; Wirsing, Martin.; SpringerLink (Online service)
(Language materials, printed)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
Wirsing, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Electronic data processing- Congresses.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Software engineering
Artificial intelligence
Image Processing and Computer Vision.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Computer software- Validation
Pattern Recognition.
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Autonomic computing.
Artificial Intelligence (incl. Robotics)
Pattern perception.
Programming Languages, Compilers, Interpreters.
Abstract data types (Computer science)
Logic Design.
Software engineering.
Algorithms.
Computer graphics.
Information theory- Congresses.
Models and Principles.
Computer networks- Security measures
Coding and Information Theory.
Functional programming (Computer science)
Lambda calculus.
Proof theory.
Computer security
Data Encryption.
Knowledge acquisition (Expert systems)
Computer Science.
Computer Communication Networks.
Computer software- Verification
Information technology
Computer science.
Computer networks.
Image processing.
Curry-Howard isomorphism.
Artificial intelligence.