Computers , Algorithms and Data Structures
Computers , Algorithms and Data StructuresThe Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions
Free Download
Computers , Algorithms and Data StructuresThe Tomes of Delphi Algorithms and Data Structures
Free Download
Computers , Algorithms and Data StructuresTheory and algorithms for cooperative systems
Free Download
Computers , Algorithms and Data StructuresThomas Weise Global Optimization Algorithms – Theory and Application 2Ed
Free Download
Computers , Algorithms and Data StructuresTools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Free Download
Computers , Algorithms and Data StructuresTools 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
Free Download
Computers , Algorithms and Data StructuresTools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 – April 1, 2007. Proceedings
Free Download- Computers , Algorithms and Data Structures
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
Free Download 
Computers , Algorithms and Data StructuresTools 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
Free Download- Computers , Algorithms and Data Structures
Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
Free Download - Computers , Algorithms and Data Structures
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
Free Download 
Computers , Algorithms and Data StructuresTools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
Free Download- Computers , Algorithms and Data Structures
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
Free Download 
Computers , Algorithms and Data StructuresTools 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
Free Download
Computers , Algorithms and Data StructuresTools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
Free Download
Computers , Algorithms and Data StructuresTools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings
Free Download
Computers , Algorithms and Data StructuresTools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
Free Download
