تئوری و علوم کامپیوتر

Parallel Computing: Fundamentals, Applications and New Directions, Volume 12

Erik H. D'Hollander,G. R. Joubert,F. J. Peters,Ulrich Trottenberg

The Knowledge Engineering Review

Linkens, D. A.

New Generation Computing

Sharma, Nonita ;Dev, Jaiditya ;Mangla, Monika ;Wadhwa, Vaishali Mehta ;Mohanty, Sachi Nandan ;Kakkar, Deepti

Systems Programming with C# and .NET: Building robust system solutions with C# 12 and .NET 8

Dennis Vroegop

Data & Knowledge Engineering

Larry Druffel; Reed Little

The Cosmic Cocktail: Three Parts Dark Matter

Katherine Freese

Angular Scattering of Electrons in Hydrogen and Helium

Harnwell G. P.

Enterprise-Wide Change : Superior Results Through Systems Thinking (J-B O-D (Organizational Development))

Stephen Haines

The Art of Electronics: The x Chapters

Paul Horowitz;Winfield Hill

Database Systems Concepts with Oracle CD

Abraham Silberschatz,Henry F. Korth,S. Sudarshan

Nonlinear Functional Analysis and Its Applications III

E. Zeidler

SQL and Relational Theory: How to Write Accurate SQL Code, 2nd Edition

C. J. Date

Elements of the Theory of Computation (2nd Edition)

Harry Lewis,Christos H. Papadimitriou

Mathematics and Computers in Simulation

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Leucker M.

Journal of Computer and System Sciences

P.F. Schuler

Advanced Engineering Informatics

Gianfranco La Rocca

Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Dietmar Seipel,Michael Hanus,Salvador Abreu

Windows Phone 8 Development Internals

Andrew Whitechapel,Sean McKenna

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

Research Methods in Applied Behavior Analysis: Issues and Advances

Richard W. Malott (auth.),Alan Poling,R. Wayne Fuqua (eds.)

Syntactic Structures after 60 Years: The Impact of the Chomskyan Revolution in Linguistics

Hornstein, Norbert;Lasnik, Howard;Patel-Grosz, Pritty;Yang, Charles

Compilers: Principles, Techniques, Tools

Alfred Aho,Monica Lam,Ravi Sethi,Jeffrey Ullman

Environmental Systems Studies: A Macroscope for Understanding and Operating Spaceship Earth

Hidefumi Imura (auth.)

Introduction to Automata Theory, Languages, and Computation Solutions

John Hopcroft, Rajeev Motwani, Jeffrey Ullman

Windows System Programming (4th Edition) (Addison-Wesley Microsoft Technology Series)

Johnson M. Hart

Monotone Operators in Banach Space and Nonlinear partial differential equation

R. E. Showalter

Grokking Streaming Systems: Real-time event processing

Josh Fischer,Ning Wang

Information Processing Letters

Steffen Lange; Sandra Zilles

Deep Structure, Singularities, and Computer Vision: First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers

Jan J. Koenderink,Andrea van Doorn (auth.),Ole Fogh Olsen,Luc Florack,Arjan Kuijper (eds.)

SQL and Relational Theory, 2nd Edition: How to Write Accurate SQL Code

C.J. Date

ITIL Foundation 4 edition

Axelos

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings

Sergey Abrahamyan (auth.),Vladimir P. Gerdt,Wolfram Koepf,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge

Dietmar Seipel,Michael Hanus,Ulrich Geske,Oskar Bartenstein

CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

Wan Fokkink,Natalia Ioustinova,Ernst Kesseler,Jaco van de Pol,Yaroslav S. Usenko (auth.),Luboš Brim,Mojmír Křetínský,Antonín Kučera,Petr Jančar (eds.)

Principles of Model Checking

Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings

Bertrand Estellon,Frédéric Gardi,Karim Nouioua (auth.),Thomas Stützle,Mauro Birattari,Holger H. Hoos (eds.)

The Cartography of Chinese Syntax: The Cartography of Syntactic Structures, Volume 11

Wei-Tien Dylan Tsai

Compressed Sensing Magnetic Resonance Image Reconstruction Algorithms: A Convex Optimization Approach

Bhabesh Deka,Sumit Datta