- 
                      º£ÍâÖ±¶©Embedded Software Design and Programming of Multiprocess   ¥1647 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Popovici, Katalin /2010-03-05  /Springer 
- 
                      º£ÍâÖ±¶©A Practical Theory of Programming ³ÌÐòÉè¼ÆÊµÓÃÀíÂÛ   ¥594.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Hehner, Eric C. R. /1993-08-06  /Springer 
- 
                      º£ÍâÖ±¶©Principles and Practice of Constraint Programming - CP 2   ¥1033 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Gent, Ian P. /2009-09-06  /Springer 
- 
                      º£ÍâÖ±¶©Practical UML Statecharts in C/C++: Event-Driven Program   ¥672.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Samek, Miro /2008-04-30  /CRC Press 
- 
                    ![Ô¤¶© Linear Programming Wtih MATLAB [ISBN:9780898716436]](images/model/guan/url_none.png)  Ô¤¶© Linear Programming Wtih MATLAB [ISBN:9780898716436] ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Լ3-6Öܵ½´ï¹úÄÚºó·¢³ö  ¥590.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Ferris,Michael C;Mangasarian,Olvi L;Wrig /2008-01-01  /Society for Industrial and Applied Mathematic 
- 
                      º£ÍâÖ±¶©Theories of Programming Languages ³ÌÐòÉè¼ÆÓïÑÔÀíÂÛ   ¥785.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Reynolds, John C. /2009-02-04  /Cambridge University Press 
- 
                      3-6ÖÜ´ï Mastering ROS for Robotics Programming: Design, build, ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö  ¥777.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Joseph,Lentin /2015-12-21  /Packt Publishing 
