انتشارات Mit
IBM's 360 and early 370 systems
Emerson W Pugh; Lyle R Johnson; John H Palmer, 1991
Computational Formalism. Art History and Machine Learning
Amanda Wasielewski, 2023
Computational Formalism: Art History and Machine Learning
Amanda Wasielewski, 2023
Logic Primer, Third Edition
Colin Allen;Michael Hand;; Michael Hand, 2022
Low-Density Parity-Check Codes
Robert G. Gallagher, 1963
Spam: a shadow history of the Internet
Finn Brunton, 2013
Metamodeling : a study of approximations in queueing models
Subhash Chandra Agrawal., 1984.
Theory of language
Weisler S., Milekic S., 2010
Introduction to Static Analysis
Xavier Rival; Kwangkeun Yi, 2020
Principles of Robot Motion: Theory, Algorithms, and Implementations
Howie Choset, Kevin M. Lynch, Seth Hutchinson, George A. Kantor, Wolfram Burgard, Lydia E. Kavraki, Sebastian Thrun, 2005
Makers of the Microchip: A Documentary History of Fairchild Semiconductor
Christophe Lécuyer, David C. Brock, Jay Last, 2010
Mechanics of Robotic Manipulation
Matthew T. Mason, 2001
Resource Management in Real-Time Systems and Networks
C. Siva Ram Murthy, G. Manimaran, 2001
Scalable Input/Output: Achieving System Balance
Daniel A. Reed, 2003
Logic and Information Flow
Jan van van Eijck, Albert Visser, 1994
Proof, Language, and Interaction: Essays in Honour of Robin Milner
Gordon Plotkin, Colin P. Stirling, Mads Tofte, 2000
Reasoning About Knowledge
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, 1995
Carl Ebeling
All the right moves: A VLSI architecture for chess, 1987
Shifting Ground: The Changing Agricultural Soils of China and Indonesia
Peter H. Lindert, 2000
Parallel MIMD Computation: HEP Supercomputer and its Applications
Janusz S. Kowalik, 1985
Effective Cycling, seventh edition
John Forester, 2012
Effective Cycling, seventh edition
John Forester, 2012
