咨询与建议

限定检索结果

文献类型

  • 64 册 图书

馆藏范围

  • 61 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 35 篇 工学
    • 34 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 4 篇 控制科学与工程
    • 1 篇 信息与通信工程
  • 10 篇 理学
    • 10 篇 数学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 6 篇 管理学
    • 6 篇 管理科学与工程(可...
  • 4 篇 哲学
    • 4 篇 哲学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 农学

主题

  • 14 篇 computer science
  • 4 篇 一般性问题
  • 3 篇 modality (logic)
  • 3 篇 logic
  • 2 篇 computer science...
  • 2 篇 literary collect...
  • 2 篇 computers
  • 2 篇 the internet
  • 2 篇 parallel process...
  • 2 篇 amp
  • 1 篇 machines
  • 1 篇 verification.
  • 1 篇 artificial intel...
  • 1 篇 universal envelo...
  • 1 篇 electronic data ...
  • 1 篇 metamathematicst...
  • 1 篇 sequential machi...
  • 1 篇 induction (mathe...
  • 1 篇 foundations of m...
  • 1 篇 程序语言、算法语言...

机构

  • 3 篇 university of ox...
  • 3 篇 eindhoven univer...
  • 3 篇 ludwig-maximilia...
  • 3 篇 swansea universi...
  • 3 篇 university of am...
  • 2 篇 university of ed...
  • 2 篇 graduate school ...
  • 2 篇 technical univer...
  • 2 篇 the university o...
  • 2 篇 university of bo...
  • 2 篇 university of ca...
  • 1 篇 london school of...
  • 1 篇 technical univer...
  • 1 篇 university of sa...
  • 1 篇 sri internationa...
  • 1 篇 université du lu...
  • 1 篇 indiana universi...
  • 1 篇 university of no...
  • 1 篇 university of ol...
  • 1 篇 utrecht universi...

作者

  • 2 篇 k. mcevoy
  • 2 篇 peter padawitz
  • 2 篇 pierre-louis cur...
  • 2 篇 j. c. m. baeten
  • 2 篇 javier esparza
  • 2 篇 jorg desel
  • 2 篇 james clifford
  • 2 篇 d. a. wolfram
  • 2 篇 willem-paul de r...
  • 2 篇 h. schwichtenber...
  • 2 篇 subrata dasgupta
  • 2 篇 roberto m. amadi...
  • 2 篇 j. v. tucker
  • 2 篇 a. s. troelstra
  • 1 篇 t. basten
  • 1 篇 david basin
  • 1 篇 hanne riis niels...
  • 1 篇 flemming nielson
  • 1 篇 t.melham
  • 1 篇 e. r. griffor

语言

  • 48 篇 英文
  • 16 篇 中文
检索条件"丛书名=Cambridge Tracts in Theoretical Computer Science"
64 条 记 录,以下是51-60 订阅
排序:
Deductive and Declarative Programming
收藏 引用
丛书名: cambridge tracts in theoretical computer science
1992年
作者: Peter Padawitz
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined man... 详细信息
来源: 评论
Design Theory and computer science
收藏 引用
丛书名: cambridge tracts in theoretical computer science
1991年
作者: Subrata Dasgupta
The logic and methodology of design is examined in this book from the perspective of computer science. computers provide the context for this examination both by discussion of the design process for hardware and softw... 详细信息
来源: 评论
Formal Methods in Artificial Intelligence
收藏 引用
丛书名: cambridge tracts in theoretical computer science
1991年
作者: Allan M. Ramsay
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-...
来源: 评论
theoretical Foundations of VLSI Design
Theoretical Foundations of VLSI Design
收藏 引用
丛书名: cambridge tracts in theoretical computer science 10
1991年
作者: K. McEvoy J. V. Tucker
From the Publisher: The physical technologies of very large scale integration (VLSI) are having major effects on the electronics industry. The potential diversity and complexity of digital systems are revolutionizing ...
来源: 评论
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Nonmonotonic Reasoning: Logical Foundations of Commonsense
收藏 引用
丛书名: cambridge tracts in theoretical computer science, Volume 12
1991年
作者: Gerhard Brewka
来源: 评论
A Unifying Framework for Structured Analysis and Design Models
收藏 引用
丛书名: cambridge tracts in theoretical computer science
1991年
作者: Tse, T.H.
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to anoth... 详细信息
来源: 评论
Proofs and Types
收藏 引用
丛书名: cambridge tracts in theoretical computer science, Volume 7
1989年
作者: Jean-Yves Girard Yves Lafont Paul Taylor
来源: 评论
Topology via logic
Topology via logic
收藏 引用
丛书名: cambridge tracts in theoretical computer science 5
1989年
作者: Steven Vickers
来源: 评论
Understanding Z: A Specification Language and its Formal Semantics
Understanding Z: A Specification Language and its Formal Sem...
收藏 引用
丛书名: cambridge tracts in theoretical computer science
1988年
作者: J. M. Spivey
来源: 评论
Lambda-calculus, combinators and functional programming
Lambda-calculus, combinators and functional programming
收藏 引用
丛书名: cambridge tracts in theoretical computer science 4
1988年
作者: Révész György E
来源: 评论