Theoretical Computer Science (8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Carlo Blundo, Cosimo Laneve

Theoretical Computer Science (8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Carlo Blundo, Cosimo Laneve

HK$500

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

HK$533

Theoretical Computer Science (9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Mario Coppo, Elena Lodi, G. Michele Pinna

Theoretical Computer Science (9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Mario Coppo, Elena Lodi, G. Michele Pinna

HK$640

Theoretical Computer Science (7th Italian Conference, Ictcs 2001, Torino, Italy, October 4-6, 2001. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi

Theoretical Computer Science (7th Italian Conference, Ictcs 2001, Torino, Italy, October 4-6, 2001. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi

HK$533

Foundations of Probabilistic Logic Programming (Languages, Semantics, Inference and Learning (River Publishers Series in Software Engineering))

By Riguzzi, Fabrizio

Foundations of Probabilistic Logic Programming (Languages, Semantics, Inference and Learning (River Publishers Series in Software Engineering))

By Riguzzi, Fabrizio

HK$800 Elsewhere ~~HK$911.82~~ Save HK$111.82 (12%)

Euro-Par 2018 (Parallel Processing Workshops: Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio

Euro-Par 2018 (Parallel Processing Workshops: Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio

HK$1,000

Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 (Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional an)

By Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 (Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional an)

By Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

HK$391

System Development and Ada (Crai Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By A. Nico Habermann, Ugo Montanari

System Development and Ada (Crai Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By A. Nico Habermann, Ugo Montanari

HK$500

Rules and Rule Markup Languages for the Semantic Web (Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings (Lecture Notes in Computer Science))

By Michael Schroeder, Gerd Wagner, Jerome Kaminker

Rules and Rule Markup Languages for the Semantic Web (Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings (Lecture Notes in Computer Science))

By Michael Schroeder, Gerd Wagner, Jerome Kaminker

HK$480

Correct Hardware Design and Verification Methods (12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Daniel Geist, Enrico Tronci

Correct Hardware Design and Verification Methods (12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Daniel Geist, Enrico Tronci

HK$530

Radical Innovations of Software and Systems Engineering in the Future (9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science))

By Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Radical Innovations of Software and Systems Engineering in the Future (9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science))

By Martin Wirsing, Alexander Knapp, Simonetta Balsamo

HK$500

Formal Methods for the Design of Real-Time Systems (International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Lecture Notes in Compute ..)

By Marco Bernardo, Flavio Corradini

Formal Methods for the Design of Real-Time Systems (International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Lecture Notes in Compute ..)

By Marco Bernardo, Flavio Corradini

HK$580

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

HK$571

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

HK$500

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

HK$557

Theorem Proving in Higher Order Logics (16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : Proceedings (Lecture Notes in Computer Science))

By David Basin, Burkhart Wolff

Theorem Proving in Higher Order Logics (16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : Proceedings (Lecture Notes in Computer Science))

By David Basin, Burkhart Wolff

HK$600

FME 2003: Formal Methods (International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science))

By Keijiro Araki, Stefania Gnesi, Dion Mandrioli

FME 2003: Formal Methods (International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science))

By Keijiro Araki, Stefania Gnesi, Dion Mandrioli

HK$1,030

Fundamental Approaches to Software Engineering (4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (Lecture Notes in Computer Sci)

By Heinrich Hussmann

Fundamental Approaches to Software Engineering (4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (Lecture Notes in Computer Sci)

By Heinrich Hussmann

HK$660

Foundations of Software Science and Computation Structures (4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Lecture No ..)

By Furio Honsell, Marino Miculan

Foundations of Software Science and Computation Structures (4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Lecture No ..)

By Furio Honsell, Marino Miculan

HK$660

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

HK$1,100

Recent Trends in Algebraic Development Techniques (15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maura Cerioli, Gianna Reggio

Recent Trends in Algebraic Development Techniques (15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maura Cerioli, Gianna Reggio

HK$600

Verification, Model Checking, and Abstract Interpretation (Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science))

By Agostino Cortesi

Verification, Model Checking, and Abstract Interpretation (Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science))

By Agostino Cortesi

HK$500

The Semantic Web - ISWC 2002 (First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings (Lecture Notes in Computer Science))

By Ian Horrocks, James A. Hendler

The Semantic Web - ISWC 2002 (First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings (Lecture Notes in Computer Science))

By Ian Horrocks, James A. Hendler

HK$540

Algebraic and Logic Programming (Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Giorgio Levi

Algebraic and Logic Programming (Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Giorgio Levi

HK$540

View:
Safe Search(?):