 | | | | |
Bild | | | | Bestellen |
|
|
|
|
Springer Verlag 9783031659409 |
€ 57,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) Invited Talks.- Combining Shostak Theories.- Multiset Rewriting and Security Protocol Analysis.- Engineering of Logics for the Content-Based Representation of Information.- Regular Papers, Applicat... |
Springer Verlag 9783540439165 |
€ 49,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) Invited Talk.- Rewriting Logic and Maude: Concepts and Applications.- Invited Tutorial.- Tree Automata and Term Rewrite Systems.- Regular Papers.- Absolute Explicit Unification.- Termination and Co... |
Springer Verlag 9783540677789 |
€ 49,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) Basic features and development of the critical-pair/completion procedure.- Contextual rewriting.- Thue systems as rewriting systems.- Deciding algebraic properties of monoids presented by finite ch... |
Springer Verlag 9783540159766 |
€ 39,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987. |
Springer Verlag 9783540172208 |
€ 34,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) Invited Talk.- Symbolic Systems Biology.- Confluence as a Cut Elimination Property.- Associative-Commutative Rewriting on Large Terms.- A Rule-Based Approach for Automated Generation of Kinetic Che... |
Springer Verlag 9783540402541 |
€ 49,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers ... |
Springer Verlag 9783540539049 |
€ 49,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full... |
Springer Verlag 9783540643012 |
€ 49,99*
pro Stück |
|
|
Rewriting and Typed Lambda Calculi (1 Angebot) This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calcu... |
Springer Verlag 9783319089171 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540731467 |
€ 49,99*
pro Stück |
|
|
Rice Biology in the Genomics Era (1 Angebot) Rice (Oryza sativa) is one of the most important staple food crops in the world. Breeding efforts to improve the agronomical quality of rice have been conducted, and studies on rice from the viewpo... |
Springer Verlag 9783540742487 |
€ 199,99*
pro Stück |
|
|
Rightshore! (1 Angebot) Successfully Industrialize SAP® Projects Offshore |
Springer Verlag 9783540772873 |
€ 49,99*
pro Stück |
|
|
Rightshore! (1 Angebot) Successfully Industrialize SAP® Projects Offshore |
Springer Verlag 9783642443831 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540482659 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783642114465 |
€ 49,99*
pro Stück |
|
|
