語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Rewriting systems (Computer science)
概要
作品:
7 作品在 2 項出版品 2 種語言
書目資訊
Functional programming and parallel graph rewriting /
by:
(書目-語言資料,印刷品)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Substitutions in dynamics, arithmetics, and combinatorics
by:
(書目-語言資料,印刷品)
Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers /
by:
(書目-電子資源)
Rewriting and Typed Lambda Calculi = joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(書目-電子資源)
Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(書目-語言資料,印刷品)
主題
Graph theory.
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Nagl, Manfred,
Software engineering
Computing Methodologies.
Machine theory.
Logics and Meanings of Programs.
Computational complexity.
Lambda calculus
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Computer simulation.
Multitasking (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Data Structures.
Computer software- Verification.
Software engineering.
Computer software- Development.
Graph grammars.
Programming Languages, Compilers, Interpreters.
Computer logic
Functional programming (Computer science)
Lambda calculus.
Computer science
Parallel processing (Electronic computers)
Computer Science.
Combinatorial analysis.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Computer programming.
Symbolic and Algebraic Manipulation.
處理中
...
變更密碼
登入