Name: The Correctness-By-Construction Approach to Programming
Brand: Springer
SKU: 53500536
Price: 90.95 GBP
Availability: InStock

Computational Organization Theory

By Kathleen M. Carley, Michael J. Prietula, Michael J. Prietula

Computational Organization Theory

By Kathleen M. Carley, Michael J. Prietula, Michael J. Prietula

£116 Elsewhere ~~£145.00~~ Save £29.00 (20%)

Handbook of Graph Drawing and Visualization (Discrete Mathematics and its Applications)

By Roberto Tamassia, Kenneth H. Rosen

Handbook of Graph Drawing and Visualization (Discrete Mathematics and its Applications)

By Roberto Tamassia, Kenneth H. Rosen

£140 Elsewhere ~~£220.00~~ Save £80.00 (36%)

A Java Library of Graph Algorithms and Optimization (Discrete Mathematics and Its Applications)

By Lau, Hang T.

A Java Library of Graph Algorithms and Optimization (Discrete Mathematics and Its Applications)

By Lau, Hang T.

£108 Elsewhere ~~£135.00~~ Save £27.00 (20%)

The Graph Isomorphism Problem (Its Structural Complexity (Progress in Theoretical Computer Science))

By Kobler, J., Schöning, U., Jacobo Toran

The Graph Isomorphism Problem (Its Structural Complexity (Progress in Theoretical Computer Science))

By Kobler, J., Schöning, U., Jacobo Toran

£90.89

Combinatorial and Graph-Theoretical Problems in Linear Algebra (The IMA Volumes in Mathematics and its Applications)

By Richard A. Brualdi, Shmuel Friedland, Victor Klee

Combinatorial and Graph-Theoretical Problems in Linear Algebra (The IMA Volumes in Mathematics and its Applications)

By Richard A. Brualdi, Shmuel Friedland, Victor Klee

£90.95

Graph-Based Social Media Analysis (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

By Ioannis Pitas

Graph-Based Social Media Analysis (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)

By Ioannis Pitas

£91.07 Elsewhere ~~£105.00~~ Save £13.93 (13%)

Numerical Analysis with Algorithms and Programming

By Ray, Santanu Saha

Numerical Analysis with Algorithms and Programming

By Ray, Santanu Saha

£129

Graphs, Algorithms, and Optimization, Second Edition (Discrete Mathematics and Its Applications)

By Kocay, William, Kreher, Donald L. (Michigan Technological University, Houghton,

Graphs, Algorithms, and Optimization, Second Edition (Discrete Mathematics and Its Applications)

By Kocay, William, Kreher, Donald L. (Michigan Technological University, Houghton,

£76.16 Elsewhere ~~£81.99~~ Save £5.83 (7%)

Graph Algorithms (Practical Examples in Apache Spark and Neo4j)

By Hodler, Amy, Needham, Mark

Graph Algorithms (Practical Examples in Apache Spark and Neo4j)

By Hodler, Amy, Needham, Mark

£48.47 Elsewhere ~~£63.99~~ Save £15.52 (24%)

Random Graphs and Complex Networks (Volume 2 (Cambridge Series in Statistical and Probabilistic Mathematics))

By van der Hofstad, Remco (Technische Universiteit Eindhoven, The N

Random Graphs and Complex Networks (Volume 2 (Cambridge Series in Statistical and Probabilistic Mathematics))

By van der Hofstad, Remco (Technische Universiteit Eindhoven, The N

£60 Elsewhere ~~£69.99~~ Save £9.99 (14%)

Graph Learning and Network Science for Natural Language Processing (Computational Intelligence Techniques)

By Muskan Garg, Amit Kumar Gupta, Rajesh Prasad

Graph Learning and Network Science for Natural Language Processing (Computational Intelligence Techniques)

By Muskan Garg, Amit Kumar Gupta, Rajesh Prasad

£102 Elsewhere ~~£115.00~~ Save £13.00 (11%)

Graph Learning and Network Science for Natural Language Processing (Computational Intelligence Techniques)

By Muskan Garg, Amit Kumar Gupta, Rajesh Prasad

Graph Learning and Network Science for Natural Language Processing (Computational Intelligence Techniques)

By Muskan Garg, Amit Kumar Gupta, Rajesh Prasad

£39.56 Elsewhere ~~£45.99~~ Save £6.43 (14%)

Basics of Ramsey Theory

By Jungic, Veselin

Basics of Ramsey Theory

By Jungic, Veselin

£88.87

Decision Making in the Manufacturing Environment (Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods (Springer Series in Advanced Manufacturing))

By R. Venkata Rao

Decision Making in the Manufacturing Environment (Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods (Springer Series in Advanced Manufacturing))

By R. Venkata Rao

£132

Decision Making in the Manufacturing Environment (Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods (Springer Series in Advanced Manufacturing))

By Rao, Ravipudi Venkata

Decision Making in the Manufacturing Environment (Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods (Springer Series in Advanced Manufacturing))

By Rao, Ravipudi Venkata

£140

Graph Machine Learning (Take graph data to the next level by applying machine learning techniques and algorithms)

By Stamile, Claudio, Marzullo, Aldo, Enrico Deusebio

Graph Machine Learning (Take graph data to the next level by applying machine learning techniques and algorithms)

By Stamile, Claudio, Marzullo, Aldo, Enrico Deusebio

£38.57 Elsewhere ~~£39.99~~ Save £1.42 (4%)

Hands-On Graph Neural Networks Using Python (Practical techniques and architectures for building powerful graph and deep learning apps with PyTorch)

By Maxime Labonne

Hands-On Graph Neural Networks Using Python (Practical techniques and architectures for building powerful graph and deep learning apps with PyTorch)

By Maxime Labonne

£37.61

The Steiner Tree Problem (A Tour through Graphs, Algorithms, and Complexity (Advanced Lectures in Mathematics))

By Steger, Angelika, Prömel, Hans Jürgen, Martin Aigner

The Steiner Tree Problem (A Tour through Graphs, Algorithms, and Complexity (Advanced Lectures in Mathematics))

By Steger, Angelika, Prömel, Hans Jürgen, Martin Aigner

£36.10 Elsewhere ~~£39.99~~ Save £3.89 (10%)

Programming in PROLOG (Using the ISO Standard)

By C.S. Mellish, William F.

Programming in PROLOG (Using the ISO Standard)

By C.S. Mellish, William F.

£56.28 Elsewhere ~~£59.99~~ Save £3.71 (6%)

104

Degeneracy Graphs and the Neighbourhood Problem (Lecture Notes in Economics and Mathematical Systems)

By Kruse, H. -J.

Degeneracy Graphs and the Neighbourhood Problem (Lecture Notes in Economics and Mathematical Systems)

By Kruse, H. -J.

£46.15

Programming Languages and Systems (13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in)

By David Schmidt

Programming Languages and Systems (13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in)

By David Schmidt

£111

Programming Languages and Systems (19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (Lecture Notes in Comput ..)

By Andrew Gordon

Programming Languages and Systems (19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (Lecture Notes in Comput ..)

By Andrew Gordon

£85.31 Elsewhere ~~£89.99~~ Save £4.68 (5%)

The Correctness-by-Construction Approach to Programming

By Watson, Bruce W., Kourie, Derrick G.

The Correctness-by-Construction Approach to Programming

By Watson, Bruce W., Kourie, Derrick G.

£90.97

1

The Correctness-By-Construction Approach to Programming

By Kourie, Derrick G., Watson, Bruce W.

The Correctness-By-Construction Approach to Programming

By Kourie, Derrick G., Watson, Bruce W.

£90.95

View:
Safe Search(?):