Data Structures and Efficient Algorithms
B. Monien
₹3,530
Stacs 86
3rd Annual Symposium on Theoretical Aspects of Computer Science
by B. Monien, G. Vidal-Naquet
Springer · 1986 · Paperback
₹3,966
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 1986, Stacs 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science by B. Monien & G. Vidal-Naquet runs to 384 pages in paperback.
Its main subjects are Computer science, Logic, Logic Design and Computers : Logic Design.
Book details
- ISBN-13
- 9783540160786
- ISBN-10
- 3540160787
- Authors
- B. Monien, G. Vidal-Naquet
- Publisher
- Springer
- Published
- 1986
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 384
- Language
- English
- Condition
- New
- Subject
- Logic design
More by B. Monien and related titles
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Reliable Software Technologies -- Ada-Europe 2013
International Conference
₹3,610
Programming Languages and Systems - ESOP '94
Donald Sannella
₹5,642
Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542
Fundamental Approaches to Software Engineering
David S. Rosenblum
₹5,774
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Nasa Formal Methods
Guillaume Brat
₹4,270
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
₹5,618
Logic for Programming, Artificial Intelligence, and Reasoning
Christian G. Fermüller, Andrei Voronkov
₹4,854