کتاب های موجود در دسته بندی تئوری و علوم کامپیوتر

Operating System Concepts, 6th Edition
Published on: 2001
Beginner Computer Science and Theory English

Celebrating its 20th anniversary, Silberschatz: Operating Systems Concepts, Sixth Edition, continues to provide a solid theoretical foundation for understanding operating …

Operating System Concepts Computer Abraham
Mapping spatial PPS : the cartography of syntactic structures
Published on: 2010
Unordered Computer Science and Theory English

Mapping Spatial PPs focuses on a particular aspect of the internal syntax of prepositional phrases that has been relatively neglected …
Structures and Beyond: The Cartography of Syntactic Structures
Published on: 2004
Unordered Computer Science and Theory English

Adriana Belletti here collects work presented by top scholars at a workshop at the University of Siena in connection with …
CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
Published on: 1991
Unordered Computer Science and Theory English

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a …

Concurrency Proceedings Theory Amsterdam 1991
From Stimulus to Science
Published on: 1998
Unordered Computer Science and Theory English

W. V. Quine is one of the most eminent philosophers alive today. Now in his mid-eighties he has produced a …

Epistemology Frameworks Naturalism Observation Philosophy
The geometry of information retrieval
Published on: 2004
Advanced Computer Science and Theory English

Keith Van Rijsbergen demonstrates how different models of information retrieval (IR) can be combined in the same framework used to …

Information Geometry Retrieval Vector Spaces
Design and Build Great Web APIs: Robust, Reliable, and Resilient
Published on: 2020
Advanced Computer Science and Theory English

APIs are transforming the business world at an increasing pace. Gain the essential skills needed to quickly design, build, and …
Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers
Published on: 2007
Unordered Computer Science and Theory English

The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers from around the world gathered together to present …

Languages and Compilers Parallel Computing LCPC 2006 New Orleans USA November 2-4, 2006 Revised Papers
The Behavior of Animals: Mechanisms, Function, and Evolution
Published on: 2021
Unordered Computer Science and Theory English

The Behavior of Animals An updated view of animal behavior studies, featuring global experts The Behavior of Animals, Second Edition …
The art of multiprocessor programming
Published on: 2008
Intermediate Computer Science and Theory English

Concurrency Parallelism Synchronization Algorithms Scalability
The theory of infinite soluble groups
Published on: 2004
Advanced Computer Science and Theory English

The central concept in this monograph is that of a soluable group - a group which is built up from …

Soluble Groups Algebra Infinite Theory
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
Published on: 2018
Unordered Computer Science and Theory English

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP …
Database Systems
Published on: 2003
Unordered Computer Science and Theory English

The main aim of this work is to provide one readable text of essential core material for most higher education …
Computer Systems: A Programmer's Perspective (1st Edition) - Instructor's Solution Manual
Published on: 2003
Intermediate Computer Science and Theory English

C Programming Assembly Language System Software Memory Hierarchies Computer Architecture
Haskell: the craft of functional programming
Published on: 1999
Unordered Computer Science and Theory English

The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers …

Functional Haskell Programming Craft Language
برگزیده
C# 13 and .NET 9 – Modern Cross-Platform Development Fundamentals,9th Edition (Final Release)
Published on: 2024
Unordered Computer Science and Theory English

An accessible guide for beginner-to-intermediate programmers to the concepts, real-world applications, and latest features of C# 13 and .NET 9, …
Verified Functional Programming in Agda
Published on: 2016
Unordered Computer Science and Theory English

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional …
Windows System Programming (4th Edition) (Addison-Wesley Microsoft Technology Series)
Published on: 2010
Beginner Computer Science and Theory English

“If you’re writing a native Win32 program or just want to know what the OS is really doing underneath, you …

Windows Programming System API Multithreading
Numerical optimization theoretical and practical aspects
Published on: 2006
Unordered Computer Science and Theory English

Just as in its 1st edition, this book starts with illustrations of the ubiquitous character of optimization, and describes numerical …

