Title: Semantics of Parallelism: Non-Interleaving Representation of Behaviour, Author: Michael W. Shields
Title: Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems, Author: Carlos Delgado Kloos
Title: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings, Author: Hubert Comon
Title: Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology, Author: Dan Gusfield
Title: Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology, Author: Dan Gusfield
Title: Fault-Tolerant Parallel Computation, Author: Paris Christos Kanellakis
Title: Ada 95 Reference Manual: Language and Standard Libraries: International Standard ISO/IEC 8652:1995 (E), Author: Tucker S. Taft
Title: Evolvable Systems: From Biology to Hardware: First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers, Author: Tetsuya Higuchi
Title: Parallel Programming and Java: Wotug 20, Author: Andre E. Bakkers
Title: Sensor Fusion: Architecture, Algorithms, and Applications, Author: Belur V. Dasarathy
Title: Fuzzy Evolutionary Computation, Author: Witold Pedrycz
Title: Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications, Author: Clifford Liem
Title: Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, Author: Ulrich Furbach
Title: Art of Computer Programming, The: Fundamental Algorithms, Volume 1, Author: Donald Knuth
Title: A Theory and Practice of Program Development, Author: Derek J. Andrews
Title: Algorithms and Data Structures: 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings, Author: Frank Dehne
Title: Analog and Mixed-Signal Hardware Description Language, Author: A. Vachoux
Title: Simulated Evolution and Learning: First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers., Author: Xin Yao
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings, Author: Hugh Glaser

Pagination Links