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 Demography (The Plenum Series on Demographic Methods and Population Analysis),New Formal Demography (The Plenum Series on Demographic Methods and Population Analysis),New
Add to wishlist
Quick view
Add to compare
Formal Demography (The Plenum Series on Demographic Methods and Population...
Springer
This book is intended as a relatively nontechnica1 introduction to eurrent demographie methods. It has been several years in preparation, beginning from occasional class handouts...
$197.36
Quantity
Add to cart
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97 (IFIP Advances in In,New Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97 (IFIP Advances in In,New
Add to wishlist
Quick view
Add to compare
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte...
Springer
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra,...
$226.54
Quantity
Add to cart
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII98 IFIP TC6 WG6.1 Joint I,New Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII98 IFIP TC6 WG6.1 Joint I,New
Add to wishlist
Quick view
Add to compare
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE...
Springer
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present...
$203.80
Quantity
Add to cart
Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology),Used Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology),Used
Add to wishlist
Quick view
Add to compare
Formal Description Techniques VIII (IFIP Advances in Information and Communication...
Springer
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The...
$299.26
Quantity
Add to cart
Formal Engineering for Industrial Software Development: Using the SOFL Method,Used Formal Engineering for Industrial Software Development: Using the SOFL Method,Used
Add to wishlist
Quick view
Add to compare
Formal Engineering for Industrial Software Development: Using the SOFL Method,Used
Springer
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built...
$76.19
Quantity
Add to cart
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA,New Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA,New
Add to wishlist
Quick view
Add to compare
Formal Foundations of Reuse and Domain Engineering: 11th International Conference...
Springer
ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within...
$70.87
Quantity
Add to cart
Formal Grammar: 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana,Used Formal Grammar: 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana,Used
Add to wishlist
Quick view
Add to compare
Formal Grammar: 15th and 16th International Conference on Formal GrammarFG...
Springer
Product Description This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer...
$75.66
Quantity
Add to cart
Formal Languages and Compilation (Texts in Computer Science),Used Formal Languages and Compilation (Texts in Computer Science),Used
Add to wishlist
Quick view
Add to compare
Formal Languages and Compilation (Texts in Computer Science),Used
Springer
State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory,...
$93.88
Quantity
Add to cart
Formal Linguistics and Language Education: New Empirical Perspectives (Educational Linguistics, 43),Used Formal Linguistics and Language Education: New Empirical Perspectives (Educational Linguistics, 43),Used
Add to wishlist
Quick view
Add to compare
Formal Linguistics and Language Education: New Empirical Perspectives (Educational Linguistics,...
Springer
This volume focuses on work that has its origin and motivation in formal linguistics and theorydriven research on the acquisition of grammar, and on this...
$172.04
Quantity
Add to cart
Formal Logic (Synthese Library, 9),Used Formal Logic (Synthese Library, 9),Used
Add to wishlist
Quick view
Add to compare
Formal Logic (Synthese Library, 9),Used
Springer
Logic', one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art...
$92.09
Quantity
Add to cart
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, Oc,New Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, Oc,New
Add to wishlist
Quick view
Add to compare
Formal Methods and Software Engineering: 13th International Conference on Formal...
Springer
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40...
$70.87
Quantity
Add to cart
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2123, 2008,Used Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2123, 2008,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Components and Objects: 7th International Symposium, FMCO...
Springer
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the...
$75.66
Quantity
Add to cart
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Des,Used Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Des,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Distributed System Development: FORTE / PSTV 2000...
Springer
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV...
$374.57
Quantity
Add to cart
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 1516, 2008,,Used Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 1516, 2008,,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS...
Springer
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods...
$70.87
Quantity
Add to cart
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2,Used Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS...
Springer
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in...
$70.87
Quantity
Add to cart
Sold out
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 2021, 2010,Used Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 2021, 2010,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS...
Springer
This volume contains the papers presented at FMICS 2010, the 15th Inter tional Workshop on Formal Methods for Industrial Critical Systems, which was held on...
$75.66
Quantity
Add to cart
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 2930, 2011, Proc,Used Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 2930, 2011, Proc,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS...
Springer
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August...
$70.87
Quantity
Add to cart
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30,Used Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS...
Springer
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in...
$68.68
Quantity
Add to cart
Formal Methods For Mining Structured Objects (Studies In Computational Intelligence, 475),Used Formal Methods For Mining Structured Objects (Studies In Computational Intelligence, 475),Used
Add to wishlist
Quick view
Add to compare
Formal Methods For Mining Structured Objects (Studies In Computational Intelligence,...
Springer
In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a...
$145.32
Quantity
Add to cart
Formal Methods for Safety and Security: Case Studies for Aerospace Applications,Used Formal Methods for Safety and Security: Case Studies for Aerospace Applications,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Safety and Security: Case Studies for Aerospace...
Springer
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation,...
$219.89
Quantity
Add to cart

Recently viewed products