Algorithm Engineering

Selected Results and Surveys

Lasse Kliemann,Peter Sanders

Computer Science (R0)

電子書籍を購入

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

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319494876
発売日　2016年11月11日
出版社：Springer International Publishing

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

関連書籍

Fault-Tolerant Systems

Israel Koren, C. Mani Krishna

8,100 円

Wireless Mesh Networking

George Aggelou

16,303 円

Cyber Physical Systems. Design, Modeling, and Evaluation

Mohammad Reza Mousavi, Christian Berger

4,862 円

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

9,511 円

Algorithm-Architecture Matching for Signal and Image Processing

Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan

18,231 円

Cryptographic Hardware and Embedded Systems – CHES 2016

Benedikt Gierlichs, Axel Y. Poschmann

6,076 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Experimental Algorithms

Andrew V. Goldberg, Alexander S. Kulikov

6,076 円

Cryptographic Hardware and Embedded Systems -- CHES 2015

Tim Güneysu, Helena Handschuh

6,076 円

Principles of Performance and Reliability Modeling and Evaluation

Antonio Puliafito, Lance Fiondella

24,309 円

Constructive Side-Channel Analysis and Secure Design

Emmanuel Prouff

5,834 円

Models, Methods, and Tools for Complex Chip Design

Jan Haase

18,231 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Smart Card Research and Advanced Applications

Thomas Eisenbarth, Yannick Teglia

6,076 円

Advances in Real-Time Systems

Samarjit Chakraborty, Jörg Eberspächer

12,154 円

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

6,076 円

Correct-by-Construction Approaches for SoC Design

Roopak Sinha, Parthasarathi Roop, Samik Basu

12,154 円

Principles and Practice of Constraint Programming

Michel Rueher

12,154 円

Smart Card Research and Advanced Applications

Kerstin Lemke-Rust, Michael Tunstall

6,076 円

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

18,231 円

Energy-Efficient Fault-Tolerant Systems

Rishad A. Shafik, Dhiraj K. Pradhan, Jimson Mathew

18,231 円

Partitional Clustering Algorithms

M. Emre Celebi

12,154 円

Cryptographic Engineering

Cetin Kaya Koc

30,386 円

Hardware Implementation of Intelligent Systems

Abraham Kandel, Horia-Nicolai Teodorescu

12,154 円

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke, Boudewijn R. Haverkort

6,076 円

Testing Software and Systems

Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko

6,076 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

Real-Time Systems

Hermann Kopetz

9,723 円

Algorithms for Next Generation Networks

Graham Cormode, Marina Thottan

18,231 円

Evolutionary Computation in Combinatorial Optimization

Francisco Chicano, Bin Hu, Pablo García-Sánchez

6,076 円

Constructive Side-Channel Analysis and Secure Design

Sylvain Guilley

6,076 円

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

6,076 円

Embedded Systems Development

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

12,154 円

Error Control Coding for B3G/4G Wireless Systems

Thierry Lestable, Moshe Ran

16,884 円

Information Sciences and Systems 2013

Erol Gelenbe, Ricardo Lent

18,231 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Progress in Cryptology – INDOCRYPT 2016

Somitra Kumar Sanadhya, Orr Dunkelman

6,076 円

Multimedia Multiprocessor Systems

Akash Kumar, Henk Corporaal, Bart Mesman, Yajun Ha

12,154 円

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

6,076 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective

Luigi Portinale, Daniele Codetta Raiteri

5,127 円

Testing Software and Systems

Natalia Kushik, Mihai Nica, Franz Wotawa

6,076 円

Computational Intelligence, Cyber Security and Computational Models

Muthukrishnan Senthilkumar, Vijayalakshmi Ramasamy, Shina Sheen, C. Veeramani, Anthony Bonato, Lynn Batten

30,386 円

Energy-Efficient Communication Processors

Robert Fasthuber, Francky Catthoor, Praveen Raghavan, Frederik Naessens

18,231 円

Scaling up Machine Learning

Ron Bekkerman, Mikhail Bilenko, John Langford

9,274 円

Transactions on Computational Science XXVII

Marina L. Gavrilova, C.J. Kenneth Tan

6,076 円

Information Security

Matt Bishop, Anderson C A Nascimento

6,076 円

Algorithms for Sensor Systems

Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer

5,834 円

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

5,834 円

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Paul Lokuciejewski, Peter Marwedel

18,231 円

Algorithms for Sensor Systems

Marek Chrobak, Antonio Fernández Anta, Leszek Gąsieniec, Ralf Klasing

6,076 円

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

6,076 円

Embedded Multimedia Security Systems

Amit Pande, Joseph Zambreno

12,154 円

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

6,076 円

Computers and Games

H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat

5,834 円

Model Checking Software

Dragan Bošnački, Anton Wijs

6,078 円

Fundamentals of Computation Theory

Ralf Klasing, Marc Zeitoun

6,076 円

Selected Areas in Cryptography -- SAC 2013

Tanja Lange, Kristin Lauter, Petr Lisoněk

6,076 円

Handbook of Signal Processing Systems

Shuvra S. Bhattacharyya, Ed F. Deprettere, Rainer Leupers, Jarmo Takala

28,398 円

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

6,076 円

Smart Card Research and Advanced Applications

Naofumi Homma, Marcel Medwed

6,076 円

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

12,154 円

