110,880원
Logic Based Program Synthesis and Transformation: 11th International Workshop Lopstr 2001 Paphos Cy..., Springer
94,080원
Logic-Based Program Synthesis and Transformation: 24th International Symposium Lopstr 2014 Canterbur..., Springer
Logic Program Synthesis and Transformation: 6th International Workshop Lopstr''96 Stockholm Sweden August 28-30 1996 Proceedings Paperback, Springer
144,480원
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops L..., Springer
122,080원
Logic Programming: 17th International Conference Iclp 2001 Paphos Cyprus November 26 - December 1 2001. Proceedings Paperback, Springer
178,080원
Field-Programmable Logic and Applications: 11th International Conference Fpl 2001 Belfast Northern ..., Springer
133,280원
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Fie..., Springer
Inductive Logic Programming: 11th International Conference Ilp 2001 Strasbourg France September 9-11 2001. Proceedings Paperback, Springer
80,640원
Fuzzy Logic and Soft Computing Applications: 11th International Workshop Wilf 2016 Naples Italy De..., Springer
167,980원
Memory-Based Logic Synthesis Paperback, Springer
Rewriting Logic and Its Applications: 11th International Workshop Wrla 2016 Held as a Satellite Even..., Springer
301,280원
Logic Program Synthesis from Incomplete Information Paperback, Springer
84,670원
Logic Language and Computation: 11th International Tbilisi Symposium on Logic Language and Computa..., Springer
155,680원
Computer Science Logic: 11th International Workshop CSL''97 Annual Conference of the Eacsl Aarhus D..., Springer
107,080원
Web Engineering: 11th International Conference Icwe 2011 Paphos Cyprus June 2011 Proceedings Paperback, Springer
78,380원
Economics of Grids Clouds Systems and Services: 8th International Workshop GECON 2011 Paphos Cyp..., Springer
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop Gbrpr 2017..., Springer
166,880원
Computer Science Logic: 15th International Workshop CSL 2001. 10th Annual Conference of the Eacsl Pa..., Springer
118,280원
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Syste..., Springer
179,180원
Logic Synthesis for Fsm-Based Control Units Paperback, Springer
Geometry Morphology and Computational Imaging: 11th International Workshop on Theoretical Foundation..., Springer
Algorithm Engineering and Experimentation: Third International Workshop Alenex 2001 Washington DC ..., Springer
Cryptographic Hardware and Embedded Systems - Ches 2009: 11th International Workshop Lausanne Switzer..., Springer
Enterprise Business-Process and Information Systems Modeling: 11th International Workshop BPMDS 2010..., Springer
Logic Synthesis for FPGA-Based Finite State Machines Hardcover, Springer
Knowledge Management and Acquisition for Smart Systems and Services: 11th International Workshop PKAW..., Springer
Information Search Integration and Personlization: 11th International Workshop Isip 2016 Lyon Fra..., Springer
Enterprise and Organizational Modeling and Simulation: 11th International Workshop Eomas 2015 Held a..., Springer
334,880원
Logic Synthesis and Optimization Paperback, Springer
278,880원
Logic and Architecture Synthesis Hardcover, Springer
Logic Synthesis and Optimization Hardcover, Springer
90,880원
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Compute..., Springer
95,880원
Interactive Systems: Design Specification and Verification: 8th International Workshop Dsv-Is 2001...., Springer
Logic Programming and Nonmonotonic Reasoning: 6th International Conference Lpnmr 2001 Vienna Austri..., Springer
Multimedia Databases and Image Communication: Second International Workshop MDIC 2001 Amalfi Italy ..., Springer
Computer Science Logic: 16th International Workshop CSL 2002 11th Annual Conference of the Eacsl Edinburgh Scotland UK September Paperback, Springer
67,200원
Graphic Recognition. Current Trends and Challenges: 11th International Workshop Grec 2015 Nancy Fra..., Springer
Data Privacy Management and Security Assurance: 11th International Workshop DPM 2016 and 5th Internat..., Springer
Groupware: Design Implementation and Use: 11th International Workshop Criwg 2005 Porto de Galinhas..., Springer
Openmp: Heterogenous Execution and Data Movements: 11th International Workshop on Openmp Iwomp 2015 ..., Springer
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development Paperback, Springer
100,780원
Computational Logic in Multi-Agent Systems: 11th International Workshop CLIMA XI Lisbon Portugal August 16-17 2010 Proceedings Paperback, Springer
119,840원
Digital-Forensics and Watermarking: 11th International Workshop Iwdw 2012 Shanghai China October 3..., Springer
Programming Languages Implementation and Logic Programming: International Workshop Plilp ''88 Orleans ..., Springer
Logic Language Information and Computation: 22nd International Workshop Wollic 2015 Bloomington ..., Springer
89,580원
Semantics Applications and Implementation of Program Generation: Second International Workshop Saig..., Springer
70,800원
(영문도서) Code-Based Cryptography: 11th International Workshop Cbcrypto 2023 Lyon France April 22-2... Paperback, Springer, English, 9783031464942
Functional and Logic Programming: 5th International Symposium Flops 2001 Tokyo Japan March 7-9 2001. Proceedings Paperback, Springer
Deontic Logic Agency and Normative Systems: ?Eon ''96: Third International Workshop on Deontic Logic i..., Springer
Databases in Telecommunications II: Vldb 2001 International Workshop Dbtel 2001 Rome Italy September 10 2001 Proceedings Paperback, Springer
Languages and Compilers for Parallel Computing: 14th International Workshop Lcpc 2001 Cumberland Fal..., Springer
85,780원
Logic Synthesis and Verification Algorithms Paperback, Springer
Web Services Formal Methods and Behavioral Types: 11th International Workshop Ws-FM 2014 Eindhoven..., Springer
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop ASM 2004 ..., Springer
Recent Advances in Constraints: 11th Annual Ercim International Workshop on Constraint Solving and Con..., Springer
88,080원
Advances in Information and Computer Security: 11th International Workshop on Security Iwsec 2016 To..., Springer
Logic Language Information and Computation: 20th International Workshop Wollic 2013 Darmstadt Ge..., Springer
Functional and Constraint Logic Programming: 18th International Workshop WFLP 2009 Brasilia Brazil ..., Springer
Hybrid Systems: Computation and Control: 4th International Workshop Hscc 2001 Rome Italy March 28-30 2001 Proceedings Paperback, Springer
Logic Programming and Knowledge Representation: Third International Workshop Lpkr''97 Port Jefferson ..., Springer
Field-Programmable Logic Smart Applications New Paradigms and Compilers: 6th International Workshop ..., Springer
Logic Language Information and Computation: 21st International Workshop Wollic 2014 Valparaiso C..., Springer
Semantics Applications and Implementation of Program Generation: International Workshop Saig 2000 M..., Springer
Cryptographic Hardware and Embedded Systems - Ches 2001: Third International Workshop Paris France May 14-16 2001 Proceedings Paperback, Springer
Algorithms and Data Structures: 7th International Workshop Wads 2001 Providence Ri USA August 8-10 2001 Proceedings Paperback, Springer
Robot Vision: International Workshop Robvis 2001 Auckland New Zealand February 16-18 2001 Proceedings Paperback, Springer
Policies for Distributed Systems and Networks: International Workshop Policy 2001 Bristol UK January 29-31 2001 Proceedings Paperback, Springer
189,280원
Methodology and Tools in Knowledge-Based Systems: 11th International Conference on Industrial and Engi…, Springer
Electronic Commerce: Second International Workshop Welcom 2001 Heidelberg Germany November 16-17 2001. Proceedings Paperback, Springer
125,700원
Logic Synthesis for Fpga-Based Control Units: Structural Decomposition in Logic Design Paperback, Springer, English, 9783030382971
Generative and Component-Based Software Engineering: Third International Conference GCSE 2001 Erfurt..., Springer
99,840원
Multi-Disciplinary Trends in Artificial Intelligence: 11th International Workshop Miwai 2017 Gadong ..., Springer
129,480원
Advanced Logic Synthesis Hardcover, Springer
Relational Methods in Computer Science: 6th International Conference Relmics 2001 and 1st Workshop of..., Springer
Gesture and Sign Languages in Human-Computer Interaction: International Gesture Workshop GW 2001 Lon..., Springer
234,080원
Sequential Logic Synthesis Hardcover, Springer
Job Scheduling Strategies for Parallel Processing: 11th International Workshop Jsspp 2005 Cambridge ..., Springer
Intelligent Virtual Agents: Third International Workshop Iva 2001 Madrid Spain September 10-11 2001. Proceedings Paperback, Springer
Multiple Classifier Systems: Second International Workshop MCS 2001 Cambridge UK July 2-4 2001 Proceedings Paperback, Springer
Simulation and Synthesis in Medical Imaging: Second International Workshop Sashimi 2017 Held in Conj..., Springer
Algorithms in Bioinformatics: First International Workshop Wabi 2001 Aarhus Denmark August 28-31 2001 Proceedings Paperback, Springer
Information Hiding: 4th International Workshop Ih 2001 Pittsburgh Pa USA April 25-27 2001. Proceedings Paperback, Springer
Computer Vision Systems: Second International Workshop Icvs 2001 Vancouver Canada July 7-8 2001 Proceedings Paperback, Springer
Field-Programmable Logic and Applications: 5th International Workshop Fpl ''95 Oxford United Kingdom..., Springer
67,400원
Theory and Practice of Model Transformation: 11th International Conference Icmt 2018 Held as Part ... Paperback, Springer
Functional and Constraint Logic Programming: 19th International Workshop WFLP 2010 Madrid Spain Ja..., Springer
Logic Language Information and Computation: 14th International Workshop Wollic 2007 Rio de Janeiro..., Springer
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta Malta ..., Springer
Audio- And Video-Based Biometric Person Authentication: Third International Conference Avbpa 2001 Hal..., Springer
312,480원
International Workshop on Evidence-Based Technology Enhanced Learning Paperback, Springer
Mobile Agents for Telecommunication Applications: Third International Workshop Mata 2001 Montreal C..., Springer
Advances in Learning Software Organizations: Third International Workshop Lso 2001 Kaiserslautern G..., Springer
105,280원
Coalgebraic Methods in Computer Science: 11th International Workshop Cmcs 2012 Colocated with Etaps ..., Springer
Evolutionary Trends of the Internet: 2001 Thyrrhenian International Workshop on Digital Communications..., Springer
Job Scheduling Strategies for Parallel Processing: 7th International Workshop Jsspp 2001 Cambridge ..., Springer
Services Management in Intelligent Networks: 11th Ifip/IEEE International Workshop on Distributed Syst..., Springer