151,880원
Computer Aided Verification: 13th International Conference Cav 2001 Paris France July 18-22 2001. Proceedings Paperback, Springer
189,280원
Computer Aided Verification: 21st International Conference CAV 2009 Grenoble France June 26-July 2 2009 Proceedings Paperback, Springer
107,080원
Static Analysis: 8th International Symposium SAS 2001 Paris France July 16-18 2001. Proceedings Paperback, Springer
178,080원
Computer Aided Verification: 14th International Conference Cav 2002 Copenhagen Denmark July 27-31 2002 Proceedings Paperback, Springer
54,800원
(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841
133,280원
Computer Aided Verification: Fourth International Workshop Cav ''92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer
110,880원
User Modeling 2001: 8th International Conference Um 2001 Sonthofen Germany July 13-17 2001. Proceedings Paperback, Springer
122,080원
Computer-Aided Verification: 2nd Internatonal Conference Cav ''90 New Brunswick NJ USA June 18-21 1990. Proceedings Paperback, Springer
144,480원
Active Media Technology: 6th International Computer Science Conference Amt 2001 Hong Kong China December 18-20 2001. Proceedings Paperback, Springer
140,110원
Information Processing in Medical Imaging: 17th International Conference Ipmi 2001 Davis CA USA June 18-22 2001. Proceedings Paperback, Springer
469,280원
Proceedings of the 13th International Scientific Conference: Computer Aided Engineering Hardcover, Springer
Computer Vision Systems: Second International Workshop Icvs 2001 Vancouver Canada July 7-8 2001 Proceedings Paperback, Springer
155,680원
Fundamentals of Computation Theory: 13th International Symposium Fct 2001 Riga Latvia August 22-24 2001. Proceedings Paperback, Springer
173,600원
Computer Aided Verification: 26th International Conference Cav 2014 Held as Part of the Vienna Summe..., Springer
Ecoop 2001 - Object-Oriented Programming: 15th European Conference Budapest Hungary June 18-22 2001 Proceedings Paperback, Springer
Inductive Logic Programming: 11th International Conference Ilp 2001 Strasbourg France September 9-11 2001. Proceedings Paperback, Springer
Automated Reasoning: First International Joint Conference Ijcar 2001 Siena Italy June 18-23 2001 Proceedings Paperback, Springer
267,680원
Advanced Computer Systems: Eighth International Conference Acs'' 2001 Mielno Poland October 17-19 2001 Proceedings Hardcover, Springer
64,100원
(영문도서) Computer Aided Verification: 34th International Conference Cav 2022 Haifa Israel August 7... Paperback, Springer, English, 9783031131844
Cryptographic Hardware and Embedded Systems - Ches 2001: Third International Workshop Paris France May 14-16 2001 Proceedings Paperback, Springer
68,300원
(영문도서) Computer Aided Verification: 31st International Conference Cav 2019 New York City Ny Usa ... Paperback, Springer, English, 9783030255398
Financial Cryptography: 5th International Conference FC 2001 Grand Cayman British West Indies February 19-22 2001. Proceedings Paperback, Springer
(영문도서) Computer Aided Verification: 31st International Conference Cav 2019 New York City Ny Usa ... Paperback, Springer, English, 9783030255428
Rewriting Techniques and Applications: 12th International Conference Rta 2001 Utrecht the Netherlands May 22-24 2001. Proceedings Paperback, Springer
327,900원
(영문도서) Proceedings of the 13th International Scientific Conference: Computer Aided Engineering Paperback, Springer, English, 9783319845272
Logical Aspects of Computational Linguistics: 4th International Conference Lacl 2001 Le Croisic France June 27-29 2001 Proceedings Paperback, Springer
Advances in Web-Age Information Management: Second International Conference Waim 2001 Xi''an China July 9-11 2001. Proceedings Paperback, Springer
68,600원
(영문도서) Computer Aided Verification: 30th International Conference Cav 2018 Held as Part of the Fed... Paperback, Springer, English, 9783319961415
Wavelet Analysis and Its Applications: Second International Conference Waa 2001 Hong Kong China December 18-20 2001. Proceedings Paperback, Springer
230,830원
Advanced Computer Systems: Eighth International Conference ACS ''2001 Mielno Poland October 17-19 2001 Proceedings, Springer-Verlag New York Inc
Theoretical Computer Science: 7th Italian Conference Ictcs 2001 Torino Italy October 4-6 2001. Proceedings Paperback, Springer
Multiple Classifier Systems: Second International Workshop MCS 2001 Cambridge UK July 2-4 2001 Proceedings Paperback, Springer
Distributed Computing: 15th International Conference Disc 2001 Lisbon Portugal October 3-5 2001. Proceedings Paperback, Springer
Database Theory - Icdt 2001: 8th International Conference London UK January 4-6 2001 Proceedings Paperback, Springer
Information Security: 4th International Conference Isc 2001 Malaga Spain October 1-3 2001 Proceedings Paperback, Springer
Advanced Information Systems Engineering: 13th International Conference Caise 2001 Interlaken Switz..., Springer
Genetic Programming: 4th European Conference Eurogp 2001 Lake Como Italy April 18-20 2001 Proceedings Paperback, Springer
95,880원
Robot Vision: International Workshop Robvis 2001 Auckland New Zealand February 16-18 2001 Proceedings Paperback, Springer
Mobile Agents: 5th International Conference Ma 2001 Atlanta Ga USA December 2-4 2001 Proceedings Paperback, Springer
High Performance Computing - HIPC 2001: 8th International Conference Hyderabad India December 17-20 2001. Proceedings Paperback, Springer
Parallel Computing Technologies: 6th International Conference Pact 2001 Novosibirsk Russia September 3-7 2001 Proceedings Paperback, Springer
Cooperative Information Systems: 9th International Conference Coopis 2001 Trento Italy September 5-7 2001. Proceedings Paperback, Springer
Ubicomp 2001: Ubiquitous Computing: International Conference Atlanta Georgia USA September 30 - October 2 2001 Proceedings Paperback, Springer
Logic Programming: 17th International Conference Iclp 2001 Paphos Cyprus November 26 - December 1 2001. Proceedings Paperback, Springer
Virtual Worlds: First International Conference VW''98 Paris France July 1-3 1998 Proceedings Paperback, Springer
200,480원
Evolutionary Multi-Criterion Optimization: First International Conference Emo 2001 Zurich Switzerland March 7-9 2001 Proceedings Paperback, Springer
Developments in Language Theory: 5th International Conference Dlt 2001 Vienna Austria July 16-21 2001. Revised Papers Paperback, Springer
Machines Computations and Universality: Third International Conference McU 2001 Chisinau Moldava May 23-27 2001 Proceedings Paperback, Springer
166,880원
Computing and Combinatorics: 7th Annual International Conference Cocoon 2001 Guilin China August 20-23 2001 Proceedings Paperback, Springer
Mobile Data Management: Second International Conference MDM 2001 Hong Kong China January 8-10 2001 Proceedings Paperback, Springer
Algorithmic Learning Theory: 12th International Conference Alt 2001 Washington DC USA November 25-28 2001. Proceedings. Paperback, Springer
Information Security and Cryptology - ICISC 2001: 4th International Conference Seoul Korea December 6-7 2001 Proceedings Paperback, Springer
129,480원
Information and Communications Security: Third International Conference Icics 2001 Xian China November 13-16 2001. Proceedings Paperback, Springer
Proof Theory in Computer Science: International Seminar Ptcs 2001 Dagstuhl Castle Germany October 7-12 2001. Proceedings Paperback, Springer
Rewriting Techniques and Applications: 13th International Conference Rta 2002 Copenhagen Denmark July 22-24 2002 Proceedings Paperback, Springer
Data Warehousing and Knowledge Discovery: Third International Conference Dawak 2001 Munich Germany September 5-7 2001 Proceedings Paperback, Springer
89,580원
Advances in Databases: 18th British National Conference on Databases Bncod 18 Chilton UK July 9-11 2001. Proceedings Paperback, Springer
Cognitive Technology: Instruments of Mind: 4th International Conference CT 2001 Coventry UK August 6-9 2001 Proceedings Paperback, Springer
Conceptual Modeling - Er 2001: 20th International Conference on Conceptual Modeling Yokohama Japan November 27-30 2001 Proceedings Paperback, Springer
Euro-Par 2001 Parallel Processing: 7th International Euro-Par Conference Manchester UK August 28-31 2001 Proceedings Paperback, Springer
Advances in Intelligent Data Analysis: 4th International Conference Ida 2001 Cascais Portugal September 13-15 2001. Proceedings Paperback, Springer
Computational Science - Iccs 2001: International Conference San Francisco CA USA May 28-30 2001. Proceedings Part II Paperback, Springer
Graph-Theoretic Concepts in Computer Science: 27th International Workshop Wg 2001 Boltenhagen Germany June 14-16 2001 Proceedings Paperback, Springer
90,700원
Intelligent Computer Mathematics: 13th International Conference CICM 2020 Bertinoro Italy July 2... Paperback, Springer
100,780원
Computer Safety Reliability and Security: 20th International Conference Safecomp 2001 Budapest Hun…, Springer
119,840원
Interactive Theorem Proving: 4th International Conference Itp 2013 Rennes France July 22-26 2013 Proceedings Paperback, Springer
Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Worksh..., Springer
Evolvable Systems: From Biology to Hardware: 4th International Conference Ices 2001 Tokyo Japan October 3-5 2001 Proceedings Paperback, Springer
Text Speech and Dialogue: 4th International Conference Tsd 2001 Zelezna Ruda Czech Republic September 11-13 2001. Proceedings Paperback, Springer
Advances in Pattern Recognition - Icapr 2001: Second International Conference Rio de Janeiro Brazil March 11-14 2001 Proceedings Paperback, Springer
85,780원
Formal Verification of Object-Oriented Software: International Conference Foveoos 2010 Paris France..., Springer
Computer Aided Systems Theory -- Eurocast 2011: 13th International Conference Las Palmas de Gran Cana..., Springer
117,600원
Proceedings of the International Conference on Stochastic Analysis and Applications: Hammamet 2001 Paperback, Springer
Databases in Telecommunications II: Vldb 2001 International Workshop Dbtel 2001 Rome Italy September 10 2001 Proceedings Paperback, Springer
Sdl 2007: Design for Dependable Systems: 13th International Sdl Forum Paris France September 18-21 2007 Proceedings Paperback, Springer
Engineering for Human-Computer Interaction: 8th Ifip International Conference Ehci 2001 Toronto Can..., Springer
Advances in Spatial and Temporal Databases: 7th International Symposium Sstd 2001 Redondo Beach CA USA July 12-15 2001 Proceedings Paperback, Springer
Combinatorial Pattern Matching: 12th Annual Symposium CPM 2001 Jerusalem Israel July 1-4 2001 Proceedings Paperback, Springer
86,960원
Computer Vision Systems: 9th International Conference Icvs 2013 St. Petersburg Russia July 16-18 2013. Proceedings Paperback, Springer
Mathematical Foundations of Computer Science 2001: 26th International Symposium Mfcs 2001 Marianske L..., Springer
74,640원
Computational Methods in Systems Biology: 13th International Conference Cmsb 2015 Nantes France September 16-18 2015 Proceedings Paperback, Springer
Mathematics of Program Construction: 9th International Conference MPC 2008 Marseille France July 15-18 2008 Proceedings Paperback, Springer
140,680원
Computer-Aided Transit Scheduling: Proceedings of the Fourth International Workshop on Computer-Aided ..., Springer
Operations Research Proceedings 2001: Selected Papers of the International Conference on Operations Re..., Springer
Proceedings of the International Conference on Stochastic Analysis and Applications: Hammamet 2001 Hardcover, Springer
Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems..., Springer
Sensor Technology 2001: Proceedings of the Sensor Technology Conference 2001 Held in Enschede the Netherlands 14-15 May 2001 Paperback, Springer
80,640원
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference Hvc..., Springer
Deontic Logic in Computer Science: 11th International Conference Deon 2012 Bergen Norway July 16-18 2012 Proceedings Paperback, Springer
Relational Methods in Computer Science: 6th International Conference Relmics 2001 and 1st Workshop of..., Springer
Scale-Space and Morphology in Computer Vision: Third International Conference Scale-Space 2001 Vanco..., Springer
301,280원
Biologic Effects of Light 2001: Proceedings of a Symposium Boston Massachusetts June 16-18 2001 Paperback, Springer
201,580원
Modeling and Using Context: 5th International and Interdisciplinary Conference Context 2005 Paris France July 5-8 2005 Proceedings Paperback, Springer
Algorithm Engineering: 5th International Workshop Wae 2001 Aarhus Denmark August 28-31 2001 Proceedings Paperback, Springer
78,380원
Automata Languages and Programming: 13th International Colloquium Rennes France July 15-19 1986. Proceedings Paperback, Springer