Algorithms Gradient Convexity Constraints Convergence
Language history, language change, and language relationship: an introduction to historical and comparative linguistics
Published on: 2009
Unordered Computer Science and Theory English

Why does language change? Why can we speak to and understand our parents but have trouble reading Shakespeare? Why is …
Understanding Ethics in Applied Behavior Analysis: Practical Applications
Published on: 2019
Unordered Computer Science and Theory English

Drawing upon combined 35 years of clinical experience as well as the reflections of colleagues in the field,Understanding Ethics in …
Computational Genome Analysis: An Introduction
Published on: 2005
Beginner Computer Science and Theory English

This book presents the foundations of key problems in computational molecular biology and bioinformatics. It focuses on computational and statistical …
Windows 10 System Programming
Published on: 2019
Beginner Computer Science and Theory English

Windows Programming Kernel API Multithreading
High Performance Parallelism Pearls: Multicore and Many-core Programming Approaches
Published on: 2014
Intermediate Computer Science and Theory English

High Performance Parallelism Pearls shows how to leverage parallelism on processors and coprocessors with the same programming - illustrating the …

High Performance Parallelism Pearls Multicore Many-core Programming Approaches
Molecular Biotechnology: Principles and Applications of Recombinant DNA, 6th Edition
Published on: 2022
Beginner Computer Science and Theory English

Molecular Biotechnology Molecular Biotechnology Principles and Applications of Recombinant DNA SIXTH EDITION An authoritative introduction to the fast-changing world of …

Biotechnology RecombinantDNA MolecularBiology GeneticEngineering Applications
CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Published on: 2012
Unordered Computer Science and Theory English

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle …

Concurrency Formal Methods Algorithms Verification Systems
Pro .NET Memory Management: For Better Code, Performance, and Scalability
Published on: 2018
Advanced Computer Science and Theory English

Understand .NET memory management internal workings, pitfalls, and techniques in order to effectively avoid a wide range of performance and …

Garbage Collection Performance Profiling Optimization Scalability
An introduction to parallel and vector scientific computing
Published on: 2006
Intermediate Computer Science and Theory English

In this text, students of applied mathematics, science and engineering are introduced to fundamental ways of thinking about the broad …
Reliable and Energy Efficient Streaming Multiprocessor Systems
Published on: 2018
Unordered Computer Science and Theory English

This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy …

Streaming Multiprocessor Energy-efficient Reliability Systems
Foundations of cryptography. Basic tools
Published on: 2001
Unordered Computer Science and Theory English

Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. This book presents a …
Lectures on Modern Convex Optimization: Analysis, Algorithms, and Engineering Applications (MPS-SIAM Series on Optimization)
Published on: 2001
Unordered Computer Science and Theory English

Here is a book devoted to well-structured and thus efficiently solvable convex optimization problems, with emphasis on conic quadratic and …
Adaptive Dynamics: The Theoretical Analysis of Behavior
Published on: 2001
Beginner Computer Science and Theory English

In this book J. E. R. Staddon proposes an explanation of behavior that lies between cognitive psychology, which seeks to …

Evolutionary Theory Behavioral Ecology Mathematical Models Game Theory Population Dynamics
Principles of Model Checking (Instructor Solution Manual, Solutions)
Published on: 2008
Advanced Computer Science and Theory English

model checking verification algorithms solutions logic
Nonlinear Functional Analysis and its Applications: II/B: Nonlinear Monotone Operators
Published on: 1990
Unordered Computer Science and Theory English

Automata, Computability and Complexity: Theory and Applications
Published on: 2007
Beginner Computer Science and Theory English

The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of …

Automata Computability Complexity Theory Applications
Exotic Nuclei and Nuclear/Particle Astrophysics: Proceedings of the Carpathian Summer School of Physics 2005
Published on: 2006
Unordered Computer Science and Theory English

This volume documents an important event in the World Year of Physics 2005 and a continuation of the traditional international …
Introduction to Formal Hardware Verification
Published on: 1999
Unordered Computer Science and Theory English

Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents …
Computer Organization And Design The Hardware-Software Interface
Published on: 2004
Intermediate Computer Science and Theory English

