79,300원
(영문도서) Model Checking Synthesis and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of... Paperback, Springer, English, 9783030913830
110,880원
Algorithms and Applications: Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday Paperback, Springer
102,000원
(영문도서) Protocols Strands and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.6... Paperback, Springer, English, 9783030916305
131,720원
Software Services and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement ..., Springer
105,100원
(영문도서) From Database to Cyber Security: Essays Dedicated to Sushil Jajodia on the Occasion of His 70... Paperback, English, 9783030048334, Springer
144,480원
Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday Paperback, Springer
56,200원
A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion... Paperback, Springer
123,280원
Logic Rewriting and Concurrency: Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday Paperback, Springer
84,300원
Treewidth Kernels and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60... Paperback, Springer
100,780원
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Paperback, Springer
117,500원
(영문도서) Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Paperback, Springer, English, 9783319952451
104,840원
The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday Paperback, Springer
75,200원
Logic Language and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Paperback, Springer, English, 9783030620769
67,100원
(영문도서) Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th... Paperback, Springer, English, 9783030873479
Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Paperback, Springer
189,280원
Algebra Meaning and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Paperback, Springer
141,000원
(영문도서) Embedded Cyber-Physical and Iot Systems: Essays Dedicated to Marilyn Wolf on the Occasion o... Hardcover, Springer, English, 9783030169480
85,780원
Computation Cooperation & Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday Paperback, Springer
67,600원
A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion... Hardcover, Springer
106,400원
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Paperback, Springer
91,400원
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th B... Paperback, Springer
80,640원
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday Paperback, Springer
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Paperback, Springer
178,080원
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Paperback, Springer
Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday Paperback, Springer
Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement Paperback, Springer
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday Paperback, Springer
122,080원
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday Paperback, Springer
84,080원
Semantics Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Paperback, Springer
100,380원
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, Springer-Verlag New York Inc
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Paperback, Springer
256,480원
Models and Algorithms for Global Optimization: Essays Dedicated to Antanas Zilinskas on the Occasion of His 60th Birthday Hardcover, Springer
Horizons of the Mind. a Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday Paperback, Springer
Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday Paperback, Springer
83,660원
Languages Alive: Essays Dedicated to Jurgen Dassow on the Occasion of His 65th Birthday, Springer-Verlag New York Inc
224,800원
(영문도서) Discrete Geometry and Symmetry: Dedicated to Károly Bezdek and Egon Schulte on the Occasion o... Paperback, Springer, English, 9783030086978
274,800원
(영문도서) Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 75t... Paperback, Springer, English, 9783030896966
91,840원
Solving Large Scale Learning Tasks. Challenges and Algorithms: Essays Dedicated to Katharina Morik on ..., Springer
119,840원
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday Paperback, Springer
109,100원
(영문도서) Concise Guide to Software Verification: From Model Checking to Annotation Checking Hardcover, Springer, English, 9783031301667
220,400원
(영문도서) Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of His 70t... Paperback, Springer, English, 9783030103347
145,800원
(영문도서) Generalized Functions and Fourier Analysis: Dedicated to Stevan Pilipovic on the Occasion of ... Paperback, Birkhauser, English, 9783319847764
251,400원
(영문도서) Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of his 75t... Hardcover, Springer, English, 9783030896935
67,900원
(영문도서) Essays on the Extended Evolutionary Synthesis: Formalizations and Expansions Paperback, Springer, English, 9783031298783
79,600원
(영문도서) Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the... Paperback, Springer, English, 9783030014605
252,900원
(영문도서) Automata and Complexity: Essays Presented to Eric Goles on the Occasion of His 70th Birthday Paperback, Springer, English, 9783030925536
234,080원
Logic and Language: Studies Dedicated to Professor Rudolf Carnap on the Occasion of His Seventieth Birthday Paperback, Springer
323,680원
Multiscale Nonlinear and Adaptive Approximation: Dedicated to Wolfgang Dahmen on the Occasion of His 60th Birthday Paperback, Springer
Concurrent Objects and Beyond: Papers Dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Paperback, Springer
Rainbow of Computer Science: Dedicated to Hermann Maurer on the Occasion of His 70th Birthday Paperback, Springer
Model Checking and Artificial Intelligence Paperback, Springer
Topics in Operator Theory and Interpolation: Essays Dedicated to M. S. Livsic on the Occasion of His 70th Birthday Paperback, Birkhauser
22,400원
Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday Paperback, College Publications
Model Checking Software Paperback, Springer
243,100원
(영문도서) Automata and Complexity: Essays Presented to Eric Goles on the Occasion of His 70th Birthday Hardcover, Springer, English, 9783030925505
Logic and Language: Studies Dedicated to Professor Rudolf Carnap on the Occasion of His Seventieth Birthday Hardcover, Springer
211,680원
Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday Paperback, Springer
122,700원
(영문도서) The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on... Paperback, Springer, English, 9783031081651
Topics in Discrete Mathematics: Dedicated to Jarik Nesetril on the Occasion of His 60th Birthday Paperback, Springer
112,080원
Form and Strategy in Science: Studies Dedicated to Joseph Henry Woodger on the Occasion of His Seventieth Birthday Paperback, Springer
440,160원
Plasma and the Universe: Dedicated to Professor Hannes Alfven on the Occasion of His 80th Birthday 30 May 1988 Paperback, Springer
21,100원
(영문도서) Metabolism and Function; a Collection of Papers Dedicated to Otto Meyerhof on the Occasion of... Paperback, Hassell Street Press, English, 9781014643483
Verification Model Checking and Abstract Interpretation Paperback, Springer
Operator Theory in Function Spaces and Banach Lattices: Essays Dedicated to A.C. Zaanen on the Occasion of His 80th Birthday Paperback, Birkhauser
236,480원
Topics in Discrete Mathematics: Dedicated to Jarik Nesetril on the Occasion of His 60th Birthday Hardcover, Springer
Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday Hardcover, Springer
Processes Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the..., Springer
140,680원
Rational Continua Classical and New: A Collection of Papers Dedicated to Gianfranco Capriz on the Occasion of His 75th Birthday Paperback, Springer
Arithmetic and Geometry: Papers Dedicated to I.R. Shafarevich on the Occasion of His Sixtieth Birthday Volume I Arithmetic Paperback, Springer
51,520원
Isilc - Proof Theory Symposion: Dedicated to Kurt Schutte on the Occasion of His 65th Birthday. Procee..., Springer
155,680원
Surgical Research: Recent Concepts and Results: Festschrift Dedicated to Walter Brendel on Occasion of His 65th Birthday Paperback, Springer
18,800원
(영문도서) Logic and Language: Studies Dedicated to Professor Rudolf Carnap on the Occasion of His Seven... Paperback, Hassell Street Press, English, 9781013991851
125,200원
(영문도서) From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the O... Paperback, Springer, English, 9783030315139
267,680원
Advances in Mathematical Fluid Mechanics: Dedicated to Giovanni Paolo Galdi on the Occasion of His 60th Birthday Paperback, Springer
425,160원
Plasma and the Universe: Dedicated to Professor Hannes Alfven on the Occasion of His 80th Birthday 30 May 1988 Hardcover, Springer
Unfoldings: A Partial-Order Approach to Model Checking Paperback, Springer
102,080원
Current Topics in Photosynthesis: Dedicated to Professor L.N.M. Duysens on the Occasion of His Retirement Paperback, Springer
32,900원
(영문도서) Metabolism and Function; a Collection of Papers Dedicated to Otto Meyerhof on the Occasion of... Hardcover, Hassell Street Press, English, 9781013990991
200,480원
Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of His 70th Birthday Hardcover, Springer
133,280원
Homological and Computational Methods in Commutative Algebra: Dedicated to Winfried Bruns on the Occasion of His 70th Birthday Hardcover, Springer
182,900원
(영문도서) Encouraging Openness: Essays for Joseph Agassi on the Occasion of His 90th Birthday Paperback, Springer, English, 9783319862200
92,500원
(영문도서) Verification Model Checking and Abstract Interpretation: 25th International Conference Vmc... Paperback, Springer, English, 9783031505232
Cryptography and Security: From Theory to Applications: Essays Dedicated to Jean-Jacques Quisquater on..., Springer
135,650원
Verification Model Checking and Abstract Interpretation, Springer Verlag
256,100원
(영문도서) Exact Methods in the Study of Language and Text: Dedicated to Gabriel Altmann on the Occasion... Hardcover, Walter de Gruyter, English, 9783110193541
Specification Algebra and Software: Essays Dedicated to Kokichi Futatsugi Paperback, Springer
30,600원
(영문도서) Logic and Language: Studies Dedicated to Professor Rudolf Carnap on the Occasion of His Seven... Hardcover, Hassell Street Press, English, 9781013566967
What the Philosophy of Biology Is: Essays Dedicated to David Hull Paperback, Springer
Systems and Software Verification: Model-Checking Techniques and Tools Paperback, Springer
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg Paperback, Springer
95,300원
(영문도서) Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on th... Paperback, Springer, English, 9783031401312
50,380원
25 Years of Model Checking: History Achievements Perspectives Paperback, Springer
102,400원
(영문도서) Models Mindsets Meta: The What the How and the Why Not?: Essays Dedicated to Bernhard Ste... Paperback, Springer, English, 9783030223472
Synthon Model of Organic Chemistry and Synthesis Design Paperback, Springer
240,910원
Advances in Mathematical Fluid Mechanics: Dedicated to Giovanni Paolo Galdi on the Occasion of His 60th Birthday, Springer Verlag
Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday Paperback, Springer