語系
Wirsing, Martin.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
by:
Crossley, John Newsome.; Poernomo, Iman Hafiz.; SpringerLink (Online service); Wirsing, Martin.
(書目-電子資源)
Software-intensive systems and new computing paradigmschallenges and visions /
by:
SpringerLink (Online service); Wirsing, Martin.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
Software engineering for collective autonomic systemsThe ASCENS Approach /
by:
SpringerLink (Online service); Wirsing, Martin.
(書目-電子資源)
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.
(書目-電子資源)
主題
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.