110,880원

Algebra and Coalgebra in Computer Science: 4th International Conference CALCO 2011 Winchester UK A..., Springer

144,480원

Algebra and Coalgebra in Computer Science: First International Conference CALCO 2005 Swansea UK September 3-6 2005 Proceedings Paperback, Springer

역대최저가

86,960원

Algebra and Coalgebra in Computer Science: 5th International Conference Calco 2013 Warsaw Poland September 3-6 2013 Proceedings Paperback, Springer

144,480원

Computer Algebra in Scientific Computing: 10th International Workshop Casc 2007 Bonn Germany September 16-20 2007 Proceedings Paperback, Springer

246,380원

Dynamics in Logistics: First International Conference LDIC 2007 Bremen Germany August 2007. Proceedings Paperback, Springer

267,680원

Computer Analysis of Images and Patterns: 12th International Conference CAIP 2007 Vienna Austria August 27-29 2007 Proceedings Paperback, Springer

210,670원

Dynamics in Logistics: First International Conference LDIC 2007 Bremen Germany August 2007. Proceedings Hardcover, Springer

80,640원

Deontic Logic in Computer Science: 11th International Conference Deon 2012 Bergen Norway July 16-18 2012 Proceedings Paperback, Springer

133,280원

Advances in Computer Systems Architecture: 12th Asia-Pacific Conference ACSAC 2007 Seoul Korea August 23-25 2007 Proceedings Paperback, Springer

144,480원

Artificial Immune Systems: 6th International Conference ICARIS 2007 Santos Brazil August 26-29 2007 Proceedings Paperback, Springer

144,480원

Static Analysis: 14th International Symposium SAS 2007 Kongens Lyngby Denmark August 22-24 2007 Proceedings Paperback, Springer

200,480원

Embedded and Ubiquitous Computing: International Conference EUC 2007 Taipei Taiwan December 17-20 2007 Proceedings Paperback, Springer

166,880원

Advanced Information Systems Engineering: 19th International Conference CAiSE 2007 Trondheim Norway June 11-15 2007 Proceedings Paperback, Springer

189,280원

Advanced Data Mining and Applications: Third International Conference Adma 2007 Harbin China August 6-8 2007 Proceedings Paperback, Springer

110,880원

Computational Methods in Systems Biology: International Conference Cmsb 2007 Edinburgh Scotland September 20-21 2007 Proceedings Paperback, Springer

155,680원

Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 Proceedings Paperback, Springer

155,680원

Web Engineering: 7th International Conference ICWE 2007 Como Italy July 16-20 2007 Proceedings Paperback, Springer

110,880원

Discovery Science: 10th International Conference DS 2007 Sendai Japan October 1-4 2007. Proceedings Paperback, Springer

133,280원

Business Process Management: 5th International Conference BPM 2007 Brisbane Australia September 24-28 2007 Proceedings Paperback, Springer

100,780원

Human-Computer Interaction: International Workshop Hci 2007 Rio de Janeiro Brazil October 20 2007 Proceedings Paperback, Springer

166,880원

Service-Oriented Computing - Icsoc 2007: Fifth International Conference Vienna Austria September 17-20 2007 Proceedings Paperback, Springer

110,880원

Information Systems Security: Third International Conference ICISS 2007 Delhi India December 16-20 2007 Proceedings Paperback, Springer

267,680원

Euro-Par 2007 Parallel Processing: 13th International Euro-Par Conference Rennes France August 28-31 2007 Proceedings Paperback, Springer

역대최저가

140,680원

Rough Sets and Knowledge Technology: Second International Conference RSKT 2007 Toronto Canada May 14-16 2007 Proceedings Paperback, Springer

110,880원

Ad-Hoc Mobile and Wireless Networks: 6th International Conference ADHOC-NOW 2007 Morelia Mexico September 24-26 2007 Proceedings Paperback, Springer

155,680원

User Modeling 2007: 11th International Conference Um 2007 Corfu Greece July 25-29 2007 Proceedings Paperback, Springer

122,080원

Frontiers in Algorithmics: First Annual International Workshop Faw 2007 Lanzhou China August 1-3 2007 Proceedings Paperback, Springer

200,480원

Stacs 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science Aachen Germany February 22-24 2007 Proceedings Paperback, Springer

155,680원

