Languages
Wirsing, Martin.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Software-intensive systems and new computing paradigms = challenges and visions /
by:
SpringerLink (Online service); Wirsing, Martin.
(Language materials, printed)
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
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)
(Language materials, printed)
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
SpringerLink (Online service); Wirsing, Martin.; Poernomo, Iman Hafiz.; Crossley, John Newsome.
(Language materials, printed)
Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
by:
Hölzl, Matthias.; SpringerLink (Online service); Wirsing, Martin.; Mayer, Philip.; Koch, Nora.
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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.
Proof theory.
Computers.
Software engineering
Computer networks.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Image processing.
Education.
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
Web services.
Computer science.
Computer Graphics.
Optical data processing.
SENSORIA Project.
Pattern Recognition.
Programming languages (Electronic computers).
Computation by Abstract Devices.