咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
Finite-State Techniques: Automata, Transducers and Bimachines
收藏 引用
丛书名: cambridge tracts in theoretical computer science 60
2019年
作者: Stoyan Mihov Klaus U. Schulz
Finite-state methods are the most efficient mechanisms for analysing textual and symbolic data, providing elegant solutions for an immense number of practical problems in computational linguistics and computer science... 详细信息
来源: 评论
Introduction to coalgebra : towards mathematics of states and observation /
收藏 引用
2017年
作者: Jacobs Bart
来源: 内蒙古大学图书馆图书 评论
Temporal logics in computer science :  1
收藏 引用
丛书名: cambridge tracts in theoretical computer science
2016年
作者: Stéphane P Demri Valentin Goranko Martin Lange
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems... 详细信息
来源: 评论
Nominal Sets: Names and Symmetry in computer science
收藏 引用
丛书名: cambridge tracts in theoretical computer science
2013年
作者: Andrew M. Pitts
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, ... 详细信息
来源: 评论
Advanced Topics in Bisimulation and Coinduction  0
收藏 引用
丛书名: cambridge tracts in theoretical computer science
2011年
作者: Davide Sangiorgi Jan Rutten
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is s... 详细信息
来源: 评论
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Queryin...
收藏 引用
丛书名: cambridge tracts in theoretical computer science
2011年
作者: James Clifford
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that ...
来源: 评论
Process algebra : equational theories of communicating processes /
收藏 引用
2010年
作者: Baeten J. C. M.
来源: 内蒙古大学图书馆图书 评论
Higher Order Logic and Hardware Verification
收藏 引用
丛书名: cambridge tracts in theoretical computer science
2009年
作者: T. F. Melham
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and ve... 详细信息
来源: 评论
Hybrid graph theory and network analysis / Digitally printed version.
收藏 引用
2009年
作者: Novak Ladislav
来源: 内蒙古大学图书馆图书 评论
Process Algebra: Equational Theories of Communicating Processes  1
收藏 引用
丛书名: cambridge tracts in theoretical computer science
2009年
作者: Baeten, J. C. M.
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant res... 详细信息
来源: 评论