語系
Wirsing, Martin.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software-intensive systems and new computing paradigms = challenges and visions /
by:
SpringerLink (Online service); Wirsing, Martin.
(書目-語言資料,印刷品)
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge = 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings /
by:
Calise, Mauro.; Reich, Justin.; Wirsing, Martin.; SpringerLink (Online service); Delgado Kloos, Carlos.; Ruiperez-Valiente, Jose A.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Knowledge Science, Engineering and Management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings /
by:
Zhang, Zili.; SpringerLink (Online service); Wirsing, Martin.; Zhang, Songmao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing /
by:
SpringerLink (Online service); Wirsing, Martin.; Holzl, Matthias.; SENSORIA Project.
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
Hung, Dang Van.; Workshop on the Preservation of Stability under Discretization ((2001 :); Wirsing, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
SpringerLink (Online service); Wirsing, Martin.; Poernomo, Iman Hafiz.; Crossley, John Newsome.
(書目-語言資料,印刷品)
Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
by:
Hölzl, Matthias.; SpringerLink (Online service); Wirsing, Martin.; Mayer, Philip.; Koch, Nora.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Knowledge science, engineering and management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings /
by:
Zhang, Zili.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Wirsing, Martin.; Zhang, Songmao.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Knowledge acquisition (Expert systems)
Image Processing and Computer Vision.
Curry-Howard isomorphism.
Artificial intelligence.
Computer Communication Networks.
Lambda calculus.
Software engineering.
Computers and Education.
Education—Data processing.
Logic Design.
Information theory
Programming Techniques.
Computer programming.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Pattern perception.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Application software.
Computer graphics.
Artificial Intelligence.
Computer Appl. in Social and Behavioral Sciences.
Web services.
Computer science.
Proof theory.
Computer Graphics.
Optical data processing.
Computers.
Software engineering
Computer networks.
SENSORIA Project.
Programming Languages, Compilers, Interpreters.
Pattern Recognition.
Programming languages (Electronic computers).
Models and Principles.
Image processing.
Education.
Computation by Abstract Devices.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Pattern recognition.
Service-oriented architecture (Computer science)
Information technology
Computer Science.
Education, general.
Computer communication systems.
Information Systems and Communication Service.
Functional programming (Computer science)
Logic, Symbolic and mathematical.
Abstract data types (Computer science)
Electronic data processing