- 
                      ¡¾3-6ÖÜ´ï¡¿Linear Programming and Its Applications [ISBN:9783540 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥1684 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé 2007-09-01  /Springer 
- 
                      3-6ÖÜ´ï Parallel Programming and Concurrency with C# 10 and .N ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö  ¥535.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Ashcraft, Alvin /2022-08-31  /Packt Publishing 
- 
                      ¡¾3-6ÖÜ´ï¡¿Computational Logic: Logic Programming and Beyond: Es ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥1941 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Kakas, Antonis C. /2002-07-12  /Springer 
- 
                      ¡¾3-6ÖÜ´ï¡¿Linear and Integer Programming Made Easy [ISBN:978331 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥674.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé T. C. Hu;Andrew B. Kahng /2016-05-13  /Springer International Publishing 
- 
                      ¡¾Ô¤¶©¡¿Theories of Programming Languages ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡  ¥894.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê Reynolds, John C. /1988-08-08  /Cambridge UniversityPress 
- 
                      Types and Programming Languages ÏÖ»õͼÊé  ¥998.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê 
 Pierce, Benjamin C. /1988-08-08  /MIT Press (MA) 
- 
                      ¡¾3-6ÖÜ´ï¡¿Programming Fundamentals: A Modular Structured Approa ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥745.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Busbee, Kenneth Leroy /2018-01-07  /Samurai Media Limited 
- 
                      ¡¾3-6ÖÜ´ï¡¿Data Structure Programming: With the Standard Templat ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥774.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Bergin, Joseph /2012-10-23  /Springer 
- 
                      3-6ÖÜ´ï Learning Object-Oriented Programming [ISBN:97817852896 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö  ¥691.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé C. Hillar,Gast¨®n /2015-07-19  /Packt Publishing 
- 
                      ¡¾3-6ÖÜ´ï¡¿Game Programming with Unity and C# [ISBN:978148429719 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥626.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Casey Hardman /2023-12-30  /Apress 
- 
                      ¡¾3-6ÖÜ´ï¡¿Automata, Languages and Programming: 30th Internation ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥585.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Baeten, Jos C. M., Lenstra, Jan Karel, P /2003-06-25  /Springer 
- 
                      Ô¤¶© Programming for Chemical Engineers Using C, C++, and Matl ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö  ¥1142 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Kapuno, R. /2000-01-01  /Jones & Bartlett Publishers 
- 
                      Ô¤¶© Mylab Programming with Pearson Etext -- Access Code Card ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö  ¥1049 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Deitel, Paul J. /2016-07-25  /Pearson 
- 
                      ¡¾3-6ÖÜ´ï¡¿Programming Basics: Getting Started with Java, C#, an ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥674.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Ciesla, Robert /2021-09-25  /Apress 
- 
                      Ô¤¶© Introductory Programming with Simple Games: Using Java an ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ10-12ÖÜ×óÓÒµ½¹úÄÚ  ¥2101 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé 2010-03-29  /Wiley 
- 
                      ¡¾3-6ÖÜ´ï¡¿Mobile Robot Programming: Adventures in Python and C ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥923.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Br?unl,Thomas /2023-08-01  /Springer 
- 
                      Ô¤¶©Programming:Principles and Practice Using C++ Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡  ¥789.00 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Stroustrup, Bjarne /2014-05-29  /Pearson Education (US) 
- 
                      ¡¾Ô¤¶©¡¿Adaptive Dynamic Programming with Applications in Optima ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡ Product Details »ù±¾ÐÅÏ¢ ISBN-13 ÊéºÅ 9783319508139 Author ×÷Õß Wang, Ding Format °æ±¾ ¾«×° Pages Number Ò³Êý 594Ò³ Publisher ³ö°æÉç Springer International Publishing Publication Date ³ö°æÈÕÆÚ 2017-02-15 Language ÓïÖÖ Ó¢Óï Book Contents ÄÚÈݼò½é This book covers the most recent developments in adaptive dynamic programming (ADP). The text begins with a thorough background review of ADP making sure that readers are sufficiently familiar with the fundamentals. In the core of the book, the authors address first discrete- and then continuous-time systems. Coverage of discrete-time systems starts with a more general form of value iteration to demonstrate its convergence, optimality, and stability with complete and thorough theoretical analysis. A more realistic form of value iteration is studied where value function approximations are assumed to have finite errors. Adaptive Dynamic Programming also details another avenue of the AD  ¥2519 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê Wang, Ding /2017-02-15  /Springer International Publishing 
- 
                    ![3-6ÖÜ´ï Concepts in Programming Languages [ISBN:9780521780988]](images/model/guan/url_none.png)  3-6ÖÜ´ï Concepts in Programming Languages [ISBN:9780521780988] ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö  ¥832.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Mitchell, John C. /2002-11-14  /Cambridge University Press 
- 
                      Ô¤¶© Programming Fundamentals: A Modular Structured Approach U ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ  ¥499.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê Kenneth Leroy Busbee /2009-09-30  /University Press of Florida 
- 
                      3-6ÖÜ´ï Maya Programming with Python Cookbook: Master complex ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö  ¥617.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Herbez,Adrian /2016-07-29  /Packt Publishing 
- 
                      °´ÐèÓ¡Ë¢Swift 3 Object Oriented Programming Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡  ¥605.00 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Gast¨®n C Hillar  /Packt Publishing 
- 
                      ¡¾Ô¤¶©¡¿Constraint Programming and Large Scale Discrete Optimiza ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡ Product Details »ù±¾ÐÅÏ¢ ISBN-13 ÊéºÅ 9780821827109 Author ×÷Õß Eugene C. Freuder Format °æ±¾ ¾«×° Pages Number Ò³Êý 175Ò³ Publisher ³ö°æÉç American Mathematical Society (AMS) Publication Date ³ö°æÈÕÆÚ 2001-02-27 Language ÓïÖÖ Ó¢Óï Book Contents ÄÚÈݼò½é Constraint programming has become an important general approach for solving hard combinatorial problems that occur in a number of application domains, such as scheduling and configuration. This volume contains selected papers from the workshop on Constraint Programming and Large Scale Discrete Optimization held at DIMACS. It gives a sense of state-of-the-art research in this field, touching on many of the important issues that are emerging and giving an idea of the major current trends. Topics include new strategies for local search, multithreaded constraint programming, specialized constraints that enhance consistency processing, fuzzy represe  ¥869.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê Eugene C. Freuder /2001-02-27  /American Mathematical Society (AMS) 
- 
                      Ô¤¶© ¹¤³ÌʦÓë¿ÆÑ§¼ÒµÄµç×Ó±í¸ñÎÊÌâ½â¾ö·½°¸Óë±à³ÌSpreadsheet Problem Solving and Prog ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚ  ¥1365 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Clough,David E.;Chapra,Steven C. /2023-10-19  /CRC Press 
- 
                      ¡¾3-6ÖÜ´ï¡¿Real-World Functional Programming: With Examples in F ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥641.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Petricek Tomas /2010-01-01  /Manning Publications 
- 
                      ÏÖ»õ Ó¢ÎÄÔ°æ Types and Programming Languages (Mit Press) [ISBN:97 ½ø¿ÚÔ°æÍ¼Ê飬ÏÖ»õËÙ·¢  ¥988.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Benjamin C. Pierce /2002-02-01  /The MIT Press 
- 
                      ¡¾3-6ÖÜ´ï¡¿Computer System and Programming fundamentals in C [IS ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥1021 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Sora, Marpe /2020-12-28  /LAP Lambert Academic Publishing 
- 
                      Ô¤¶© Agile Software Development with C#, Scrum, Extreme Progra ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ  ¥988.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê Smith, Lynn(×÷Õß)  /Independently Published 
- 
                      º£ÍâÖ±¶©Principles and Practice of Constraint Programming - Cp 2   ¥1033 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Van Beek, Peter /2005-09-21  /Springer 
- 
                      °´ÐèÓ¡Ë¢Learning Object-Oriented Programming Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡  ¥706.00 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Gast¨®n C. Hillar  /Packt Publishing 
- 
                      ¡¾3-6ÖÜ´ï¡¿Systems Programming in Unix/Linux [ISBN:9783030064297 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥674.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Wang, K. C. /2019-01-25  /Springer 
- 
                      Ô¤¶© Introduction to the Art of Programming Using Scala [ISBN: ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚ  ¥1210 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Lewis, Mark C. /2000-01-01  /CRC Press 
- 
                      ¡¾3-6ÖÜ´ï¡¿Generalized Nash Equilibrium Problems, Bilevel Progra ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥1013 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Aussel, Didier, Lalitha, C. S. /2018-12-09  /Springer 
- 
                      °´ÐèÓ¡Ë¢Programming and Application of a DSP to Control and Regu Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡  ¥638.00 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Bar Ba C.  /Anchor Academic Publishing 
- 
                      ¡¾3-6ÖÜ´ï¡¿A Practical Theory of Programming [ISBN:9781461264446 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥585.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Hehner, Eric C. R. /2012-09-03  /Springer 
- 
                      ¡¾Ô¤¶©¡¿A Practical Theory of Programming ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡  ¥548.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê Eric C.R. Hehner /1988-08-08  /Springer-Verlag New YorkInc. 
- 
                      ¡¾Ô¤ÊÛ °´ÐèÓ¡Ë¢¡¿Web Programming ASP.Net 2.0 with C# and Visual Stud ±±¾©·¢»õ£¬¸¶¿îºó10ÌìÄÚ·¢»õ  ¥531.50 
                        
                        ÖÐͼͼÊéÆì½¢µê John Low /1970-08-21  /Lulu Press 
- 
                      Ô¤¶© Invitation to Linear Programming and Game Theory Ô¤¶©ÉÌÆ·  ¥1075 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê David C. Vella /2021-11-03  /Cambridge University 
- 
                      ¡¾Ô¤¶©¡¿Linear Programming and Its Applications Y9783642092848 ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡  ¥1643 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê H.A. Eiselt,C.L.Sandblom /1988-08-08  /Springer-Verlag Berlin andHeidelberg GmbH Co 
- 
                      Ô¤¶©An Introduction to Python Programming for Scientists and E Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡  ¥834.00 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Lin, Johnny Wei-Bing,Aizenman, Hannah (C /2022-07-07  /Cambridge University Press 
- 
                      º£ÍâÖ±¶©Introduction To Windows And Graphics Programming... Wind   ¥874.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Mayne, Roger W /2015-07-23  /World Scientific Publishing Co Pte Ltd 
- 
                      º£ÍâÖ±¶©Linux System Programming: Talking Directly to the Kernel   ¥574.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Love, Robert /2013-06-17  /O'Reilly Media 
- 
                      °´ÐèÓ¡Ë¢CNC Programming Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡  ¥855.00 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Ramachandra C G  /KS OmniScriptum Publishing 
- 
                      º£ÍâÖ±¶©Principles and Practice of Constraint Programming - Cp 2   ¥1033 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Bessiere, Christian /2007-09-05  /Springer 
- 
                      ¡¾3-6ÖÜ´ï¡¿Systems Programming in Unix/Linux [ISBN:9783319924281 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥1013 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Wang, K. C. /2018-08-13  /Springer 
- 
                      ¡¾3-6ÖÜ´ï¡¿Generative Programming and Component Engineering: 4th ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥585.00 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Gluck, Robert /2005-09-16  /Springer 
- 
                      ¡¾Ô¤ÊÛ °´ÐèÓ¡Ë¢¡¿Computer System and Programming fundamentals in C   ¥1006.4 
                        
                        ÖÐͼͼÊéÆì½¢µê Marpe Sora /2020-12-28  /KS OmniScriptum Publishing 
- 
                      ¡¾ÖÐÉÌÔ°æ¡¿ÀàÐͺͱà³ÌÓïÑԵĸ߼¶Ö÷Ìâ Programming Languages Ó¢ÎÄÔ°æ Benjamin C Pie   ¥700.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Benjamin C. Pierce /2004-12-22  /MIT Press 
- 
                      Ô¤¶© Types and Programming Languages Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó3-4ÖÜ×óÓÒ·¢»õ£¡  ¥1098 
                        
                        ÉϺ£ÍâÎÄÊéµêÆì½¢µê Pierce, Benjamin C. /2020-01-01  /MIT Press Ltd 
- 
                      ¡¾Ô¤¶©¡¿Programming in PROLOG: Using the ISO Standard ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡  ¥766.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê C.S. Mellish,William F.Clocksin /1988-08-08  /Springer-Verlag Berlin andHeidelberg GmbH Co 
- 
                      ¡¾3-6ÖÜ´ï¡¿Generalized Nash Equilibrium Problems, Bilevel Progra ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ  ¥1013 
                        
                        ÊéÖ®Ô´ÍâÎÄͼÊé Aussel,Didier;Lalitha,C. S. /2018-04-13  /Springer 
- 
                      Theories of Programming Languages ÏÖ»õͼÊé  ¥541.00 
                        
                        Öйú½ø¿ÚͼÊéÆì½¢µê John C. Reynolds /1988-08-08  /Cambridge UniversityPress 
- 
                      º£ÍâÖ±¶©Logic Programming: 17th International Conference, Iclp 2   ¥553.00 
                        
                        ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê Codognet, Philippe /2001-11-13  /Springer