Computer Science

The Hardware, Software and Heart of It

Edward K. Blum,Alfred V Aho

Computer Science (R0)

Comprar el eBook

15 % 引き販売価格　7,149 円6,076 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781461411680
発売日　2016年7月5日
出版社：Springer New York

出版社： Springer
ファイル形式　EPUB2
サイズ　3.26 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

10,911 円

Parallel Scientific Computing in C++ and MPI

George Em Karniadakis, Robert M. Kirby II

14,867 円

Linear Programming and Network Flows

Mokhtar S. Bazaraa, John J. Jarvis, Hanif D. Sherali

21,154 円

Scientific Programming: C-language, Algorithms And Models In Science

Enzo Marinari, Luciano Maria Barone, Giovanni Organtini, Federico Ricci-tersenghi

6,768 円

Data Matching

Peter Christen

18,231 円

MIMO Wireless Networks

Bruno Clerckx, Claude Oestges

10,569 円

Guide to Programming and Algorithms Using R

Özgür Ergül

6,076 円

Computation in Science

Konrad Hinsen

4,365 円

Mobility Data Management and Exploration

Nikos Pelekis, Yannis Theodoridis

6,076 円

Computation, Cryptography, and Network Security

Nicholas J. Daras, Michael Th. Rassias

12,154 円

Facets of Combinatorial Optimization

Michael Jünger, Gerhard Reinelt

12,154 円

Concurrent Programming: Algorithms, Principles, and Foundations

Michel Raynal

9,723 円

Introduction to HPC with MPI for Data Science

Frank Nielsen

4,861 円

The Power of Algorithms

Giorgio Ausiello, Rossella Petreschi

5,469 円

Qualitative Comparative Analysis with R

Alrik Thiem, Adrian Dusa

7,900 円

Numerical Computations with GPUs

Volodymyr Kindratenko

18,231 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Numerical Methods

George Lindfield, John Penny

10,040 円

Object Detection and Recognition in Digital Images

Boguslaw Cyganek

19,643 円

Moving Objects Management

Xiaofeng Meng, Zhiming Ding, Jiajie Xu

6,076 円

Handbook of Optimization in Complex Networks

Panos M. Pardalos, My T. Thai

18,231 円

Advances in Spatial and Temporal Databases

Christophe Claramunt, Markus Schneider, Raymond Chi-Wing Wong, Li Xiong, Woong-Kee Loh, Cyrus Shahabi, Ki-Joune Li

6,076 円

Proceedings of the European Computing Conference

Nikos Mastorakis, Valeri Mladenov, Vassiliki T. Kontargyri

24,309 円

Linear Programming

Robert J Vanderbei

9,723 円

Statistical Methods for Spoken Dialogue Management

Blaise Thomson

12,154 円

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

6,076 円

Operations Research and Cyber-Infrastructure

John W. Chinneck, Bjarni Kristjansson, Matthew J. Saltzman

24,309 円

Random-Like Multiple Objective Decision Making

Jiuping Xu, Liming Yao

13,369 円

Mixed-Integer Representations in Control Design

Silviu-Iulian Niculescu, Florin Stoican, Sorin Olaru, Ionela Prodan

6,076 円

Spatial Data Mining

Deren Li, Shuliang Wang, Deyi Li

9,723 円

Mathematical Software – ICMS 2016

Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese

6,076 円

Information Security and Cryptology

Dongdai Lin, XiaoFeng Wang, Moti Yung

6,076 円

Optimization and Control Techniques and Applications

Honglei Xu, Kok Lay Teo, Yi Zhang

12,154 円

Hashing in Computer Science

Alan G. Konheim

22,757 円

Beginning Julia Programming

Sandeep Nagar

9,116 円

The Regularized Fast Hartley Transform

Keith Jones

16,409 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Recent Advances in Algorithmic Differentiation

Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther

12,154 円

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

6,076 円

Information Security

Yvo Desmedt

6,076 円

Computational Social Network Analysis

Ajith Abraham, Aboul-Ella Hassanien, Vaclav Snášel

19,447 円

Advances in Global Optimization

David Gao, Ning Ruan, Wenxun Xing

12,154 円

Cyberpatterns

Clive Blackwell, Hong Zhu

6,076 円

Mining Heterogeneous Information Networks

Yizhou Sun, Jiawei Han

5,839 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

6,076 円

Graph Mining

Deepayan Chakrabarti, Christos Faloutsos

6,552 円

Algorithms, Probability, Networks, and Games

Christos Zaroliagis, Spyros Kontogiannis, Grammati Pantziou

6,076 円

MATLAB Deep Learning

Phil Kim

7,292 円

Location, Localization, and Localizability

Yunhao Liu, Zheng Yang

12,154 円

