0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
HKD
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Computers
Movies
Music
All Products
\n
Books
Computers
Movies
Music
Computers
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
HKD
Search
All Products
Books
Computers
Computer Science
Logic Design
Filters
Sold By
Sold By
All Sellers
Fishpond
(111)
Age Range
Age Range
All Ranges
15+
(22)
All Ages
(4)
Country
Country
All Countries
Germany
(97)
Switzerland
(5)
United States
(4)
United Kingdom
(2)
Netherlands
(1)
Results for "French Language"
French Language
125 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(111)
Age Range
Age Range
All Ranges
15+
(22)
All Ages
(4)
Country
Country
All Countries
Germany
(97)
Switzerland
(5)
United States
(4)
United Kingdom
(2)
Netherlands
(1)
Related Searches:
living language french
michel thomas french language builder
collins french language
french language dvd
learn french language
french language travel
funky french language
kids french language
125 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Radhia Cousot
Verification, Model Checking, and Abstract Interpretation (6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Radhia Cousot
HK$698
Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Rudolf Eigenmann
,
Zhiyuan Li
,
Samuel P. Midkiff
Languages and Compilers for High Performance Computing (17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Rudolf Eigenmann
,
Zhiyuan Li
,
Samuel P. Midkiff
HK$550
Implementation and Application of Automata (10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Jacques Farre
,
Igor Litovsky
,
Sylvain Schmitz
Implementation and Application of Automata (10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Jacques Farre
,
Igor Litovsky
,
Sylvain Schmitz
HK$600
Types for Proofs and Programs (International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Jean-Christophe Filliatre
,
Christine Paulin-Mohring
,
Benjamin Werner
Types for Proofs and Programs (International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Jean-Christophe Filliatre
,
Christine Paulin-Mohring
,
Benjamin Werner
HK$582
STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (2006 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Bruno Durand
,
Wolfgang Thomas
STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (2006 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
By
Bruno Durand
,
Wolfgang Thomas
HK$1,131
Ecoop 2006 - Object-Oriented Programming (20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Dave Thomas
Ecoop 2006 - Object-Oriented Programming (20th European Conference, Nantes, France, July 3-7, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Dave Thomas
HK$559
Implementation and Application of Automata (7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers (Lecture Notes in Computer Science))
By
Jean-Marc Champarnaud
,
Denis Maurel
Implementation and Application of Automata (7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers (Lecture Notes in Computer Science))
By
Jean-Marc Champarnaud
,
Denis Maurel
HK$600
Logic for Programming and Automated Reasoning (7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Michel Parigot
,
Andrei Voronkov
Logic for Programming and Automated Reasoning (7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Michel Parigot
,
Andrei Voronkov
HK$700
Foundations of Software Science and Computation Structures (5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings (Lectu ..)
By
Mogens Nielsen
,
Uffe Engberg
Foundations of Software Science and Computation Structures (5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings (Lectu ..)
By
Mogens Nielsen
,
Uffe Engberg
HK$673
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 (Le)
By
Joost-Pieter Katoen
,
Perdita Stevens
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 (Le)
By
Joost-Pieter Katoen
,
Perdita Stevens
HK$673
Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))
By
Eugene Asarin
,
Patricia Bouyer
Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))
By
Eugene Asarin
,
Patricia Bouyer
HK$630
Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))
By
Elie Najm
,
Jean-Francois Pradat-Peyre
,
Veronique Viguie Donzeau-Gouge
Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))
By
Elie Najm
,
Jean-Francois Pradat-Peyre
,
Veronique Viguie Donzeau-Gouge
HK$1,100
Principles and Practice of Constraint Programming - CP 2006 (12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
By
Frederic Benhamou
Principles and Practice of Constraint Programming - CP 2006 (12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
By
Frederic Benhamou
HK$1,052
Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Joseph Sifakis
Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Joseph Sifakis
HK$633
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings (7th (Lecture Notes in Computer Science))
By
Christian Choffrut
,
Thomas Lengauer
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings (7th (Lecture Notes in Computer Science))
By
Christian Choffrut
,
Thomas Lengauer
HK$600
Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Helene Kirchner
,
Wolfgang Wechler
Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Helene Kirchner
,
Wolfgang Wechler
HK$500
Semantics of Systems of Concurrent Processes (LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings (Lecture Notes in Computer Science))
By
Irene Guessarian
Semantics of Systems of Concurrent Processes (LITP Spring School on Theoretical Computer Science, LA Roche Posay, France, April 23-27, 1990. Proceedings (Lecture Notes in Computer Science))
By
Irene Guessarian
HK$571
Category Theory and Computer Science (Paris, France, September 3-6, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
David H. Pitt
,
Pierre-Louis Curien
,
Samson Abramsky
,
Andrew M. Pitts
Category Theory and Computer Science (Paris, France, September 3-6, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
David H. Pitt
,
Pierre-Louis Curien
,
Samson Abramsky
,
Andrew M. Pitts
HK$592
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings (9th (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Alain Finkel
,
Matthias Jantzen
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings (9th (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Alain Finkel
,
Matthias Jantzen
HK$995
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (8th: Workshop on Specification of Abstract Data Types Joint with the)
By
Michel Bidoit
,
Christine Choppy
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, August 26-30, 1991, Selected Papers (8th: Workshop on Specification of Abstract Data Types Joint with the)
By
Michel Bidoit
,
Christine Choppy
HK$600
STACS '96 (13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Claude Puech
,
Rüdiger Reischuk
STACS '96 (13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Claude Puech
,
Rüdiger Reischuk
HK$1,000
Typed Lambda Calculi and Applications (Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings: Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, Nancy,)
By
Philippe de Groote
,
J. Roger Hindley
Typed Lambda Calculi and Applications (Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings: Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, Nancy,)
By
Philippe de Groote
,
J. Roger Hindley
HK$534
Logical Aspects of Computational Linguistics (First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Christian Retore
Logical Aspects of Computational Linguistics (First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Christian Retore
HK$640
Concur'98: Concurrency Theory (9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Davide Sangiorgi
,
Robert de Simone
Concur'98: Concurrency Theory (9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Davide Sangiorgi
,
Robert de Simone
HK$1,100
Previous Page
1
2
3
4
5
6
Next Page
Previous Page
1
2
3
4
5
6
Next Page