119,840원
Static Analysis: 20th International Symposium SAS 2013 Seattle Wa USA June 20-22 2012 Proceedings Paperback, Springer
122,080원
Static Analysis: 6th International Symposium SAS''99 Venice Italy September 22-24 1999 Proceedings Paperback, Springer
144,480원
Static Analysis: First International Static Analysis Symposium SAS ''94 Namur Belgium September 28 - 30 1994. Proceedings Paperback, Springer
Static Analysis: 16th International Symposium SAS 2009 Los Angeles CA USA August 9-11 2009 Proceedings Paperback, Springer
92,960원
Bioinformatics Research and Applications: 9th International Symposium Isbra 2013 Charlotte NC USA May 20-22 2013 Proceedings Paperback, Springer
94,080원
Static Analysis: 22nd International Symposium SAS 2015 Saint-Malo France September 9-11 2015 Proceedings Paperback, Springer
78,500원
Static Analysis: 27th International Symposium SAS 2020 Virtual Event November 18-20 2020 Procee... Paperback, Springer, English, 9783030654733
Logic Programming: 22nd International Conference Iclp 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
Model Checking Software: 20th International Symposium Spin 2013 Stony Brook NY USA July 8-9 2013 Proceedings Paperback, Springer
100,780원
Software Business: Third International Conference Icsob 2012 Cambridge Ma USA June 18-20 2012 Proceedings Paperback, Springer
166,880원
Computer Aided Verification: 18th International Conference CAV 2006 Seattle WA USA August 17-20 2006 Proceedings Paperback, Springer
101,400원
(영문도서) Static Analysis: 28th International Symposium SAS 2021 Chicago IL USA October 17-19 202... Paperback, Springer, English, 9783030888053
101,100원
Static Analysis: 25th International Symposium SAS 2018 Freiburg Germany August 29-31 2018 Proc... Paperback, Springer
110,880원
Experimental Algorithms: 11th International Symposium SEA 2012 Bordeaux France June 7-9 2012. Proceedings Paperback, Springer
Functional Imaging and Modeling of the Heart: 7th International Conference Fimh 2013 London UK June 20-22 2013 Proceedings Paperback, Springer
146,720원
Image Analysis: 18th Scandinavian Conference Scia 2013 Espoo Finland June 17-20 2013 Proceedings Paperback, Springer
106,400원
Foundations of Intelligent Systems: 20th International Symposium Ismis 2012 Macau China December 4-7 2012 Proceedings Paperback, Springer
133,280원
FM 2015: Formal Methods: 20th International Symposium Oslo Norway June 24-26 2015 Proceedings Paperback, Springer
Supercomputing: 28th International Supercomputing Conference Isc 2013 Leipzig Germany June 16-20 2013. Proceedings Paperback, Springer
Combinatorial Pattern Matching: 20th Annual Symposium CPM 2009 Lille France June 22-24 2009 Proceedings Paperback, Springer
String Processing and Information Retrieval: 20th International Symposium Spire 2013 Jerusalem Israel October 7-9 2013 Proceedings Paperback, Springer
Runtime Verification: 17th International Conference RV 2017 Seattle Wa USA September 13-16 2017 Proceedings Paperback, Springer
80,640원
Tests and Proofs: 7th International Conference Tap 2013 Budapest Hungary June 16-20 2013. Proceedings Paperback, Springer
102,200원
(영문도서) Static Analysis: 29th International Symposium SAS 2022 Auckland New Zealand December 5-7 ... Paperback, Springer, English, 9783031223075
Proceedings of the First Seattle Symposium in Biostatistics: Survival Analysis: Survival Analysis Paperback, Springer
Static Analysis: Third International Workshop Wsa ''93 Padova Italy September 22-24 1993. Proceedings Paperback, Springer
NASA Formal Methods: 4th International Symposium Nfm 2012 Norfolk Va USA April 3-5 2012 Proceedings Paperback, Springer
Frontiers of Combining Systems: 9th International Symposium Frocos 2013 Nancy France September 18-20 2013 Proceedings Paperback, Springer
Privacy Enhancing Technologies: 13th International Symposium Pets 2013 Bloomington In USA July 10-12 2013 Proceedings Paperback, Springer
Distributed Computing: 20th International Symposium DISC 2006 Stockholm Sweden September 18-20 2006 Proceedings Paperback, Springer
90,880원
User Modeling Adaptation and Personalization: 20th International Conference Umap 2012 Montreal Canada July 16-20 2012 Proceedings Paperback, Springer
Practical Aspects of Declarative Languages: 15th International Symposium Padl 2013 Rome Italy January 21-22 2013 Proceedings Paperback, Springer
160,160원
Algorithms -- ESA 2012: 20th Annual European Symposium Ljubljana Slovenia September 10-12 2012. Proceedings Paperback, Springer
163,330원
Computer Networks: 20th International Conference CN 2013 Lwowek Slaski Poland June 17-21 2013 Proceedings, Springer-Verlag New York Inc
Medical Simulation: International Symposium Isms 2004 Cambridge Ma USA June 17-18 2004 Proceedings Paperback, Springer
Brain Edema VIII: Proceedings of the Eighth International Symposium Bern June 17-20 1990 Paperback, Springer
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference Seattle WA USA August 2006 Proceedings Paperback, Springer
178,080원
Static and Dynamic Properties of Liquids: Proceedings of the International Symposium Dubrovnik Yugoslavia June 27-July 2 1988 Paperback, Springer
NASA Formal Methods: 5th International Symposium Nfm 2013 Moffett Field CA USA May 14-16 2013. Proceedings Paperback, Springer
Pattern Recognition in Bioinformatics: 8th Iapr International Conference Prib 2013 Nice France June 17-20 2013. Proceedings Paperback, Springer
Bioinformatics Research and Applications: 8th International Symposium Isbra 2012 Dallas TX USA May 21-23 2012. Proceedings Paperback, Springer
Computing and Combinatorics: 18th Annual International Conference Cocoon 2012 Sydney Australia August 20-22 2012 Proceedings Paperback, Springer
Cryptology and Network Security: 12th International Conference Cans 2013 Paraty Brazil November 20-22 2013 Proceedings Paperback, Springer
99,790원
Pervasive Computing: 10th International Conference Pervasive 2012 Newcastle UK June 18-22 2012. Proceedings, Springer-Verlag New York Inc
Image Analysis and Recognition: 9th International Conference ICIAR 2012 Aveiro Portugal June 25-27 2012. Proceedings Part II Paperback, Springer
Recent Advances in Intrusion Detection: 8th International Symposium Raid 2005 Seattle Wa USA September 7-9 2005 Revised Papers Paperback, Springer
From Sounds to Music and Emotions: 9th International Symposium Cmmr 2012 London UK June 19-22 2012 Revised Selected Papers Paperback, Springer
Advances in Intelligent Data Analysis XI: 11th International Symposium IDA 2012 Helsinki Finland October 25-27 2012 Proceedings Paperback, Springer
Image Analysis and Recognition: 9th International Conference ICIAR 2012 Aveiro Portugal June 25-27 2012. Proceedings Part I Paperback, Springer
Advances in Intelligent Data Analysis XII: 12th International Symposium Ida 2013 London UK October 17-19 2013 Proceedings Paperback, Springer
86,960원
Combinatorial Image Analysis: 15th International Workshop Iwcia 2012 Austin TX USA November 28-30 2012 Proceedings Paperback, Springer
89,900원
Model Checking Software: 25th International Symposium Spin 2018 Malaga Spain June 20-22 2018 P... Paperback, Springer
Advances in Swarm Intelligence: Third International Conference Icsi 2012 Shenzhen China June 17-20 2012 Proceedings Part II Paperback, Springer
Proceedings of the Second Seattle Symposium in Biostatistics: Analysis of Correlated Data Paperback, Springer
Image Analysis and Recognition: 10th International Conference Iciar Aveiro Portugal June 26-28 2013 Proceedings Paperback, Springer
Distributed Computing: 25th International Symposium DISC 2011 Rome Italy September 20-22 2011 Proceedings Paperback, Springer
72,570원
Algorithmic Game Theory: 5th International Symposium Sagt 2012 Barcelona Spain October 22-23 2012 Proceedings, Springer-Verlag New York Inc
105,280원
Software Composition: 12th International Conference SC 2013 Budapest Hungary June 19 2013. Proceedings Paperback, Springer
72,380원
Algorithms and Models for the Web Graph: 9th International Workshop Waw 2012 Halifax NS Canada June 22-23 2012 Proceedings Paperback, Springer
Algorithmic Number Theory: Third International Symposium Ants-III Portland Orgeon USA June 21-25 1998 Proceedings Paperback, Springer
Bioinformatics Research and Applications: 11th International Symposium Isbra 2015 Norfolk USA June 7-10 2015 Proceedings Paperback, Springer
614,880원
Proceedings of the Fourth International Symposium on Cyclodextrins: Munich West Germany April 20-22 1988 Paperback, Springer
313,580원
Power Transmissions: Proceedings of the 4th International Conference Held at Sinaia Romania June 20 -23 2012 Paperback, Springer
Discrete Geometry for Computer Imagery: 17th Iapr International Conference Dgci 2013 Seville Spain March 20-22 2013 Proceedings Paperback, Springer
89,580원
DNA Computing and Molecular Programming: 19th International Conference DNA 2013 Tempe AZ USA September 22-27 2013 Proceedings Paperback, Springer
Quantum Interaction: 6th International Symposium Qi 2012 Paris June 27-29 2012 Revised Selected Papers Paperback, Springer
Combinatorial Pattern Matching: 24th Annual Symposium CPM 2013 Bad Herrenalb Germany June 17-19 2013 Proceedings Paperback, Springer
369,580원
Robust Manufacturing Control: Proceedings of the Cirp Sponsored Conference Romac 2012 Bremen Germany 18th-20th June 2012 Paperback, Springer
74,640원
Formal Methods for Industrial Critical Systems: 20th International Workshop Fmics 2015 Oslo Norway June 22-23 2015 Proceedings Paperback, Springer
Distributed Computing: 26th International Symposium Disc 2012 Salvador Brazil October 16-18 2012 Proceedings Paperback, Springer
Safe and Secure Software Reuse: 13th International Conference on Software Reuse Icsr 2013 Pisa Italy June 18-20 2013 Proceedings Paperback, Springer
Distributed Computing: 27th International Symposium Disc 2013 Jerusalem Israel October 14-18 2013 Proceedings Paperback, Springer
64,820원
Blockchain - Icbc 2018 First International Conference Held as Part of the Services Conference Federation Scf 2018 Seattle Wa Usa June 2, Springer
FM 2012: Formal Methods: 18th International Symposium Paris France August 27-31 2012. Proceedings Paperback, Springer
Self-Stabilizing Systems: 6th International Symposium SSS 2003 San Francisco CA USA June 24-25 2003 Proceedings Paperback, Springer
155,680원
High Performance Computing: 5th International Symposium Ishpc 2003 Tokyo-Odaiba Japan October 20-22 2003 Proceedings Paperback, Springer
Innovative Internet Computing Systems: Second International Workshop Iics 2002 Kuhlungsborn Germany June 20-22 2002 Proceedings Paperback, Springer
211,680원
Algorithms and Computation: 15th International Symposium Isaac 2004 Hong Kong China December 20-22 2004 Proceedings Paperback, Springer
User Modeling 2003: 9th International Conference Um 2003 Johnstown Pa USA June 22-26 2003 Proceedings Paperback, Springer
129,480원
Latin 2012: Theoretical Informatics: 10th Latin American Symposium Arequipa Peru April 16-20 2012 Proceedings Paperback, Springer
425,680원
Power Transmissions: Proceedings of the 4th International Conference held at Sinaia Romania June 20 -23 2012, Springer Verlag
Proceedings of the Fourth International Symposium on Cyclodextrins: Munich West Germany April 20-22 1988 Hardcover, Springer
78,380원
Secure Data Managment: 8th Vldb Workshop Sdm 2011 Seattle Wa USA September 2 2011 Proceedings Paperback, Springer
135,680원
Metabolic Interconversion of Enzymes 1973: Third International Symposium Held in Seattle June 5-8 1973 Paperback, Springer
Automated Deduction - Cade-20: 20th International Conference on Automated Deduction Tallinn Estonia July 22-27 2005 Proceedings Paperback, Springer
391,980원
Robust Manufacturing Control: Proceedings of the Cirp Sponsored Conference Romac 2012 Bremen Germany 18th-20th June 2012 Hardcover, Springer
67,200원
DNA Computing and Molecular Programming: 20th International Conference DNA 20 Kyoto Japan September 22-26 2014. Proceedings Paperback, Springer
167,980원
Chemical Water and Wastewater Treatment III: Proceedings of the 6th Gothenburg Symposium 1994 June 20 - 22 1994 Gothenburg Sweden Paperback, Springer
Algorithms and Computation: 23rd International Symposium Isaac 2012 Taipei Taiwan December 19-21 2012. Proceedings Paperback, Springer
Integrated Formal Methods: 9th International Conference Ifm 2012 Pisa Italy June 18-21 2012. Proceedings Paperback, Springer
Optimal Algorithms: International Symposium. Varna Bulgaria May 29-June 2 1989. Proceedings Paperback, Springer
Algorithmic Game Theory: 6th International Symposium Sagt 2013 Aachen Germany October 21-23 2013 Proceedings Paperback, Springer
179,180원
Advances in Biomedical Infrastructure 2013: Proceedings of International Symposium on Biomedical Data Infrastructure (Bdi 2013) Paperback, Springer
Combinatorial Pattern Matching: 9th Annual Symposium CPM''98 Piscataway New Jersey USA July 20-22 1998 Proceedings Paperback, Springer
104,840원
Automated Reasoning: 6th International Joint Conference IJCAR 2012 Manchester UK June 26-29 2012 Proceedings Paperback, Springer
Practical Aspects of Declarative Languages: 17th International Symposium Padl 2015 Portland Or USA June 18-19 2015. Proceedings Paperback, Springer