語系
Wirsing, Martin.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
SpringerLink (Online service); Wirsing, Martin.; Congress on Progress and Controversies in Oncological Urology (2000:); Hung, Dang Van.
(書目-電子資源)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
Rauschmayer, Axel.; SpringerLink (Online service); Wirsing, Martin.; Congress on Progress and Controversies in Oncological Urology (2000:); Hofmann, Martin.
(書目-電子資源)
Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing /
by:
Wirsing, Martin.; SENSORIA Project.; Holzl, Matthias.; SpringerLink (Online service)
(書目-電子資源)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
SpringerLink (Online service); Wirsing, Martin.
(書目-電子資源)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
SpringerLink (Online service); Crossley, John Newsome.; Wirsing, Martin.; Poernomo, Iman Hafiz.
(書目-電子資源)
主題
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Curry-Howard isomorphism.
Computer Communication Networks.
Coding and Information Theory.
Lambda calculus.
Service-oriented architecture (Computer science)
Logic Design.
Information theory
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Computer software- Verification
Management of Computing and Information Systems.
Artificial intelligence
Computer security
Computer software- Validation
Functional programming (Computer science)
Logic, Symbolic and mathematical.
Abstract data types (Computer science)
Electronic data processing
Computer networks- Security measures
Web services.
Proof theory.
Software engineering
SENSORIA Project.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Computation by Abstract Devices.
Software Engineering.