Advances in Computer Games

H. Jaap van den Herik, Walter A. Kosters, Mark H.M. Winands

6,076 円

Information Security Applications

Ho-won Kim, Dooho Choi

6,076 円

Secure System Design and Trustable Computing

Chip-Hong Chang, Miodrag Potkonjak

12,154 円

Computing and Combinatorics

Thang N. Dinh, My T. Thai

6,076 円

Network Reliability

Sanjay Kumar Chaturvedi

29,059 円

DNA Computing and Molecular Programming

Yannick Rondelez, Damien Woods

6,076 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Compression Schemes for Mining Large Datasets

T. Ravindra Babu, M. Narasimha Murty, S.V. Subrahmanya

6,076 円

DNA Computing and Molecular Programming

Robert Brijder, Lulu Qian

6,076 円

Unsupervised Learning Algorithms

M. Emre Celebi, Kemal Aydin

13,369 円

Theory and Practice of Natural Computing

Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide

4,862 円

Smart Card Research and Advanced Applications

Amir Moradi, Marc Joye

5,834 円

Network Science and Cybersecurity

Robinson E. Pino

6,076 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

6,076 円

Evolutionary Computation in Combinatorial Optimization

Bin Hu, Manuel López-Ibáñez

6,076 円

Secure Integrated Circuits and Systems

Ingrid M.R. Verbauwhede

12,154 円

Advances in Artificial Intelligence

Edurne Barrenechea, Mikel Galar, Bruno Baruque, José A. Gámez, José M. Puerta, Alicia Troncoso, Bernabe Dorronsoro

6,076 円

Hybrid Metaheuristics

Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Mario Pavone, El-Ghazali Talbi, Alessandro Di Nuovo

6,076 円

Lightweight Cryptography for Security and Privacy

Tim Güneysu, Gregor Leander, Amir Moradi

4,862 円

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

6,076 円

Artificial Evolution

Pierrick Legrand, Marc-Michel Corsini, Jin-Kao Hao, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer

5,834 円

Advanced Backend Code Optimization

Sid Touati, Benoit Dupont de Dinechin

23,052 円

Web and Internet Economics

Yang Cai, Adrian Vetta

6,076 円

Trends in Communication Technologies and Engineering Science

He Huang

18,231 円

Cellular Automata

Samira El Yacoubi, Stefania Bandini, Jarosław Wąs

6,076 円

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

12,154 円

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

6,076 円

Structural Information and Communication Complexity

Jukka Suomela

6,076 円

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr

6,076 円

その他の著書

Race Relations in Britain

Tessa Blackstone, Bhikhu Parekh, Peter Sanders

14,660 円

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

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

日本のストアです。

Algorithm Engineering

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Fault-Tolerant Systems

Wireless Mesh Networking

Cyber Physical Systems. Design, Modeling, and Evaluation

Heuristic Search

Algorithm-Architecture Matching for Signal and Image Processing

Cryptographic Hardware and Embedded Systems – CHES 2016

Hardware and Software: Verification and Testing

Experimental Algorithms

Cryptographic Hardware and Embedded Systems -- CHES 2015

Principles of Performance and Reliability Modeling and Evaluation

Constructive Side-Channel Analysis and Secure Design

Models, Methods, and Tools for Complex Chip Design

Computer Aided Verification

Smart Card Research and Advanced Applications

Advances in Real-Time Systems

Hardware and Software: Verification and Testing

Correct-by-Construction Approaches for SoC Design

Principles and Practice of Constraint Programming

Smart Card Research and Advanced Applications

Towards Hardware-Intrinsic Security

Energy-Efficient Fault-Tolerant Systems

Partitional Clustering Algorithms

Cryptographic Engineering

Hardware Implementation of Intelligent Systems

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Testing Software and Systems

Principles and Practice of Constraint Programming

Real-Time Systems

Algorithms for Next Generation Networks

Evolutionary Computation in Combinatorial Optimization

Constructive Side-Channel Analysis and Secure Design

NASA Formal Methods

Embedded Systems Development

Error Control Coding for B3G/4G Wireless Systems

Information Sciences and Systems 2013

FM 2016: Formal Methods

Progress in Cryptology – INDOCRYPT 2016

Multimedia Multiprocessor Systems

Dependable Software Engineering: Theories, Tools, and Applications

Formal Techniques for Safety-Critical Systems

Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective

Testing Software and Systems

Computational Intelligence, Cyber Security and Computational Models

Energy-Efficient Communication Processors

Scaling up Machine Learning

Transactions on Computational Science XXVII

Information Security

Algorithms for Sensor Systems

Radio Frequency Identification: Security and Privacy Issues

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Algorithms for Sensor Systems

Cellular Automata and Discrete Complex Systems

Embedded Multimedia Security Systems

Information Security and Cryptology

Theory of Cryptography

Computers and Games

Model Checking Software

Fundamentals of Computation Theory

Selected Areas in Cryptography -- SAC 2013

Handbook of Signal Processing Systems

Finite Difference Methods,Theory and Applications

Smart Card Research and Advanced Applications

Theory of Cryptography

Advances in Computer Games

Information Security Applications

Secure System Design and Trustable Computing

Computing and Combinatorics

Network Reliability

DNA Computing and Molecular Programming

Developments in Language Theory

Compression Schemes for Mining Large Datasets

DNA Computing and Molecular Programming