Systematic Program Design

From Clarity to Efficiency

Yanhong Annie Liu

Acheter l'eBook

20 % 引き販売価格　9,888 円7,910 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781107327153
発売日　2021年9月23日
出版社：Cambridge University Press

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

関連書籍

Algorithms in C++, Parts 1-4

Robert Sedgewick

6,133 円

Learning scikit-learn: Machine Learning in Python

Raúl Garreta, Guillermo Moncecchi

2,042 円

Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway

17,321 円

Algorithms

Robert Sedgewick, Kevin Wayne

4,272 円

Information Modeling and Relational Databases

Terry Halpin, Tony Morgan

9,194 円

Introduction to Information Retrieval

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

10,911 円

Modern Compiler Implementation in Java

Andrew W. Appel, Jens Palsberg

15,821 円

Model-Driven Software Engineering in Practice

Marco Brambilla, Jordi Cabot, Manuel Wimmer, Luciano Baresi

7,833 円

Software Language Engineering

Anneke Kleppe

3,417 円

Python Machine Learning, Second Edition

Sebastian Raschka, Vahid Mirjalili, Jared Huffman, Ryan Sun

3,961 円

または Kobo Plus なら無料

CUDA Application Design and Development

Rob Farber

5,282 円

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Bran Selic, Sebastien Gerard

6,233 円

Assembly Language Programming

Vincent Mahout

23,052 円

Mastering Text Mining with R

KUMAR ASHISH

3,961 円

または Kobo Plus なら無料

Database Modeling and Design

Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish

6,762 円

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

13,369 円

Modeling Business Objects with XML Schema

Berthold Daum, Dave Hollander

7,100 円

Artificial Intelligence Programming

Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan

13,297 円

The New Relational Database Dictionary

C.J. Date

2,446 円

Trends in Functional Programming Volume 6

Marko Van Eekelen

6,268 円

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

6,076 円

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

48,619 円

FORTRAN 90 for Scientists and Engineers

Brian H. Hahn

7,200 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Joe Celko's Trees and Hierarchies in SQL for Smarties

Joe Celko

4,300 円

Modern Cryptography: Applied Mathematics for Encryption and Information Security

Chuck Easttom

7,365 円

Detection of Intrusions and Malware, and Vulnerability Assessment

Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez

6,076 円

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

18,231 円

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

6,076 円

Trends in Functional Programming Volume 7

Henrik Nilsson

6,376 円

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

6,076 円

Computer-based Problem Solving Process

Teodor Rus

4,820 円

R for Everyone

Jared P. Lander

3,463 円

Xamarin Cross-platform Application Development - Second Edition

Jonathan Peppers

3,064 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Pro JavaFX 8

James Weaver, Weiqi Gao, Stephen Chin, Dean Iverson, Johan Vos

4,613 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Rails 4 Way, The

Kevin Faustino, Obie Fernandez

4,540 円

Trusted Systems

Moti Yung, Jianbiao Zhang, Zhen Yang

6,076 円

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link

6,076 円

API Design for C++

Martin Reddy

6,339 円

Programming Grails

Burt Beckwith

3,256 円

Structured Object-Oriented Formal Language and Method

Zhenhua Duan, Shaoying Liu

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Learning Scientific Programming with Python

Christian Hill

6,136 円

Introduction to Open Core Protocol

W David Schwaderer

12,154 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

C++ Cookbook

D. Ryan Stephens, Christopher Diggins, Jonathan Turkanis, Jeff Cogswell

3,617 円

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

6,076 円

Pro Python System Administration

Rytis Sileika

6,685 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Java Design Patterns

Vaskaran Sarcar

3,402 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Computer Security -- ESORICS 2015

Günther Pernul, Peter Y A Ryan, Edgar Weippl

6,076 円

Pro Java 8 Programming

Terrill Brett Spell

7,292 円

Cryptology and Network Security

Michael Reiter, David Naccache

5,834 円

Mastering C++ Multithreading

Maya Posch

4,391 円

または Kobo Plus なら無料

Smart Card Application Development Using Java

Martin S. Nicklous, Frank Seliger, Uwe Hansmann, Thomas Schäck, Achim Schneider

12,154 円

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

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

日本のストアです。

Systematic Program Design

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Algorithms in C++, Parts 1-4

Learning scikit-learn: Machine Learning in Python

Lisp in Small Pieces

Algorithms

Information Modeling and Relational Databases

Introduction to Information Retrieval

Modern Compiler Implementation in Java

Model-Driven Software Engineering in Practice

Software Language Engineering

Python Machine Learning, Second Edition

CUDA Application Design and Development

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Assembly Language Programming

Mastering Text Mining with R

Database Modeling and Design

Formal Development of a Network-Centric RTOS

Modeling Business Objects with XML Schema

Artificial Intelligence Programming

The New Relational Database Dictionary

Trends in Functional Programming Volume 6

Bridging Constraint Satisfaction and Boolean Satisfiability

Handbook of Big Data Technologies

FORTRAN 90 for Scientists and Engineers

Machine Learning Algorithms

Joe Celko's Trees and Hierarchies in SQL for Smarties

Modern Cryptography: Applied Mathematics for Encryption and Information Security

Detection of Intrusions and Malware, and Vulnerability Assessment

Clustering and Information Retrieval

Transactions on Aspect-Oriented Software Development XII

Trends in Functional Programming Volume 7

Semantic Web-based Intelligent Geospatial Web Services

Computer-based Problem Solving Process

R for Everyone

Xamarin Cross-platform Application Development - Second Edition

Specification of Software Systems

Pro JavaFX 8

Practical Aspects of Declarative Languages

Rails 4 Way, The

Trusted Systems

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

API Design for C++

Programming Grails

Structured Object-Oriented Formal Language and Method

Topics in Cryptology - CT-RSA 2016

Learning Scientific Programming with Python

Introduction to Open Core Protocol

Trustworthy Global Computing

C++ Cookbook

Modelling Foundations and Applications

Pro Python System Administration

Functional and Logic Programming

Java Design Patterns

Structured Object-Oriented Formal Language and Method

Computer Security -- ESORICS 2015

Pro Java 8 Programming

Cryptology and Network Security

Mastering C++ Multithreading

Smart Card Application Development Using Java

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

電子書籍

楽天Koboで読む理由

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

最新のブログ記事

関連書籍

Algorithms in C++, Parts 1-4

Learning scikit-learn: Machine Learning in Python

Lisp in Small Pieces

Algorithms

Information Modeling and Relational Databases

Introduction to Information Retrieval

Modern Compiler Implementation in Java

Model-Driven Software Engineering in Practice