All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer
Springer International Publishing AG
Springer Nature Switzerland AG
Springer Vieweg
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 24 Results in All Departments
Relevance
Model-Based Engineering of Collaborative Embedded Systems - Extensions of the SPES Methodology (Paperback)
R
1,475
Add to Cart
Ships in 10 - 15 working days
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme - Unter Mitarbeit von Alexander Malkis (1. Aufl. 2023)
Manfred Broy
R
1,376
Add to Cart
Ships in 10 - 15 working days
Advanced Model-Based Engineering of Embedded Systems - Extensions of the SPES 2020 Methodology (Paperback, Softcover reprint of the original 1st ed. 2016)
R
1,575
Add to Cart
Ships in 10 - 15 working days
Software Pioneers - Contributions to Software Engineering (Paperback, Softcover reprint of the original 1st ed. 2002)
R
4,703
Add to Cart
Ships in 10 - 15 working days
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement (Paperback, Softcover reprint of the original 1st ed. 2001)
Manfred Broy
,
Ketil Stolen
R
1,580
Add to Cart
Ships in 10 - 15 working days
Logic of Programming and Calculi of Discrete Design - International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Paperback, Softcover reprint of the original 1st ed. 1987)
R
1,616
Add to Cart
Ships in 10 - 15 working days
Model-Based Engineering of Embedded Systems - The SPES 2020 Methodology (Hardcover, 2012 ed.)
R
2,375
Add to Cart
Ships in 10 - 15 working days
Programming and Mathematical Method - International Summer School (Paperback, Softcover reprint of the original 1st ed. 1992)
R
3,014
Add to Cart
Ships in 10 - 15 working days
Constructive Methods in Computing Science - International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Paperback, Softcover reprint of the original 1st ed. 1989)
R
3,038
Add to Cart
Ships in 10 - 15 working days
Mathematical Methods in Program Development (Paperback, Softcover reprint of the original 1st ed. 1997)
R
3,036
Add to Cart
Ships in 10 - 15 working days
Deductive Program Design (Paperback, Softcover reprint of the original 1st ed. 1996)
R
5,816
Add to Cart
Ships in 10 - 15 working days
Program Design Calculi (Paperback, Softcover reprint of the original 1st ed. 1993)
R
5,800
Add to Cart
Ships in 10 - 15 working days
Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Paperback)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Automotive Software-Connected Services in Mobile Networks - First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers (Paperback, 2006 ed.)
R
1,581
Add to Cart
Ships in 10 - 15 working days
Engineering Theories of Software Intensive Systems - Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 (Paperback, 2005 ed.)
R
5,933
Add to Cart
Ships in 10 - 15 working days
Model-Based Testing of Reactive Systems - Advanced Lectures (Paperback, 2005 ed.)
R
1,677
Add to Cart
Ships in 10 - 15 working days
Perspectives of Systems Informatics - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Paperback, 2003 ed.)
R
1,849
Add to Cart
Ships in 10 - 15 working days
Software-Entwicklung - Fa1/4r Kommunikationsnetze (English, German, Hardcover)
Axel Pink
,
Heinz Ko_mann
,
Heinz Koamann
R
1,936
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers (Paperback, 2001 ed.)
R
1,830
Add to Cart
Ships in 10 - 15 working days
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement (Hardcover, 2001 ed.)
Manfred Broy
,
Ketil Stolen
R
1,619
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Paperback, 2000 ed.)
R
3,039
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings (Paperback, 1996 ed.)
R
1,768
Add to Cart
Ships in 10 - 15 working days
Formal Systems Specification - The RPC-Memory Specification Case Study (Paperback, 1996 ed.)
R
1,832
Add to Cart
Ships in 10 - 15 working days
Deductive Program Design (Hardcover, 1996 ed.)
R
6,060
Add to Cart
Ships in 10 - 15 working days
Load More