166,880원
Computer Science Logic: 8th Workshop CSL ''94 Kazimierz Poland September 25 - 30 1994. Selected Papers Paperback, Springer
155,680원
Computer Science Logic: 13th International Workshop CSL''99 8th Annual Conference of the Eacsl Madri..., Springer
144,480원
Logic and Computational Complexity: International Workshop LCC ''94 Indianapolis In USA October 13-16 1994. Selected Papers Paperback, Springer
133,280원
Computer Aided Systems Theory - Cast ''94: 4th International Workshop Ottawa Ontario May 16 - 20 1994. Selected Papers Paperback, Springer
178,080원
Computer Science Logic: 16th International Workshop CSL 2002 11th Annual Conference of the Eacsl Edinburgh Scotland UK September Paperback, Springer
100,780원
Non-Monotonic Extensions of Logic Programming: Iclp ''94 Workshop Santa Margherita Ligure Italy June 17 1994. Selected Papers Paperback, Springer
Computer Science Logic: 9th International Workshop CSL ''95 Annual Conference of the Eacsl Paderborn ..., Springer
Computer Science Logic: 4th Workshop CSL ''90 Heidelberg Germany October 1-5 1990. Proceedings Paperback, Springer
Computer Science Logic: 14th International Workshop CSL 2000 Annual Conference of the Eacsl Fischbach..., Springer
Computer Science Logic: 5th Workshop CSL ''91 Berne Switzerland October 7-11 1991. Proceedings Paperback, Springer
Computer Science Logic: 23rd International Workshop CSL 2009 18th Annual Conference of the EACSL Co..., Springer
CSL''88: 2nd Workshop on Computer Science Logic Duisburg Frg October 3-7 1988. Proceedings Paperback, Springer
Computer Science Logic: 15th International Workshop CSL 2001. 10th Annual Conference of the Eacsl Pa..., Springer
CSL ''89: 3rd Workshop on Computer Science Logic. Kaiserslautern Frg October 2-6 1989. Proceedings Paperback, Springer
Types for Proofs and Programs: International Workshop Types ''94 Bastad Sweden June 6-10 1994. Selected Papers Paperback, Springer
85,780원
Human-Computer Interaction: 4th International Conference Ewhci ''94 St. Petersburg Russia August 2 - 5 1994. Selected Papers Paperback, Springer
301,280원
Kazimierz Opalek Selected Papers in Legal Philosophy Paperback, Springer
95,880원
Runtime Verification: 8th International Workshop RV 2008 Budapest Hungary March 30 2008 Selected Papers Paperback, Springer
110,880원
Theory and Practice in Distributed Systems: International Workshop Dagstuhl Castle Germany September 5 - 9 1994. Selected Papers Paperback, Springer
Advances in Case-Based Reasoning: Second European Workshop Ewcbr-94 Chantilly France November 7 - 10 1994. Selected Papers Paperback, Springer
Digital Libraries: Current Issues: Digital Libraries Workshop DL ''94 Newark NJ USA May 19- 20 1994. Selected Papers Paperback, Springer
86,960원
Security and Trust Management: 8th International Workshop STM 2012 Pisa Italy September 13-14 2012 Revised Selected Papers Paperback, Springer
Logics in Artificial Intelligence: European Workshop Jelia ''94 York UK September 5-8 1994. Proceedings Paperback, Springer
Membrane Computing: 8th International Workshop WMC 2007 Thessaloniki Greece June 25-28 2007 Revised Selected and Invited Papers Paperback, Springer
Swarm Robotics: Second Sab 2006 International Workshop Rome Italy September 30-October 1 2006 Revised Selected Papers Paperback, Springer
Evolutionary Computing: Aisb Workshop Leeds U.K. April 11 - 13 1994. Selected Papers Paperback, Springer
Mathematical Foundations of Computer Science 1994: 19th International Symposium Mfcs''94 Kosice Slov..., Springer
Algebraic and Logic Programming: 4th International Conference Alp ''94 Madrid Spain September 14-16 1994. Proceedings Paperback, Springer
74,640원
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop Memics ..., Springer
44,740원
Logic and Computer Science Paperback, Springer
Static Analysis: First International Static Analysis Symposium SAS ''94 Namur Belgium September 28 - 30 1994. Proceedings Paperback, Springer
Graph-Theoretic Concepts in Computer Science: 20th International Workshop. Wg ''94 Herrsching Germany..., Springer
130,190원
Computer Science Logic, Springer Verlag
122,080원
Database Programming Languages: 8th International Workshop Dbpl 2001 Frascati Italy September 8-10 2001. Revised Papers Paperback, Springer
Deontic Logic in Computer Science Paperback, Springer
57,180원
Mathematical Foundations of Computer Science 1979: 8th Symposium Olomouc Czechoslovakia September 3-7 1979. Proceedings Paperback, Springer
Approximation and Online Algorithms: 8th International Workshop Waoa 2010 Liverpool UK September 9-10 2010 Revised Papers Paperback, Springer
Geometric Reasoning for Perception and Action: Workshop. Grenoble France September 16-17 1991. Selected Papers Paperback, Springer
Computer Algebra in Scientific Computing: 8th International Workshop Casc 2005 Kalamata Greece September 12-16 2005 Proceedings Paperback, Springer
Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik Poland August 28 - September 1 1989. Proceedings Paperback, Springer
119,840원
Computer Algebra in Scientific Computing: 16th International Workshop Casc 2014 Warsaw Poland September 8-12 2014. Proceedings Paperback, Springer
Logic from Computer Science: Proceedings of a Workshop Held November 13-17 1989 Paperback, Springer
91,400원
Ad Hoc Networks: 8th International Conference Adhocnets 2016 Ottawa Canada September 26-27 2016 Revised Selected Papers Paperback, Springer
Distributed Algorithms: 8th International Workshop Wdag 1994 Terschelling the Netherlands Septembe..., Springer
Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny Pola..., Springer
Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle Germany September 28 - October 2 1998 Selected Papers Paperback, Springer
Types in Compilation: Third International Workshop Tic 2000 Montreal Canada September 21 2000. Revised Selected Papers Paperback, Springer
129,500원
(영문도서) Semigroups of Operators - Theory and Applications: Sota Kazimierz Dolny Poland September/O... Paperback, Springer, English, 9783030460815
Software Architecture: Third European Workshop Ewsa 2006 Nantes France September 4-5 2006 Revised Selected Papers Paperback, Springer
80,640원
Machine Translation: 13th China Workshop Cwmt 2017 Dalian China September 27-29 2017 Revised Selected Papers Paperback, Springer
Argumentation in Multi-Agent Systems: 8th International Workshop Argmas 2011 Taipei Taiwan May 2011 Revised Selected Papers Paperback, Springer
245,280원
Computational Science - ICCS 2008: 8th International Conference Krakow Poland June 23-25 2008 Proceedings Part I Paperback, Springer
284,700원
Current Trends in Computer Science and Mechanical Automation Vol.2: Selected Papers from Csma2016 Hardcover, de Gruyter Open Poland
200,480원
Computational Science - ICCS 2008: 8th International Conference Krakow Poland June 23-25 2008 Proceedings Part II Paperback, Springer
Logical Foundations of Computer Science: Third International Symposium Lfcs ''94 St. Petersburg Russia July 11-14 1994. Proceedings Paperback, Springer
Selected Papers in Logic and Foundations Didactics Economics Paperback, Springer
Stacs 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen France February 24-26 1994 Proceedings Paperback, Springer
Inductive Logic Programming: 6th International Workshop Ilp-96 Stockholm Sweden August 26-28 1996 Selected Papers Paperback, Springer
Inductive Logic Programming: 22nd International Conference Ilp 2012 Dubrovnik Croatia September 16-18 2012 Revised Selected Papers Paperback, Springer
89,580원
Citizen in Sensor Networks: Second International Workshop Citisens 2013 Barcelona Spain September 19 2013 Revised Selected Papers Paperback, Springer
67,200원
Inductive Logic Programming: 26th International Conference Ilp 2016 London UK September 4-6 2016 Revised Selected Papers Paperback, Springer
78,380원
Programming Multi-Agent Systems: 8th International Workshop Promas 2010 Toronto On Canada May 11 2010. Revised Selected Papers Paperback, Springer
Computer Vision: Craft Engineering and Science: Workshop Proceedings Killarney Ireland September 9/10 1991 Hardcover, Springer
106,400원
Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia Cs..., Springer
Hybrid Systems Biology: Fourth International Workshop Hsb 2015 Madrid Spain September 4-5 2015. Revised Selected Papers Paperback, Springer
Implementation of Functional Languages: 12th International Workshop Ifl 2000 Aachen Germany September 4-7 2000. Selected Papers Paperback, Springer
Graphics Recognition. Recent Advances: Third International Workshop Grec''99 Jaipur India September 26-27 1999 Selected Papers Paperback, Springer
247,900원
Openfoam(r):Selected Papers of the 11th Workshop, Springer
Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna Poland September 1-5 1980. Proceedings Paperback, Springer
Supercomputing: Third Russian Supercomputing Days Ruscdays 2017 Moscow Russia September 25-26 2017 Revised Selected Papers Paperback, Springer
Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science Paperback, Springer
92,960원
Runtime Verification: Third International Conference RV 2012 Istanbul Turkey September 25-28 2012 Revised Selected Papers Paperback, Springer
107,080원
Graph Drawing: 21st International Symposium GD 2013 Bordeaux France September 23-25 2013 Revised Selected Papers Paperback, Springer
90,880원
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Compute..., Springer
Partially Supervised Learning: First IAPR TC3 Workshop PSL 2011 Ulm Germany September 15-16 2011 Revised Selected Papers Paperback, Springer
Technologies for E-Services: 6th International Workshop Tes 2005 Trondheim Norway September 2-3 2005 Revised Selected Papers Paperback, Springer
Security Protocols XIX: 19th International Workshop Cambridge UK March 28-30 2011 Revised Selected Papers Paperback, Springer
Ecoop ''94 - Object-Oriented Programming: 8th European Conference Bologna Italy July 4-8 1994. Proceedings Paperback, Springer
Security and Trust Management: 6th International Workshop STM 2010 Athens Greece September 23-24 2010 Revised Selected Papers Paperback, Springer
Information Hiding: 6th International Workshop IH 2004 Toronto Canada May 23-25 2004 Revised Selected Papers Paperback, Springer
Automated Deduction in Geometry: 9th International Workshop Adg 2012 Edinburgh UK September 17-19 2012. Revised Selected Papers Paperback, Springer
Software Engineering and Middleware: 4th International Workshop Sem 2004 Linz Austria September 20-21 2004 Revised Selected Papers Paperback, Springer
Data Management in Grids: First Vldb Workshop Dmg 2005 Trondheim Norway September 2-3 2005 Revised Selected Papers Paperback, Springer
Automated Deduction in Geometry: Third International Workshop Adg 2000 Zurich Switzerland September 25-27 2000 Revised Papers Paperback, Springer
112,080원
Modern Physics and Its Philosophy: Selected Papers in the Logic History and Philosophy of Science Paperback, Springer
Quantum Interaction: 8th International Conference Qi 2014 Filzbach Switzerland June 30 -- July 3 2014. Revised Selected Papers Paperback, Springer
Semantic Web Ontologies and Databases: VLDB Workshop SWDB-ODBIS 2007 Vienna Austria September 24 2007 Revised Selected Papers Paperback, Springer
Agent-Oriented Software Engineering VIII: 8th International Workshop Aose 2007 Honolulu Hi USA May 14 2007 Revised Selected Papers Paperback, Springer
167,980원
Imaging in High Energy Astronomy: Proceedings of the International Workshop Held in Anacapri (Capri-Italy) 26-30 September 1994 Paperback, Springer
Algebra and Coalgebra in Computer Science: 5th International Conference Calco 2013 Warsaw Poland September 3-6 2013 Proceedings Paperback, Springer
Arithmetic of Finite Fields: 5th International Workshop Waifi 2014 Gebze Turkey September 27-28 2014. Revised Selected Papers Paperback, Springer
Computability and Complexity in Analysis: 4th International Workshop Cca 2000 Swansea UK September 17-19 2000. Selected Papers Paperback, Springer
Bioinformatics: German Conference on Bioinformatics Gcb'' 96 Leipzig Germany September 30 - October 2 1996. Selected Papers Paperback, Springer
Haptic and Audio Interaction Design: 8th International Workshop Haid 2013 Daejeon Korea April 18-19 2013 Revised Selected Papers Paperback, Springer
Software Configuration Management: Icse''96 Scm-6 Workshop Berlin Germany March 25 - 26 1996 Selected Papers Paperback, Springer
Machine Translation: 12th China Workshop Cwmt 2016 Urumqi China August 25-26 2016 Revised Selected Papers Paperback, Springer