architecture processors instruction MIPS memory
Forensic Linguistics: An Introduction to Language, Crime and the Law
Published on:
Unordered Computer Science and Theory English

Second Edition. — Continuum. 2008. — 265 pages. — ISBN-10: 0826493084; ISBN-13: 978 0826493088First published in 2004, John Olsson's practical …
Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings
Published on: 2007
Beginner Computer Science and Theory English

This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held …

Computer Algebra Scientific Computing CASC

Page of

علم کامپیوتر و نظریه

در دسته‌بندی «علم کامپیوتر و نظریه» فروشگاه آنلاین Refhub.ir، شما به دنیایی از دانش و نوآوری قدم می‌گذارید که به شکل‌گیری و پیشرفت فن‌آوری اطلاعات در عصر کنونی کمک می‌کند. این دسته‌بندی شامل کتاب‌هایی است که مفاهیم بنیادی و پیشرفته علم کامپیوتر را در بر می‌گیرد و برای دانشجویان، پژوهشگران و علاقه‌مندان به این حوزه طراحی شده است.

موضوعات و زیرشاخه‌ها

این دسته‌بندی شامل طیف گسترده‌ای از موضوعات اصلی و محوری در علم کامپیوتر است. برخی از مهم‌ترین زیرشاخه‌های موجود عبارت‌اند از:

  • الگوریتم‌ها و داده‌ساختارها
  • نظریه محاسبات و زبان‌های فرمال
  • هوش مصنوعی و یادگیری ماشین
  • محاسبات توزیعی و شبکه‌های کامپیوتری
  • امنیت اطلاعات و رمزنگاری

اهمیت و کاربردها

علم کامپیوتر نه‌تنها به عنوان یک حوزه آکادمیک مهم شناخته می‌شود، بلکه به طور مستقیم با صنعت و بازار کار در ارتباط است. این دسته‌بندی با گردآوری بهترین منابع و مراجع، به شما کمک می‌کند تا با نگاهی جامع‌تر و عمیق‌تر به کاربردهای عملی کامپیوتر، از طراحی نرم‌افزار گرفته تا مدیریت امنیت شبکه، بپردازید.

این کتاب‌ها همچنین به توسعه مهارت‌های حل مسئله، تفکر الگوریتمی و تحلیل زمانی و مکانی کمک شایانی می‌کنند که از حیاتی‌ترین نیازهای شغلی در دنیای امروز محسوب می‌شود.

گروه مخاطبان

کتاب‌های این بخش از لحاظ سطح و محتوا به انواع مخاطبان پاسخ می‌دهند:

  • دانشجویان: مناسب برای دانشجویانی که در رشته‌های مرتبط با کامپیوتر به تحصیل می‌پردازند و نیاز به منابع آموزشی مطمئن و کاربردی دارند.
  • پژوهشگران: حاوی کتاب‌ها و مقالات تخصصی که به پژوهش‌های علمی و تئوری در زمینه علوم کامپیوتر کمک می‌کنند.
  • حرفه‌ای‌ها: برای کارشناسان و حرفه‌ای‌های صنعت فناوری که به دنبال به‌روزترین اطلاعات و یافته‌های علمی برای پیشبرد کار و پروژه‌های خود هستند.

چرا از Refhub.ir خرید کنیم؟

فروشگاه آنلاین Refhub.ir با ارائه بهترین کتاب‌های علمی و تخصصی، همچنین با تضمین اصالت و کیفیت منابع، به عنوان یکی از برترین منابع خرید کتاب‌های حوزه علم کامپیوتر شناخته می‌شود. خرید از ما شامل مزایای زیر است:

  • دسترسی به کتاب‌های روز دنیا با موضوعات به‌روز و کاربردی
  • پشتیبانی مشتریان و خدمات پس از فروش
  • تحویل سریع و به‌موقع
  • قیمت‌های مقرون به صرفه و تخفیف‌های ویژه