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 101–120 of 236 results

Computers
Graph-Theoretic Concepts in Computer Science: 21st International Workshop, WG ’95 Aachen, Germany, June 20–22, 1995 Proceedings
Free Download
Computers , Organization and Data Processing
Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows
Free Download
Computers
Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings
Free Download
Education , International Conferences and Symposiums
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
Free Download
Computers
Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Free Download
Computers
LATIN 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004. Proceedings
Free Download
Computers
LATIN 2006: Theoretical Informatics: 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
Free Download
Computers
LATIN 2008: Theoretical Informatics: 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
Free Download
Computers
Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
Free Download
Mathematics , Logic
Logic at Botik ’89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
Free Download
Mathematics , Logic
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
Free Download
Mathematics , Logic
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
Free Download
Mathematics , Logic
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
Free Download
Mathematics , Logic
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
Free Download
Mathematics , Logic
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Free Download
Computers , Programming
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR ’94 and META ’94 Pisa, Italy, June 20–21, 1994 Proceedings
Free Download
Science (general) , Scientific-popular
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR’95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Free Download
Education , International Conferences and Symposiums
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Free Download
Education , International Conferences and Symposiums
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Free Download
Computers , Programming
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
Free Download

←
1
2
3
4
5
6
7
8
9
10
11
12
→

Shopping Cart

Copyright © 2024 - LibVital.com

Open EBook
Privacy Policy
Contact & Support

Search for:

Categories

Click to Copy

Scroll to Top