Cambridge tracts in theoretical computer science

• 関連文献: 86件

Cambridge tracts in theoretical computer science

Cambridge University Press

• WorldCat

関連文献: 86件中  1-20を表示

• 1

  Topological duality for distributive lattices : theory and applications

  Mai Gehrke and Sam van Gool

  Cambridge University Press 2024 Cambridge tracts in theoretical computer science 61

  : hbk

  所蔵館4館

• 2

  Topological duality for distributive lattices : theory and applications

  Mai Gehrke and Sam van Gool

  Cambridge University Press c2024 Cambridge tracts in theoretical computer science 61

  : hbk

  所蔵館1館

• 3

  Finite-state techniques : automata, transducers and bimachines

  Stoyan Mihov, Klaus U. Schulz

  Cambridge University Press 2019 Cambridge tracts in theoretical computer science 60

  : hardback

  所蔵館3館

• 4

  Introduction to coalgebra : towards mathematics of states and observation

  Bart Jacobs

  Cambridge University Press 2017 Cambridge tracts in theoretical computer science 59

  : hardback

  所蔵館17館

• 5

  Temporal logics in computer science : finite-state systems

  Stéphane Demri, Valentin Goranko, Martin Lange

  Cambridge University Press 2016 Cambridge tracts in theoretical computer science 58

  : hardback

  所蔵館3館

• 6

  Nominal sets : names and symmetry in computer science

  Andrew M. Pitts

  Cambridge University Press 2013 Cambridge tracts in theoretical computer science 57

  : hardback

  所蔵館10館

• 7

  Advanced topics in bisimulation and coinduction

  edited by Davide Sangiorgi, Jan Rutten

  Cambridge University Press 2012 Cambridge tracts in theoretical computer science 52

  : Hardback

  所蔵館14館

• 8

  Nonmonotonic reasoning : logical foundations of commonsense

  Gerhard Brewka

  Cambridge University Press 2010 Cambridge tracts in theoretical computer science 12

  : paperback

  所蔵館2館

• 9

  Process algebra : equational theories of communicating processes

  J.C.M. Baeten, T. Basten, M.A. Raniers

  Cambridge University Press 2010 Cambridge tracts in theoretical computer science 50

  : hardback

  所蔵館7館

• 10

  Hybrid graph theory and network analysis

  Ladislav Novak, Alan Gibbons

  Cambridge University Press 2009, c1999 Cambridge tracts in theoretical computer science 49

  : pbk

  所蔵館3館

• 11

  A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory

  T.H. Tse

  Cambridge University Press 2009 Cambridge tracts in theoretical computer science 11

  pbk

  所蔵館1館

• 12

  Lambda-calculus, combinators, and functional programming

  G.E. Revesz

  Cambridge University Press 2009 Cambridge tracts in theoretical computer science 4

  : pbk

  所蔵館2館

• 13

  Mathematical theory of domains

  [edited by] Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor

  Cambridge University Press 2008 digitally printed version Cambridge tracts in theoretical computer science 22

  : pbk.

  所蔵館6館

• 14

  Extensions of first order logic

  Maria Manzano

  Cambridge University Press 2005, c1996 Cambridge tracts in theoretical computer science 19

  : pbk

  所蔵館1館

• 15

  Action semantics

  Peter D. Mosses

  Cambridge University Press 2005 Cambridge tracts in theoretical computer science 26

  : pbk.

  所蔵館1館

• 16

  Two-level functional languages

  Flemming Nielson & Hanne Riis Nielson

  Cambridge University Press 2005 Cambridge tracts in theoretical computer science 34

  : pbk

  所蔵館1館

• 17

  Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

  Wim H. Hesselink

  Cambridge University Press 2005 Cambridge tracts in theoretical computer science 27

  : pbk

  所蔵館2館

• 18

  Free choice Petri nets

  Jörg Desel, Javier Esparza

  Cambridge University Press 2005 Cambridge tracts in theoretical computer science 40

  所蔵館3館

• 19

  Formal specification and design

  L.M.G. Feijs & H.B.M. Jonkers

  Cambridge University Press 2005, c1992 Cambridge tracts in theoretical computer science 35

  : pbk

  所蔵館1館

• 20

  Updating logical databases

  Marianne Winslett

  Cambridge University Press 2005 Cambridge tracts in theoretical computer science 9

  : pbk

  所蔵館1館

• 1
• 2
• 3
• 4
• 5
• 1 / 5