登入選單
Google圖書搜尋
Instruction Sequences for Computer Science
作者
Jan A Bergstra / Cornelis A. Middelburg
出版Springer Science & Business Media, 2012-06-12
ISBN
9789491216657 / 9491216651
主題
Computers
Algebraic Methods II: Theory, Tools and Applicatio...
作者
Jan A. Bergstra / Loe M.G. Feijs
出版Springer Science & Business Media, 1991-04-10
ISBN
3540539123 / 9783540539124
主題
Computers
Modeling and Analysis of Communicating Systems
作者
Jan Friso Groote / Mohammad Reza Mousavi
出版MIT Press, 2023-05-09
ISBN
9780262547871 / 0262547872
主題
Computers
Language Prototyping: An Algebraic Specification A...
作者
A van Deursen / J Heering / P Klint
出版World Scientific, 1996-09-30
ISBN
9789814498739 / 9814498734
主題
Computers
Formal Techniques in Real-Time and Fault-Tolerant ...
作者
Jan Vytopil
出版Springer Science & Business Media, 1991-12-11
ISBN
3540550925 / 9783540550921
主題
Computers
Metalearning
作者
Pavel Brazdil
出版Springer Nature, 2022
ISBN
9783030670245 / 3030670244
主題
Artificial intelligence
The Haskell Road to Logic, Maths and Programming
作者
Kees Doets / Jan Eijck
出版College Publications, 2004
ISBN
UCSD:31822030585525
主題
Haskell (Computer program language)
Distributed Algorithms
作者
Jan Leeuwen / Nicola Santoro / Università di Bari. Istituto di scienze dell'informazione
出版Berlin : Springer-Verlag, 1991
ISBN
OSU:32435012504965
主題
Computers
Formal Specification of Complex Reasoning Systems
作者
Jan Treur / Thomas Wetter
出版1993
ISBN
UOM:39015033117717
主題
Computers