0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
GBP
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Computers
Movies
Music
All Products
\n
Books
Computers
Movies
Music
Computers
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
GBP
Search
All Products
Books
Computers
Computer Science
Logic Design
Filters
Sold By
Sold By
All Sellers
Fishpond
(174)
Age Range
Age Range
All Ranges
15+
(7)
All Ages
(4)
Country
Country
All Countries
United States
(61)
Germany
(34)
Switzerland
(16)
United Kingdom
(16)
Netherlands
(13)
More...
Results for "Springer Professional"
Springer Professional
214 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(174)
Age Range
Age Range
All Ranges
15+
(7)
All Ages
(4)
Country
Country
All Countries
United States
(61)
Germany
(34)
Switzerland
(16)
United Kingdom
(16)
Netherlands
(13)
More...
214 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Judi M.T. Romijn
,
Graeme P. Smith
,
Jaco C. van de Pol
Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Judi M.T. Romijn
,
Graeme P. Smith
,
Jaco C. van de Pol
£45.59
Inductive Synthesis of Functional Programs (Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Schmid, Ute
Inductive Synthesis of Functional Programs (Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Schmid, Ute
£45.58
Grid Computing Security
By
Chakrabarti, Anirban
Grid Computing Security
By
Chakrabarti, Anirban
£45.06
Foundations of Software Technology and Theoretical Computer Science (Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Kesav V. Nori
,
C.E. Madhavan
Foundations of Software Technology and Theoretical Computer Science (Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Kesav V. Nori
,
C.E. Madhavan
£45.02
The Complexity of Simple Computer Architectures (Lectures on Computer Architecture : Papers (Lecture Notes in Computer Science))
By
Silvia Melitta Muller
,
Wolfgang J. Paul
The Complexity of Simple Computer Architectures (Lectures on Computer Architecture : Papers (Lecture Notes in Computer Science))
By
Silvia Melitta Muller
,
Wolfgang J. Paul
£45.17
Fme '96 Industrial Benefit and Advances in Formal Methods (Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. (Lecture Notes in Computer Science / Lecture Notes in Artificial)
By
Marie-Claude Gaudel
,
James Woodcock
Fme '96 Industrial Benefit and Advances in Formal Methods (Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. (Lecture Notes in Computer Science / Lecture Notes in Artificial)
By
Marie-Claude Gaudel
,
James Woodcock
£89.49
Adaptive Processing of Sequences and Data Structures (International Summer School on Neural Networks, "E.R. Caianiello", Vietri Sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures (Lecture Notes in Computer Science / Lecture Notes in Artific)
By
C. Lee Giles
,
Marco Gori
Adaptive Processing of Sequences and Data Structures (International Summer School on Neural Networks, "E.R. Caianiello", Vietri Sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures (Lecture Notes in Computer Science / Lecture Notes in Artific)
By
C. Lee Giles
,
Marco Gori
£45.03
Lectures on Embedded Systems (European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 -29, 1996 (Lecture Notes in Computer Science))
By
Grzegorz Rozenberg
,
Frits W. Vaandrager
Lectures on Embedded Systems (European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 -29, 1996 (Lecture Notes in Computer Science))
By
Grzegorz Rozenberg
,
Frits W. Vaandrager
£45.60
Compositionality: The Significant Difference (International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Willem-Paul de Roever
,
Hans Langmaack
,
Amir Pnueli
Compositionality: The Significant Difference (International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Willem-Paul de Roever
,
Hans Langmaack
,
Amir Pnueli
£88.78
Computer Architecture (Complexity and Correctness)
By
Silvia Melitta Muller
,
Wolfgang J. Paul
Computer Architecture (Complexity and Correctness)
By
Silvia Melitta Muller
,
Wolfgang J. Paul
£45.51
Abstraction, Reformulation, and Approximation (7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Artificial Intelligence))
By
Ian Miguel
,
Wheeler Tuml
Abstraction, Reformulation, and Approximation (7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Artificial Intelligence))
By
Ian Miguel
,
Wheeler Tuml
£45.04
Software Architectures, Components, and Applications (Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in C ..)
By
Sven Overhage
,
Clemens A. Szyperski
,
Ralf H. Reussner
,
Judith A. Stafford
Software Architectures, Components, and Applications (Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in C ..)
By
Sven Overhage
,
Clemens A. Szyperski
,
Ralf H. Reussner
,
Judith A. Stafford
£45.04
Foundations of Information and Knowledge Systems (5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings (Lecture Notes in Computer Science))
By
Sven Hartmann
,
Gabriele Kern-Isberner
Foundations of Information and Knowledge Systems (5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings (Lecture Notes in Computer Science))
By
Sven Hartmann
,
Gabriele Kern-Isberner
£45.03
Intelligent Agents and Multi-Agent Systems (11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Tuong Vinh Ho
,
Quang Thuy Ha
,
Quang Thuy Ha
Intelligent Agents and Multi-Agent Systems (11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Tuong Vinh Ho
,
Quang Thuy Ha
,
Quang Thuy Ha
£45.03
The Boundary-Scan Handbook
By
Parker, Kenneth P.
The Boundary-Scan Handbook
By
Parker, Kenneth P.
£148
Elsewhere
£179.99
Save £31.99 (18%)
Three-Dimensional Design Methodologies for Tree-based FPGA Architecture (Lecture Notes in Electrical Engineering)
By
Pangracious, Vinod
,
Marrakchi, Zied
,
Habib Mehrez
Three-Dimensional Design Methodologies for Tree-based FPGA Architecture (Lecture Notes in Electrical Engineering)
By
Pangracious, Vinod
,
Marrakchi, Zied
,
Habib Mehrez
£88.65
Numbers and Computers
By
Kneusel, Ronald T.
Numbers and Computers
By
Kneusel, Ronald T.
£78.56
The Incomputable (Journeys Beyond the Turing Barrier: 2017 (Theory and Applications of Computability))
By
S. Barry Cooper
,
Mariya I. Soskova
The Incomputable (Journeys Beyond the Turing Barrier: 2017 (Theory and Applications of Computability))
By
S. Barry Cooper
,
Mariya I. Soskova
£110
Hardware Security and Trust (Design and Deployment of Integrated Circuits in a Threatened Environment: 2017)
By
Sklavos, Nicolas
,
Chaves, Ricardo
Hardware Security and Trust (Design and Deployment of Integrated Circuits in a Threatened Environment: 2017)
By
Sklavos, Nicolas
,
Chaves, Ricardo
£108
Fundamentals of Electronic Systems Design
By
Bruemmer, Hans
,
Lienig, Jens
Fundamentals of Electronic Systems Design
By
Bruemmer, Hans
,
Lienig, Jens
£73.98
Elsewhere
£79.99
Save £6.01 (8%)
Systemverilog Assertions and Functional Coverage (Guide to Language, Methodology and Applications)
By
Mehta, Ashok B.
Systemverilog Assertions and Functional Coverage (Guide to Language, Methodology and Applications)
By
Mehta, Ashok B.
£130
Fundamentals of Electronic Systems Design
By
Jens Lienig
,
Hans Bruemmer
Fundamentals of Electronic Systems Design
By
Jens Lienig
,
Hans Bruemmer
£56.42
Formal Engineering for Industrial Software Development (Using the Sofl Method)
By
Liu, Shaoying
Formal Engineering for Industrial Software Development (Using the Sofl Method)
By
Liu, Shaoying
£44.03
Software Engineering 1 (Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series))
By
Bjørner, Dines
Software Engineering 1 (Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series))
By
Bjørner, Dines
£74.47
Previous Page
1
2
3
4
5
6
7
8
9
Next Page
Previous Page
1
2
3
4
5
6
7
8
9
Next Page
We use essential and some optional cookies to provide you the best shopping experience. Visit our
cookies policy page
for more information.
Accept all cookies
Accept only essential cookies