Комп’ютерне програмування. Інженерія / розроблення програмного забезпечення

Очистити все

649 товарів

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Девід М. Руссінофф Девід М. Руссінофф

Немає в наявності

Modeling and Optimization in Software-Defined Networks

Константінос Пуларакіс Константінос Пуларакіс, Леандрос Тассіулас, Т.В. Лакшман

Немає в наявності

Intelligent Notification Systems

Абхінав Мехротра Абхінав Мехротра, Мірко Мусолесі

Немає в наявності

Visual Analysis of Multilayer Networks

Андреас Керрен Андреас Керрен, Бенджамін Ренуст, Бруно Піно, Даніель Аршамбо, Фінтан МакГі, Мохаммад Гонім

Немає в наявності

Introduction to Distributed Self-Stabilizing Algorithms

Франк Петі Франк Петі, Каріне Алтісен, Стефан Девісмес, Сван Дюбуа

Немає в наявності

Age-Appropriate Digital Channels

Александр Зайферт Александр Зайферт, Аліреза Дарвіші, Ганс-Петер Гуттер

Немає в наявності

Methods and Models in Mathematical Programming

Ф. Хушманд Ф. Хушманд, С. А. Мірхассані

Немає в наявності

Evolutionary Computation and Complex Networks

Хусейн А. Аббас Хусейн А. Аббас, Цзін Лю, Кей Чен Тан

Немає в наявності

When Compressive Sensing Meets Mobile Crowdsensing

Боуен Ванг Боуен Ванг, Гіхай Чен, Лінхе Конг

Немає в наявності

Blind Equalization and System Identification: Batch Processing Algorithms, Performance and Applications

Чі-Чун Фенг Чі-Чун Фенг, Чі-Хорнг Чен, Чінг-Юнг Чен, Чонг-Юнг Чі

Немає в наявності

Nonlinear Dimensionality Reduction Techniques: A Data Structure Preservation Approach

Бенуа Коланж Бенуа Коланж, Денис Дутих, Сильвен Леспінас

Немає в наявності

Localization in Underwater Sensor Networks

Хайян Чжао Хайян Чжао, Цзін Янь, Сіньпін Гуань, Юань Менг

Немає в наявності

Data, Information, and Time: The DIT Model

Герман Копець Герман Копець

Немає в наявності

Blockchain Technology in Internet of Things

Кеке Гай Кеке Гай, Лієхуан Чжу, Менг Лі

Немає в наявності

Requirements Engineering for Social Sector Software Applications: Innovating for a Diverse Set of User Needs

Варун Гупта Варун Гупта

Немає в наявності

Planetary Spacecraft Navigation

Джеймс Міллер Джеймс Міллер

Немає в наявності

Context-Aware Machine Learning and Mobile Data Analytics: Automated Rule-based Services with Intelligent Decision-Making

Алан Колман Алан Колман, Ікбал Саркер, Цзюнь Хань, Пол Уоттерс

Немає в наявності

Computational Inelasticity

Дж. К. Сімо Дж. К. Сімо, Т.Дж.Р. Г'юз

Немає в наявності

Complexity of Lattice Problems: A Cryptographic Perspective

Даніеле Міччіанчіо Даніеле Міччіанчіо, Шафі Гольдвассер

Немає в наявності

Foundations for Designing User-Centered Systems: What System Designers Need to Know about People

Елізабет Ф. Черчілль Елізабет Ф. Черчілль, Френк Е. Ріттер, Гордон Д. Бакстер

Немає в наявності

Filtering the Web to Feed Data Warehouses

Кшиштоф Вецель Кшиштоф Вецель, Павел Я. Кальчинські, Вітольд Абрамович

Немає в наявності

CSS3 Solutions: Essential Techniques for CSS3 Developers

Аарон Конглтон Аарон Конглтон, Ансельм Бредфорд, Дан Зальцман, Франческо Імпрота, Джонатан Рід, Марко Казаріо, Наталі Вормзер

Немає в наявності

Ontological Engineering: with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. First Edition

Асунсьйон Гомес-Перес Асунсьйон Гомес-Перес, Маріано Фернандес-Лопес, Оскар Корчо

Немає в наявності

Forensic Computing

Ентоні Саммес Ентоні Саммес, Брайан Дженкінсон

Немає в наявності

Project Scheduling with Time Windows and Scarce Resources: Temporal and Resource-Constrained Project Scheduling with Regular and Nonregular Objective Functions

Крістоф Швіндт Крістоф Швіндт, Юрґен Ціммерманн, Клаус Нейман

Немає в наявності

Principles of Program Analysis

Кріс Хенкін Кріс Хенкін, Флеммінг Нільсон, Ханна Р. Нільсон

Немає в наявності

Introduction to R for Terrestrial Ecology: Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R

