Rating: 4.00
|
Data structures and algorithms in C++
With this book, you will find a true C++ text, rather than a book translated from Java. Both the programming code and the appropriate concepts have been rewritten.
by Michael T. Goodrich, Roberto Tamassia, David M. Mount
 view
Buy
|
|
Data Structures And Algorithms
1.9 Program Development : Analysis, Design, Coding, Testing and Verification Before we discuss various data structures, it is necessary to understand the program development process. This helps a programmer or a developer to generate ...
by N.A.Deshpande S.S.Sane
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998.
by Bernhard Steffen
view
Buy
|
|
Data structures and algorithms in Java
First, the book places special emphasis on the connection between data structures and their algorithms, including an analysis of the algorithms' complexity.
by Adam Drozdek
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2031, pages 328–342, Genova, Italy, ... Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD), LNCS 2517, pages 256–273, ...
by Hubert Garavel, John Hatcliff
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
In Tools and Algorithms for Construction and Analysis of Systems, pages 193–207, 1999. 2. Carl Pixley. Guest Editor's Introduction: Formal Verification of Commercial Integrated Circuits. IEEE Design & Test of Computers, 18(4):4–5, 2001 .
by Kurt Jensen, Andreas Podelski
view
Buy
|
|
CAD tools and algorithms for product design
Preface The papers in this volume bring together the latest currents in academic and industry thinking about CAD Tools and Algorithms for Product Design. They represent work presented and discussed at the Schlofl Dagstuhl International ...
by Pere Brunet, Christoph Martin Hoffmann, Dieter Roller
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings
In Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), pages 193–207, Amsterdam, ... In MD Aagaard and JW O'Leary, editors, Formal Methods in Computer Aided Design, pages 33–51.
by Holger Hermanns, Jens Palsberg
view
Buy
|
|
Probability and algorithms
Such algorithms are designed to generate optimal or nearly optimal solutions for most problem instances. Quantifying this last statement is the goal of analysis. 7.1.2 Analysis Early research on BP, MS, and related problems concentrated ...
by National Research Council (U.S.). Panel on Probability and Algorithms
view
Buy
| Rating: 4.00
|
Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Preface This volume contains the proceedings of the 15th International Conference on Tools and Algorithms for the Construction ... integration of formal methods and static analysis in high-level hardware design or software environments; ...
by Anna Philippou
view
Buy
| |
|