CONCUR 2007 - Concurrency Theory: 18th International Conference CONCUR 2007 Lisbon Portugal September 3-8 2007 Proceedings Paperback, Springer

155,680원

Logical Foundations of Computer Science: International Symposium LFCS 2007 New York NY USA June 4-7 2007 Proceedings Paperback, Springer

110,880원

Cryptology and Network Security: 6th International Conference CANS 2007 Singapore December 8-10 2007 Proceedings Paperback, Springer

155,680원

UbiComp 2007: Ubiquitous Computing: 9th International Conference UbiComp 2007 Innsbruck Austria September 16-19 2007 Proceedings Paperback, Springer

110,880원

Grid Economics and Business Models: 4th International Workshop Gecon 2007 Rennes France August 28 2007 Proceedings Paperback, Springer

163,080원

Pattern Recognition and Machine Intelligence: Second International Conference PReMI 2007 Kolkata In..., Springer

200,480원

Image Analysis: 15th Scandinavian Conference SCIA 2007 Aalborg Denmark June 10-24 2007 Proceedings Paperback, Springer

178,080원

Advances in Computation and Intelligence: Second International Symposium ISICA 2007 Wuhan China September 21-23 2007 Proceedings Paperback, Springer

70,680원

Topology Via Logic, Cambridge University Press

100,780원

Recht Ex Machina: Formalisierung Des Rechts Im Internet Der Dienste Hardcover, Springer

78,380원

Systementwurf Mit Netzen Paperback, Springer

55,980원

International Symposium on Theoretical Programming Paperback, Springer

252,000원

Semiconductor Materials and Process Technology Handbook Hardcover, William Andrew

109,760원

Latest Advances in Inductive Logic Programming Hardcover, Imperial College Press

65,960원

Basic Proof Theory Paperback, Cambridge University Press

78,380원

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh Pa June 6-8 1983 Paperback, Springer

122,080원

VLSI Design of Neural Networks Paperback, Springer

100,740원

Verification of Sequential and Concurrent Programs Paperback, Springer

100,780원

Combinatorial Algorithms for Integrated Circuit Layout Paperback, Vieweg+teubner Verlag

110,880원

Deduction Systems Paperback, Springer

110,880원

Compositionality Concurrency and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship Paperback, Springer

110,880원

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick UK September 22-23 1988 Paperback, Springer

122,080원

Numbers and Computers Paperback, Springer

122,080원

Algebraic Informatics: 3rd International Conference on Algebraic Informatics Cai 2009 Thessaloniki Greece Mai 19-22 2009 Paperback, Springer

122,080원

Designing Evolutionary Algorithms for Dynamic Environments Hardcover, Springer

133,280원

Many-Valued Logics 2: Automated Reasoning and Practical Applications Hardcover, Springer

155,680원

CONCUR 2006 - Concurrency Theory: 17th International Conference CONCUR 2006 Bonn Germany August 27-30 2006 Paperback, Springer

155,680원

Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation Paperback, Springer

155,680원

Concur 2008 - Concurrency Theory: 19th International Conference Concur 2008 Toronto Canada August 19-22 2008 Proceedings Paperback, Springer

179,180원

Advanced Low-Power Digital Circuit Techniques Paperback, Springer

189,280원

Neural Models and Algorithms for Digital Testing Hardcover, Springer

201,580원

System-On-A-Chip Verification: Methodology and Techniques Paperback, Springer

211,680원

High-Performance Digital VLSI Circuit Design Paperback, Springer

222,880원

Ambient Intelligence: Impact on Embedded System Design Hardcover, Springer

223,980원

VLSI Synthesis of DSP Kernels: Algorithmic and Architectural Transformations Hardcover, Springer

223,980원

Delay Fault Testing for VLSI Circuits Hardcover, Springer

223,980원

Logic Synthesis for Low Power VLSI Designs Hardcover, Springer

230,720원

Reuse Techniques for VLSI Design Hardcover, Springer

234,080원

Noise Analysis of Radio Frequency Circuits Hardcover, Springer

246,380원

Low Power Digital CMOS Design Hardcover, Springer

256,480원

Spectral Techniques in VLSI CAD Paperback, Springer

256,480원

Introduction to VLSI Silicon Devices: Physics Technology and Characterization Paperback, Springer

257,580원

Circuit Synthesis with VHDL Hardcover, Springer

301,280원

Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications Hardcover, Springer