Skip to content

Sign in / Sign up

Home
Bookshelf
Contact & Support
Refund & Returns

Search for:

Home
Bookshelf
Contact & Support
How to open your digital file (ePub or PDF)
My account

>> Logics and Meanings of Programs

Showing 21–40 of 120 results

Mathematics , Algebra
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
Free Download
Computers , Programming: Compilers
Compiler Construction: 12th International Conference, CC 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 , Programming: Compilers
Compiler Construction: 13th International Conference, CC 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
Free Download
Computers
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
Free Download
Computers
Computer Science Logic: 10th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Free Download
Computers
Computer Science Logic: 11th International Workshop, CSL ’97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Free Download
Computers
Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Free Download
Computers
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
Free Download
Computers
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
Free Download
Computers
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Free Download
Computers
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Free Download
Computers
Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Free Download
Computers
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Free Download
Computers
Computer Science Logic: 9th International Workshop, CSL ’95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Free Download
Computers , Programming
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
Free Download
Mathematics , Computational Mathematics
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
Free Download
Education , International Conferences and Symposiums
ESOP ’90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
Free Download
Computers
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Free Download
Computers
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
Free Download
Computers
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
Free Download

←
1
2
3
4
5
6
→

Shopping Cart

Copyright © 2024 - LibVital.com

Open EBook
Privacy Policy
Contact & Support

Search for:

Categories

Click to Copy

Scroll to Top