Springer

Product categories
Fiction & Literature (25001) Romance (17223) Science Fiction & Fantasy (1777) Comics & Graphic Novels (3992) History (25001) Health, Fitness & Dieting (7992)

Filters

Filters

Clear all
15566 products
Sort by
Sort by
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Tru,Used Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Tru,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89:...
Springer
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from...
$70.87
Quantity
Add to cart
Formal Methods in Standards: A Report from the BCS Working Group,Used Formal Methods in Standards: A Report from the BCS Working Group,Used
Add to wishlist
Quick view
Add to compare
Formal Methods in Standards: A Report from the BCS Working...
Springer
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . ....
$70.87
Quantity
Add to cart
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Form,Used Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Form,Used
Add to wishlist
Quick view
Add to compare
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019,...
Springer
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal...
$68.68
Quantity
Add to cart
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 711, 2019, Revised Selected Papers, Part II (Lecture ,Used Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 711, 2019, Revised Selected Papers, Part II (Lecture ,Used
Add to wishlist
Quick view
Add to compare
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 711,...
Springer
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October...
$68.68
Quantity
Add to cart
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 1820, 2012, P,Used Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 1820, 2012, P,Used
Add to wishlist
Quick view
Add to compare
Formal Modeling and Analysis of Timed Systems: 10th International Conference,...
Springer
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK...
$75.80
Quantity
Add to cart
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 13, 2020,Used Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 13, 2020,Used
Add to wishlist
Quick view
Add to compare
Formal Modeling and Analysis of Timed Systems: 18th International Conference,...
Springer
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria,...
$68.68
Quantity
Add to cart
Formal Modelling in Electronic Commerce (International Handbooks on Information Systems),Used Formal Modelling in Electronic Commerce (International Handbooks on Information Systems),Used
Add to wishlist
Quick view
Add to compare
Formal Modelling in Electronic Commerce (International Handbooks on Information Systems),Used
Springer
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such...
$270.69
Quantity
Add to cart
Formal Models of Agents: ESPROT Project ModelAge Final Workshop,Used Formal Models of Agents: ESPROT Project ModelAge Final Workshop,Used
Add to wishlist
Quick view
Add to compare
Formal Models of Agents: ESPROT Project ModelAge Final Workshop,Used
Springer
This volume contains a number of revised papers that were selected from pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy)...
$70.87
Quantity
Add to cart
Formal Semantics for VHDL (The Springer International Series in Engineering and Computer Science, 307),Used Formal Semantics for VHDL (The Springer International Series in Engineering and Computer Science, 307),Used
Add to wishlist
Quick view
Add to compare
Formal Semantics for VHDL (The Springer International Series in Engineering...
Springer
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved...
$165.25
Quantity
Add to cart
Formal System Verification: Stateof theArt and Future Trends,Used Formal System Verification: Stateof theArt and Future Trends,Used
Add to wishlist
Quick view
Add to compare
Formal System Verification: Stateof theArt and Future Trends,Used
Springer
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. Worldleading experts from the domain of formal proof techniques...
$141.89
Quantity
Add to cart
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held ,Used Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held ,Used
Add to wishlist
Quick view
Add to compare
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP...
Springer
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held...
$68.68
Quantity
Add to cart
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 Int,Used Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 Int,Used
Add to wishlist
Quick view
Add to compare
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1...
Springer
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open ObjectBased Distributed Systems, FMOODS 2012, and...
$70.87
Quantity
Add to cart
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes i,Used Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes i,Used
Add to wishlist
Quick view
Add to compare
Formal Theories of Information: From Shannon to Semantic Information Theory...
Springer
It is commonly assumed that computers process information. But what is inf mation? In a technical, important, but nevertheless rather narrow sense, Sh nonsinformationtheorygivesa?rstanswertothisquestion.Thistheoryfocuses on...
$70.42
Quantity
Add to cart
Formal Verification of Circuits,Used Formal Verification of Circuits,Used
Add to wishlist
Quick view
Add to compare
Formal Verification of Circuits,Used
Springer
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs...
$124.47
Quantity
Add to cart
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used
Add to wishlist
Quick view
Add to compare
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used
Springer
This book presents a stateoftheart technique for formal verification of continuoustime Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and...
$142.57
Quantity
Add to cart
Formalist Criticism And Readerresponse Theory,New Formalist Criticism And Readerresponse Theory,New
Add to wishlist
Quick view
Add to compare
Formalist Criticism And Readerresponse Theory,New
Springer
This Invaluable Guide By Todd F. Davis And Kenneth Womack Offers An Accessible Introduction To Two Important Movements In The History Of Twentiethcentury Literary Theory....
$67.03
Quantity
Add to cart
Formalist Criticism And Readerresponse Theory,Used Formalist Criticism And Readerresponse Theory,Used
Add to wishlist
Quick view
Add to compare
Formalist Criticism And Readerresponse Theory,Used
Springer
This Invaluable Guide By Todd F. Davis And Kenneth Womack Offers An Accessible Introduction To Two Important Movements In The History Of Twentiethcentury Literary Theory....
$54.12
Quantity
Add to cart
Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 1925, 1981. Proceedings (Lecture Notes,New Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 1925, 1981. Proceedings (Lecture Notes,New
Add to wishlist
Quick view
Add to compare
Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 1925,...
Springer
Formalization of Programming Concepts( International Colloquium Peniscola Spain April 1925 1981. Proceedings) <> Paperback <> J.Diaz <> Springer
$75.66
Quantity
Add to cart
Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications: 12th International Conference, No,Used Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications: 12th International Conference, No,Used
Add to wishlist
Quick view
Add to compare
Formalizing Natural Languages with NooJ 2018 and Its Natural Language...
Springer
This book constitutes the refereed proceedings of the 12th International Conference, NooJ 2018, held in Palermo, Italy, in June 2018.The 17 revised full papers and...
$68.68
Quantity
Add to cart
Forscher zwischen Wissen und Gewissen (Wissenschaft und ffentlichkeit) (German Edition),Used Forscher zwischen Wissen und Gewissen (Wissenschaft und ffentlichkeit) (German Edition),Used
Add to wishlist
Quick view
Add to compare
Forscher zwischen Wissen und Gewissen (Wissenschaft und ffentlichkeit) (German Edition),Used
Springer
1m Juni 1971 hatte das WeizmannInstitut, die berlihmte intematio nale Forschungsstatte des Landes Israel, zu einem Symposium unter dem Titel "The Impact of Science on...
$46.11
Quantity
Add to cart

Recently viewed products