語系
Johnson, Michael.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebraic methodology and software technology13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(1998 :); Johnson, Michael.; Pavlovic, Dusko.; SpringerLink (Online service)
(書目-電子資源)
Algebraic methodology and software technology6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings /
by:
(1998 :); Johnson, Michael.; SpringerLink (Online service)
(書目-電子資源)
Algebraic Methodology and Software Technology11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
by:
(1998 :); Johnson, Michael.; SpringerLink (Online service); Vene, Varmo.
(書目-電子資源)
Pro Microsoft Power BI administrationcreating a consistent, compliant, and secure corporate platform for business intelligence /
by:
Gunnarsson, Asgeir.; Johnson, Michael.; SpringerLink (Online service)
(書目-電子資源)
The semantics and pragmatics of quotation
by:
Johnson, Michael.; Saka, Paul.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Philosophy.
Logics and Meanings of Programs.
Semantics.
Pragmatics.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Philosophy of Language.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Business intelligence
Computer Science.
Quotation.
Microsoft and .NET.
Symbolic and Algebraic Manipulation.
Semantics (Philosophy)
Pragmatics
Microsoft software.