Кіт М. Рейнольдс Кіт М. Рейнольдс, Мілена Лакічевіч, Ніколас Повак

Немає в наявності

Semantic Networks for Understanding Scenes

Герхард Заґерер Герхард Заґерер, Генріх Німанн

Немає в наявності

The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics

Крістіан Реторе Крістіан Реторе, Річард Мут

Немає в наявності

Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

Габріеле Тентцер Габріеле Тентцер, Рейко Хекель

Немає в наявності

Mastering Disruption and Innovation in Product Management: Connecting the Dots

Крістоф Фукс Крістоф Фукс, Франциска Голенгофен

Немає в наявності

Seeing Between the Pixels: Pictures in Interactive Systems

Крістін Стрототт Крістін Стрототт, Томас Штрототт

Немає в наявності

OPC Unified Architecture

Матіас Дамм Матіас Дамм, Штефан-Гельмут Ляйтнер, Вольфганг Манке

Немає в наявності

Software Product Management and Pricing: Key Success Factors for Software Organizations

Ганс-Бернд Кіттлаус Ганс-Бернд Кіттлаус, Пітер Н. Клаф

Немає в наявності

Heron Streaming: Fundamentals, Applications, Operations, and Insights

Хуйцзюнь Ву Хуйцзюнь Ву, Маосонг Фу

Немає в наявності

Machine Learning Algorithms: Adversarial Robustness in Signal Processing

Фувей Лі Фувей Лі, Ліфенг Лай, Шугуан Цуй

Немає в наявності

A Holistic View of Software and Hardware Reuse: Dependable Reuse of Components and Systems

Фердинанд Куелла Фердинанд Куелла, Февзі Беллі

Немає в наявності

Affective Feedback in Intelligent Tutoring Systems: A Practical Approach

Хуан Хосе Тапіа Армента Хуан Хосе Тапіа Армента, Рейес Хуарес-Рамірес, Саманта Хіменес, Віктор Х. Кастілло

Немає в наявності

Digital Filters Using MATLAB

Ларс Ванхаммар Ларс Ванхаммар, Тапіо Сарамякі

Немає в наявності

Business Standard Compliance and Requirements Validation Using Goal Models

Набенду Чакі Набенду Чакі, Новарун Деб

Немає в наявності

Programming in Prolog: Using the ISO Standard

Крістофер С. Мелліш Крістофер С. Мелліш, Вільям Ф. Клоксін

Немає в наявності

Forensic Computing

Ентоні Саммес Ентоні Саммес, Брайан Дженкінсон

Немає в наявності

Building Better Interfaces for Remote Autonomous Systems : An Introduction for Systems Engineers

Френк Е. Ріттер Френк Е. Ріттер, Джейкоб Д. Оурі

Немає в наявності

Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

Габріеле Тентцер Габріеле Тентцер, Рейко Хекель

Немає в наявності

Parallel Agile – faster delivery, fewer defects, lower cost

Баррі Бем Баррі Бем, Бо Ван, Чарльз Сашек, Даг Розенберг, Метт Стівенс, Шобха Рані Дхаліпаті

Немає в наявності

UML @ Classroom: An Introduction to Object-Oriented Modeling

Крістіан Хюмер Крістіан Хюмер, Герті Каппель, Маріон Шольц, Мартіна Зайдль

Немає в наявності

OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence

Цзяньсінь Чжао Цзяньсінь Чжао, Лян Ван, Річард Мортьє

Немає в наявності

Graph Theory

Адріан Бонді Адріан Бонді, У.С.Р. Мерті

Немає в наявності

Bioinformatics: Problem Solving Paradigms

Фолькер Шпершнайдер Фолькер Шпершнайдер

Немає в наявності

Essentials of Constraint Programming

Слім Абденнадхер Слім Абденнадхер, Том Фрювірт

Немає в наявності

Algorithms and Data Structures: The Basic Toolbox

Курт Мельхорн Курт Мельхорн, Пітер Сандерс

Немає в наявності

Requirements Management: The Interface Between Requirements Development and All Other Systems Engineering Processes

Колін Гуд Колін Гуд, Саймон Відеманн, Стефан Фіхтінгер, Урте Паутц

Немає в наявності

Systems and Software Verification: Model-Checking Techniques and Tools

А. Фінкель А. Фінкель, А. Петіт, B. Берард, Ф. Ларуссіні, Л. Петруччі, М. Бідо, П. Шнобелен

Немає в наявності

Programming Languages: Principles and Paradigms

Мауріціо Габбріеллі Мауріціо Габбріеллі, Сімона Мартіні

Немає в наявності

Krylov Subspace Methods for Linear Systems: Principles of Algorithms

Томохіро Согабе Томохіро Согабе

Немає в наявності