Requirements Engineering - From System Goals to UML Models to Software Specifications

By Lamsweerde, Axel van

Requirements Engineering - From System Goals to UML Models to Software Specifications

By Lamsweerde, Axel van

£44.53 Elsewhere ~~£56.95~~ Save £12.42 (22%)

1

Emerging Methods, Technologies, and Process Management in Software Engineering (Wiley - IEEE)

By Andrea De Lucia, Filomena Ferrucci, Genny Tortora, Maurizio Tucci

Emerging Methods, Technologies, and Process Management in Software Engineering (Wiley - IEEE)

By Andrea De Lucia, Filomena Ferrucci, Genny Tortora, Maurizio Tucci

£89.07 Elsewhere ~~£116.95~~ Save £27.88 (24%)

UML 2 Semantics and Applications

By Kevin Lano

UML 2 Semantics and Applications

By Kevin Lano

£92.91 Elsewhere ~~£121.95~~ Save £29.04 (24%)

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

£44.98

Quality of Communication-Based Systems (Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994)

By Hommel, Gunter, Hommel, Gunther

Quality of Communication-Based Systems (Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994)

By Hommel, Gunter, Hommel, Gunther

£98.44

Rigorous Global Search (Continuous Problems (Nonconvex Optimization and Its Applications))

By R.Baker Kearfott

Rigorous Global Search (Continuous Problems (Nonconvex Optimization and Its Applications))

By R.Baker Kearfott

£128

Nondifferentiable Optimization and Polynomial Problems (Nonconvex Optimization and Its Applications)

By Naum Z. Shor

Nondifferentiable Optimization and Polynomial Problems (Nonconvex Optimization and Its Applications)

By Naum Z. Shor

£128

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, Peter H. Schmitt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, Peter H. Schmitt

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, P.H. Schmitt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)

By Wolfgang Bibel, P.H. Schmitt

£128

Geometric Methods and Optimization Problems (Combinatorial Optimization)

By Boltyanski, Vladimir, Martini, Horst, V. Soltan

Geometric Methods and Optimization Problems (Combinatorial Optimization)

By Boltyanski, Vladimir, Martini, Horst, V. Soltan

£246

Formal Techniques for Networked and Distributed Systems (FORTE 2001 (IFIP Advances in Information and Communication Technology))

By Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

Formal Techniques for Networked and Distributed Systems (FORTE 2001 (IFIP Advances in Information and Communication Technology))

By Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Formal Methods for Distributed System Development (FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve)

By Tommaso Bolognesi, Diego Latella

Formal Methods for Distributed System Development (FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve)

By Tommaso Bolognesi, Diego Latella

£177

Validation and Verification of Knowledge Based Systems (Theory, Tools and Practice)

By Anca Vermesan, Frans Coenen

Validation and Verification of Knowledge Based Systems (Theory, Tools and Practice)

By Anca Vermesan, Frans Coenen

£165

Mathematics for Electrical Engineering and Computing

By Attenborough, Mary P, PhD (The Webbery - Internet development, C

Mathematics for Electrical Engineering and Computing

By Attenborough, Mary P, PhD (The Webbery - Internet development, C

£43.85 Elsewhere ~~£47.99~~ Save £4.14 (9%)

5

Machine Learning with Tensorflow

By Shukla, Nishant

Machine Learning with Tensorflow

By Shukla, Nishant

£32.32 Elsewhere ~~£35.99~~ Save £3.67 (10%)

30

Rigorous Global Search (Continuous Problems (Nonconvex Optimization and Its Applications))

By R. Baker Kearfott

Rigorous Global Search (Continuous Problems (Nonconvex Optimization and Its Applications))

By R. Baker Kearfott

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Mathematical Theory of Optimization (Nonconvex Optimization and Its Applications)

By Ding-Zhu Du, Pardalos, Panos M., Weili Wu

Mathematical Theory of Optimization (Nonconvex Optimization and Its Applications)

By Ding-Zhu Du, Pardalos, Panos M., Weili Wu

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Feedback Control for Computer Systems (Introducing Control Theory to Enterprise Programmers)

By Philipp K. Janert

Feedback Control for Computer Systems (Introducing Control Theory to Enterprise Programmers)

By Philipp K. Janert

£19.49 Elsewhere ~~£31.99~~ Save £12.50 (39%)

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

£45.04

Mathematical Theory of Optimization (Nonconvex Optimization and Its Applications)

By Ding-Zhu Du, Panos M. Pardalos, Weili Wu

Mathematical Theory of Optimization (Nonconvex Optimization and Its Applications)

By Ding-Zhu Du, Panos M. Pardalos, Weili Wu

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Software Engineering and Environment (An Object-Oriented Perspective (Software Science and Engineering))

By Sheu, Phillip C. -Y.

Software Engineering and Environment (An Object-Oriented Perspective (Software Science and Engineering))

By Sheu, Phillip C. -Y.

£45.03

Large Scale and Big Data (Processing and Management)

By Sherif Sakr, Mohamed Gaber

Large Scale and Big Data (Processing and Management)

By Sherif Sakr, Mohamed Gaber

£114 Elsewhere ~~£145.00~~ Save £31.00 (21%)

High-Integrity Software (Software Science and Engineering)

By C. T. Sennett

High-Integrity Software (Software Science and Engineering)

By C. T. Sennett

£45.07

Formal Methods for Distributed System Development (FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve)

By Tommaso Bolognesi, Diego Latella

Formal Methods for Distributed System Development (FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve)

By Tommaso Bolognesi, Diego Latella

£163 Elsewhere ~~£179.99~~ Save £16.99 (9%)

View:
Safe Search(?):