Formal Methods and Software Engineering

Luke Ong, Zhenhua Duan

6,076 円

Information Sciences and Systems 2015

Omer H. Abdelrahman, Erol Gelenbe, Gokce Gorbil, Ricardo Lent

18,231 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Probabilistic Search for Tracking Targets

Irad Ben-Gal, Eugene Kagan

17,200 円

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić

6,076 円

Numerical Analysis and Optimization

Mehiddin Al-Baali, Lucio Grandinetti, Anton Purnama

12,154 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Link Mining: Models, Algorithms, and Applications

Christos Faloutsos, Philip S. Yu, Jiawei Han

24,309 円

Practical Scientific Computing

Victor Zalizniak, Muhammad Ali

10,045 円

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

6,076 円

Realtime Data Mining

Alexander Paprotny, Michael Thess

12,154 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Large-Scale Scientific Computing

Jerzy Waśniewski, Ivan Lirkov, Svetozar Margenov

6,076 円

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

6,076 円

Analytical Modeling of Heterogeneous Cellular Networks

Sayandev Mukherjee

10,365 円

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

12,154 円

Interoperability and Open-Source Solutions for the Internet of Things

Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano

6,076 円

Diffusion in Social Networks

Ashkan Aleali, Paulo Shakarian, Abhivav Bhatnagar, Ruocheng Guo, Elham Shaabani

6,076 円

Model Checking Software

Dragan Bošnački, Anton Wijs

6,078 円

Trusted Systems

Moti Yung, Liehuang Zhu, Yanjiang Yang

6,076 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Rules and Reasoning

Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman

6,076 円

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

6,076 円

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

12,154 円

Nonlinear Programming

Mokhtar S. Bazaraa, Hanif D. Sherali, C. M. Shetty

25,321 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

6,076 円

Advances in Spatial Data Handling

Peter van Oosterom, Dianne Richardson

24,309 円

Data Analysis For Network Cyber-security

Niall M Adams, Nicholas A Heard

4,103 円

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An

6,076 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Computer Science

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Introduction to Information Retrieval

Parallel Scientific Computing in C++ and MPI

Linear Programming and Network Flows

Scientific Programming: C-language, Algorithms And Models In Science

Data Matching

MIMO Wireless Networks

Guide to Programming and Algorithms Using R

Computation in Science

Mobility Data Management and Exploration

Computation, Cryptography, and Network Security

Facets of Combinatorial Optimization

Concurrent Programming: Algorithms, Principles, and Foundations

Introduction to HPC with MPI for Data Science

The Power of Algorithms

Qualitative Comparative Analysis with R

Numerical Computations with GPUs

Machine Learning Algorithms

Numerical Methods

Object Detection and Recognition in Digital Images

Moving Objects Management

Handbook of Optimization in Complex Networks

Advances in Spatial and Temporal Databases

Proceedings of the European Computing Conference

Linear Programming

Statistical Methods for Spoken Dialogue Management

SOFSEM 2016: Theory and Practice of Computer Science

Operations Research and Cyber-Infrastructure

Random-Like Multiple Objective Decision Making

Mixed-Integer Representations in Control Design

Spatial Data Mining

Mathematical Software – ICMS 2016

Information Security and Cryptology

Optimization and Control Techniques and Applications

Hashing in Computer Science

Beginning Julia Programming

The Regularized Fast Hartley Transform

Verification, Model Checking, and Abstract Interpretation

Recent Advances in Algorithmic Differentiation

Hardware and Software: Verification and Testing

Information Security

Computational Social Network Analysis

Advances in Global Optimization

Cyberpatterns

Mining Heterogeneous Information Networks

Hardware and Software: Verification and Testing

Formal Methods and Software Engineering

Graph Mining

Algorithms, Probability, Networks, and Games

MATLAB Deep Learning

Location, Localization, and Localizability

Formal Methods and Software Engineering

Information Sciences and Systems 2015

Scala: From a Functional Programming Perspective

Verification, Model Checking, and Abstract Interpretation

Probabilistic Search for Tracking Targets

Concurrency, Security, and Puzzles

Numerical Analysis and Optimization

Formal Methods and Software Engineering

Link Mining: Models, Algorithms, and Applications

Practical Scientific Computing

Software Engineering and Formal Methods

Realtime Data Mining

Software Engineering for Resilient Systems

Large-Scale Scientific Computing

Database and Expert Systems Applications

Analytical Modeling of Heterogeneous Cellular Networks

Foundations of Large-Scale Multimedia Information Management and Retrieval

Interoperability and Open-Source Solutions for the Internet of Things

Diffusion in Social Networks

Model Checking Software

Trusted Systems

Leveraging Applications of Formal Methods, Verification, and Validation