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