US$5.00 US$54.00

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

...

More Info

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

US$5.00 US$19.00

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

...

More Info

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
Total: 6893
-86%
Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Membership: none
US$5.00 US$35.00
3
0
30 Nov 2009
-88%
Advanced programming language design

Advanced programming language design

Membership: none
US$5.00 US$40.00
2
0
30 Nov 2009
-88%
Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Pra

Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Pra

Membership: none
US$5.00 US$42.00
4
0
29 Nov 2009
-86%
Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003.

Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003.

Membership: none
US$5.00 US$35.00
11
0
29 Nov 2009
-92%
TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings

TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings

Membership: none
US$5.00 US$64.00
7
0
29 Nov 2009
-90%
C: A Reference Manual

C: A Reference Manual

Membership: none
US$5.00 US$51.00
1
0
29 Nov 2009
-81%
Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practic

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practic

Membership: none
US$5.00 US$27.00
5
0
28 Nov 2009
-90%
Linear Programming

Linear Programming

Membership: none
US$5.00 US$50.00
12
0
28 Nov 2009
-90%
Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

Membership: none
US$5.00 US$52.00
14
0
28 Nov 2009
-92%
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978

Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978

Membership: none
US$5.00 US$63.00
2
0
28 Nov 2009
-85%
Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977

Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977

Membership: none
US$5.00 US$33.00
0
0
28 Nov 2009
-79%
Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Membership: none
US$5.00 US$24.00
11
0
28 Nov 2009
-92%
Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceeding

Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceeding

Membership: none
US$5.00 US$59.00
8
0
28 Nov 2009
-86%
Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practic

Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practic

Membership: none
US$5.00 US$35.00
2
0
28 Nov 2009
-92%
Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming

Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming

Membership: none
US$5.00 US$66.00
9
0
28 Nov 2009
-90%
Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revise

Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revise

Membership: none
US$5.00 US$49.00
0
0
28 Nov 2009
-84%
Snobol programming for the humanities

Snobol programming for the humanities

Membership: none
US$5.00 US$32.00
10
0
28 Nov 2009
-75%
Linear and integer programming vs linear integration and counting: A duality viewpoint

Linear and integer programming vs linear integration and counting: A duality viewpoint

Membership: none
US$5.00 US$20.00
3
0
27 Nov 2009
-92%
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

Membership: none
US$5.00 US$63.00
4
0
27 Nov 2009
-88%
Integer Programming and Combinatorial Optimization: 6th International IPCO Conference Houston, Texas, June 22–24, 1998 Proceedings

Integer Programming and Combinatorial Optimization: 6th International IPCO Conference Houston, Texas, June 22–24, 1998 Proceedings

Membership: none
US$5.00 US$43.00
0
0
27 Nov 2009
-75%
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

Membership: none
US$5.00 US$20.00
5
0
27 Nov 2009
-83%
Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Membership: none
US$5.00 US$30.00
10
0
27 Nov 2009
-86%
Integer Programming and Combinatorial Optimization: 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings

Integer Programming and Combinatorial Optimization: 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings

Membership: none
US$5.00 US$36.00
7
0
27 Nov 2009
-88%
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Membership: none
US$5.00 US$40.00
7
0
27 Nov 2009