66,080원
Proceedings of the Logic Colloquium. Held in Aachen July 18-23 1983: Part 2: Computation and Proof Theory Paperback, Springer
51,520원
Measure Theory Oberwolfach 1983: Proceedings of the Conference Held at Oberwolfach June 26-July 2 1983 Paperback, Springer
48,520원
Graph Theory Singapore 1983: Proceedings of the First Southeast Asian Graph Theory Colloquium Held in Singapore May 10-28 1983 Paperback, Springer
144,480원
Mathematics in Biology and Medicine: Proceedings of an International Conference Held in Bari Italy July 18-22 1983 Paperback, Springer
Potential Theory: Copenhagen 1979: Proceedings of a Colloquium Held in Copenhagen May 14-18 1979 Paperback, Springer
110,880원
Automata Languages and Programming: 10th Colloquium Barcelona Spain July 18-22 1983 Paperback, Springer
44,740원
Knot Theory and Manifolds: Proceedings of a Conference Held in Vancouver Canada June 2-4 1983 Paperback, Springer
Holomorphic Dynamics: Proceedings of the Second International Colloquium on Dynamical Systems Held in Mexico July 1986 Paperback, Springer
Heidelberg Colloquium on Spin Glasses: Proceedings of a Colloquium Held at the University of Heidelberg 30 May -3 June 1983 Paperback, Springer
78,380원
Foundations of Computation Theory: Proceedings of the 1983 International Fct-Conference Borgholm Sweden August 21-27 1983 Paperback, Springer
67,140원
Number Theory Noordwijkerhout 1983: Proceedings of the Journees Arithmetiques Held at Noordwijkerhout..., Springer
301,280원
Proof Computation and Agency: Logic at the Crossroads Paperback, Springer
122,080원
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium Kgc''97 Vienna Austria August 25-29 1997 Proceedings Paperback, Springer
Computation Theory and Logic Paperback, Springer
156,780원
Photovoltaic Power Generation: Proceedings of the EC Contractors'' Meeting Held in Hamburg/Pellworm 12-13 July 1983 Paperback, Springer
75,550원
Logic Language Information and Computation: 24th International Workshop Wollic 2017 London UK July 18-21 2017 Proceedings Paperback, Springer
100,780원
Computational Logic and Proof Theory: Third Kurt Godel Colloquium Kgc''93 Brno Czech Republic August 24-27 1993. Proceedings Paperback, Springer
Automata Languages and Programming: Seventh Colloquium Noordwijkerhout the Netherlands July 14-18 1980. Proceedings Paperback, Springer
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto 1987 Paperback, Springer
173,600원
Algebra and Operator Theory: Proceedings of the Colloquium in Tashkent 1997 Paperback, Springer
Proof Computation and Agency: Logic at the Crossroads Hardcover, Springer
78,340원
Category Theory: Proceedings of the International Conference Held in Como Italy July 22-28 1990 Paperback, Springer
Proof Theory of Modal Logic Paperback, Springer
Potential Theory Surveys and Problems: Proceedings of a Conference Held in Prague July 19-24 1987 Paperback, Springer
Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974 Paperback, Springer
Partial Differential Equations: Proceedings of a Symposium Held in Tianjin June 23 - July 5 1986 Paperback, Springer
95,880원
Group Theoretical Methods in Physics: Proceedings of the IX International Colloquium Held at Cocoyoc Mexico June 23-27 1980 Paperback, Springer
Feynman Path Integrals: Proceedings of the International Colloquium Held in Marseille May 1978 Paperback, Springer
Resource Management: Proceedings of the Second Ralf Yorque Workshop Held in Ashland Oregon July 23-25 1984 Paperback, Springer
The Semantics and Proof Theory of the Logic of Bunched Implications Paperback, Springer
Theorie Du Potentiel: Proceedings of the Colloque Jaques Deny Held at Orsay June 20-23 1983 Paperback, Springer
Complex Analysis - Fifth Romanian-Finnish Seminar. Proceedings of the Seminar Held in Bucharest June 28 - July 3 1981: Part 2 Paperback, Springer
Numerical Analysis: Proceedings of the 10th Biennial Conference Held at Dundee Scotland June 28 - July 1 1983 Paperback, Springer
Logic Colloquium: Symposium on Logic Held at Boston 1972-73 Paperback, Springer
234,080원
Hybrid Logic and Its Proof-Theory Paperback, Springer
Number Theory: Proceedings of the Journees Arithmetiques Held in Ulm Frg September 14-18 1987 Paperback, Springer
Proof Theory of Modal Logic Hardcover, Springer
107,080원
Iutam Symposium on Dynamics of Slender Vortices: Proceedings of the Iutam Symposium Held in Aachen Ge..., Springer
256,480원
Domain Theory Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory Sichuan China October 2001 Hardcover, Springer
Stochastic Processes and Their Applications: Proceedings of the International Conference Held in Nagoya July 2-6 1985 Paperback, Springer
The Hydrogen Atom: Proceedings of the Symposium Held in Pisa Italy June 30-July 2 1988 Paperback, Springer
Global Differential Geometry and Global Analysis: Proceedings of the Colloquium Held at the Technical ..., Springer
138,880원
Computation Engineering: Applied Automata Theory and Logic Paperback, Springer
44,780원
Groups - Korea 1983: Proceedings of a Conference on Combinatorial Group Theory Held at Kyoungju Korea August 26-31 1983 Paperback, Springer
The Semantics and Proof Theory of the Logic of Bunched Implications Hardcover, Springer
158,080원
Proof and Computation Paperback, Springer
46,520원
Spectral Theory and Differential Equations: Proceedings of the Symposium Held at Dundee Scotland July 1-19 1974 Paperback, Springer
Semigroups. Theory and Applications: Proceedings of a Conference Held in Oberwolfach Frg Feb. 23 - Mar. 1 1986 Paperback, Springer
Probability Theory and Mathematical Statistics: Proceedings of the Fifth Japan-USSR Symposium Held in Kyoto Japan July 8-14 1986 Paperback, Springer
Stochastic Analysis and Applications: Proceedings of the International Conference Held in Swansea April 11-15 1983 Paperback, Springer
Algebraic and Geometric Topology: Proceedings of a Conference Held at Rutgers University New Brunswick USA July 6-13 1983 Paperback, Springer
Probability Theory on Vector Spaces III: Proceedings of a Conference Held in Lublin Poland August 24-31 1983 Paperback, Springer
210,670원
Hybrid Logic and Its Proof-Theory Hardcover, Springer
Computational Methods and Function Theory: Proceedings of a Conference Held in Valparaiso Chile March 13-18 1989 Paperback, Springer
67,180원
Automata Languages and Programming: 2nd Colloquium University of Saarbr Cken July 29 - August 2 1974. Proceedings Paperback, Springer
51,400원
(영문도서) Proof Theory and Algebra in Logic Paperback, Springer, English, 9789811379963
52,980원
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian France July 2-4 1979 Paperback, Springer
Problems of Solar and Stellar Oscillations: Proceedings of the 66th Iau Colloquium Held at the Crimean..., Springer
Universal Algebra and Lattice Theory: Proceedings of a Conference Held at Charleston July 11-14 1984 Paperback, Springer
201,580원
Systems Control Modeling and Optimization: Proceedings of the 22nd Ifip Tc7 Conference Held from July 18-22 2005 in Turin Italy Paperback, Springer
155,680원
Stochastic Models in Reliability Theory: Proceedings of a Symposium Held in Nagoya Japan April 23-24 1984 Paperback, Springer
Group Theoretical Methods in Physics: Proceedings of the Xith International Colloquium Held at Boğ..., Springer
Filtering and Control of Random Processes: Proceedings of the E.N.S.T.-C.N.E.T. Colloquium Paris France February 23-24 1983 Paperback, Springer
RAM Accelerators: Proceedings of the Third International Workshop on RAM Accelerators Held in Sendai Japan 16-18 July 1997 Paperback, Springer
74,640원
Graph Transformation: 8th International Conference Icgt 2015 Held as Part of Staf 2015 L''Aquila Italy July 21-23 2015. Proceedings Paperback, Springer
Advances in Fluid Mechanics: Proceedings of a Conference Held at Aachen March 26-28 1980 Paperback, Springer
Stochastic Processes in Epidemic Theory: Proceedings of a Conference Held in Luminy France October 23-29 1988 Paperback, Springer
Infinity in Logic and Computation Paperback, Springer
Differential Equations in Banach Spaces: Proceedings of a Conference Held in Bologna July 2-5 1985 Paperback, Springer
Complex Analysis and Algebraic Geometry: Proceedings of a Conference Held in Gottingen June 25 - July 2 1985 Paperback, Springer
166,880원
Commutative Algebra: Proceedings of a Microprogram Held June 15-July 2 1987 Paperback, Springer
102,080원
Creep in Structures: Colloquium Held at Stanford University California July 11-15 1960 Paperback, Springer
First European Simulation Congress Esc 83: Aachen September 12-16 1983 Proceedings Paperback, Springer
Measure Theory Oberwolfach 1979: Proceedings of the Conference Held at Oberwolfach Germany July 1-7 1979 Paperback, Springer
168,080원
Production Theory: Proceedings of an International Seminar Held at the University at Karlsruhe May - July 1973 Paperback, Springer
Geometries and Groups: Proceedings of a Colloquium Held at the Freie Universitat Berlin May 1981 Paperback, Springer
Computation Engineering: Applied Automata Theory and Logic Hardcover, Springer
Differential Topology and Geometry: Proceedings of the Colloquium Held at Dijon 17-22 June 1974 Paperback, Springer
302,480원
The Dynamics of Judicial Proof: Computation Logic and Common Sense Paperback, Physica-Verlag
141,780원
Flares and Flashes: Proceedings of the Iau Colloquium No. 151 Held in Sonneberg Germany 5-9 December 1994 Paperback, Springer
Logic Language Information and Computation: 15th International Workshop WoLLIC 2008 Edinburgh UK July 1-4 2008 Proceedings Paperback, Springer
80,640원
Algorithmic Game Theory: 6th International Symposium Sagt 2013 Aachen Germany October 21-23 2013 Proceedings Paperback, Springer
Misspecification Analysis: Proceedings of a Workshop Held in Groningen the Netherlands December 15-16 1983 Paperback, Springer
Logic Language Information and Computation: 17th International Workshop Wollic 2010 Brasilia Brazil July 6-9 2010 Proceedings Paperback, Springer
Geometry and Differential Geometry: Proceedings of a Conference Held at the University of Haifa Israel March 18-23 1979 Paperback, Springer
System Modeling and Optimization: Proceedings of the 22nd Ifip Tc7 Conference Held From July 18-22 2005 Turin Italy Paperback, Springer
Advances in Optimization: Proceedings of the 6th French-German Colloquium on Optimization Held at Lambrecht Frg June 2-8 1991 Paperback, Springer
290,080원
Stochastic Theory and Control: Proceedings of a Workshop Held in Lawrence Kansas Paperback, Springer
The Technological Imperative in Medicine: Proceedings of a Totts Gap Colloquium Held June 15-17 1980 ..., Springer
Advances in Equilibrium Theory: Proceedings of the Conference on General Equilibrium Theory Held at In..., Springer
Algebraic Geometry Sitges (Barcelona) 1983: Proceedings of a Conference Held in Sitges (Barcelona) Spain October 5-12 1983 Paperback, Springer
Eruptive Solar Flares: Proceedings of Colloquium No. 133 of the International Astronomical Union Held ..., Springer
Chiral Dynamics: Theory and Experiment: Proceedings of the Workshop Held at Mit Cambridge Ma USA 25-29 July 1994 Paperback, Springer
178,080원
Advances in Turbulence VI: Proceedings of the Sixth European Turbulence Conference Held in Lausanne Switzerland 2-5 July 1996 Paperback, Springer
Complex Analysis Microlocal Calculus and Relativistic Quantum Theory: Proceedings of the Colloquium H..., Springer
Complex Analysis - Fifth Romanian-Finnish Seminar. Proceedings of the Seminar Held in Bucharest June 28 - July 3 1981: Part 1 Paperback, Springer