資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Computational Logic and Proof Theory: Third Kurt G?del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Fundamentals of Computation Theory: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Network and Operating System Support for Digital Audio and Video: Third International Workshop, La Jolla, California, USA, November 12-13, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science)$4,060$3,857 -
VIP 95折
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
The MOSIX Distributed Operating System: Load Balancing for UNIX (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Advanced Information Systems Engineering: 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Recognizing Planar Objects Using Invariant Image Features (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science)$4,060$3,857 -
VIP 95折
Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, ... (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Algorithms and Computation: Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Computer Security - ESORICS 92: Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Memory Management: International Workshop IWMM 92, St.Malo, France, September 17 - 19, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings (Lecture Notes in Computer Science)$4,060$3,857 -
VIP 95折
ECOOP '92. European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Axioms and Hulls (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, ... (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
Computer Aided Systems Theory - EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, ... (Lecture Notes in Computer Science)$4,060$3,857 -
VIP 95折
LATIN '92: 1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings (Lecture Notes in Computer Science)$2,180$2,071 -
VIP 95折
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science)$2,190$2,081 -
VIP 95折
The Use of Projective Geometry in Computer Graphics (Lecture Notes in Computer Science)$1,430$1,359 -
VIP 95折
Operating Systems of the 90s and Beyond: International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings (Lecture Notes in Computer Science)$2,690$2,556 -
VIP 95折
Conclog: A Methodological Approach to Concurrent Logic Programming (Lecture Notes in Computer Science)$4,060$3,857 -
VIP 95折
Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project (Lecture Notes in Computer Science)$2,180$2,071