-

Ô¤¶© Types and Programming Languages Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó3-4ÖÜ×óÓÒ·¢»õ£¡
¥1098
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Pierce, Benjamin C. /2020-01-01 /MIT Press Ltd
-

¡¾Ô¤¶©¡¿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)
-
![3-6ÖÜ´ï Theories of Programming Languages [ISBN:9780521594141]](images/model/guan/url_none.png)
3-6ÖÜ´ï Theories of Programming Languages [ISBN:9780521594141] ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö
¥820.00
ÊéÖ®Ô´ÍâÎÄͼÊé
John C. Reynolds /1998-12-10 /Cambridge University Press
-

¡¾3-6ÖÜ´ï¡¿Data Structure Programming: With the Standard Templat ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥774.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Bergin, Joseph /2012-10-23 /Springer
-

3-6ÖÜ´ï Constraint Programming and Large Scale Discrete Optimi ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö
¥946.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Eugene C. Freuder^^Richard J. Wallace /2001-02-28 /American Mathematical Society (AMS)
-

º£ÍâÖ±¶©A Practical Theory of Programming ʵÓóÌÐòÉè¼ÆÀíÂÛ
¥588.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Hehner, Eric C. R. /2012-09-02 /Springer
-

Ô¤¶© 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
-

3-6ÖÜ´ï Mastering ROS for Robotics Programming: Design, build, ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö
¥777.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Joseph,Lentin /2015-12-21 /Packt Publishing
-

¡¾Ô¤¶©¡¿A Practical Theory of Programming ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡
¥548.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Eric C.R. Hehner /1988-08-08 /Springer-Verlag New YorkInc.
-

Ô¤¶©Practical UML Statecharts in C/C++:Event-Driven Programmin Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥804.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Samek, Miro /2008-11-10 /Elsevier Science & Technology
-

º£ÍâÖ±¶©Practical UML Statecharts in C/C++: Event-Driven Program
¥672.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Samek, Miro /2008-04-30 /CRC Press
-

º£ÍâÖ±¶©Principles and Practice of Constraint Programming - CP 2
¥1033
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Gent, Ian P. /2009-09-06 /Springer
-

º£ÍâÖ±¶©Theories of Programming Languages ³ÌÐòÉè¼ÆÓïÑÔÀíÂÛ
¥785.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Reynolds, John C. /2009-02-04 /Cambridge University Press
-

¡¾3-6ÖÜ´ï¡¿Programming Fundamentals: A Modular Structured Approa ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥745.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Busbee, Kenneth Leroy /2018-01-07 /Samurai Media Limited
-

º£ÍâÖ±¶©Principles and Practice of Constraint Programming - Cp 2
¥1025
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
2004-09-12 /Springer
-

º£ÍâÖ±¶©Programming for Engineers: A Foundational Approach to Le
¥480.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
2013-11-28 /Springer
-

¡¾Ô¤ÊÛ °´ÐèÓ¡Ë¢¡¿Computer System and Programming fundamentals in C
¥1006.4
ÖÐͼͼÊéÆì½¢µê
Marpe Sora /2020-12-28 /KS OmniScriptum Publishing
-

¡¾3-6ÖÜ´ï¡¿Systems Programming in Unix/Linux [ISBN:9783030064297 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥674.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Wang, K. C. /2019-01-25 /Springer
-

º£ÍâÖ±¶©Principles and Practice of Constraint Programming - Cp'9
¥553.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Freuder, Eugene C. /1996-08-06 /Springer
-

Ô¤¶© Introduction to the Art of Programming Using Scala [ISBN: ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚ
¥1210
ÊéÖ®Ô´ÍâÎÄͼÊé
Lewis, Mark C. /2000-01-01 /CRC Press
-

3-6ÖÜ´ï Mastering Embedded Linux Programming: Harness the powe ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö
¥700.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Simmonds,Chris /2015-12-29 /Packt Publishing
-

Ô¤¶© Agile Software Development with C#, Scrum, Extreme Progra ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ
¥988.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Smith, Lynn(×÷Õß) /Independently Published
-

3-6ÖÜ´ï Computational Logic: Logic Programming and Beyond: Ess ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö
¥1284
ÊéÖ®Ô´ÍâÎÄͼÊé
Kakas, A. C. /2002-07-12 /Springer
-

3-6ÖÜ´ï Programming 32-Bit Microcontrollers in C: Exploring th ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö
¥769.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Di Jasio, Lucio /2008-04-17 /Newnes
-

¡¾Ô¤ÊÛ °´ÐèÓ¡Ë¢¡¿Learning Object-Oriented Programming
¥600.10
ÖÐͼͼÊéÆì½¢µê
Gast¨®n C. Hillar /2015-07-19 /Packt Publishing
-

º£ÍâÖ±¶©Advanced Topics in Types and Programming Languages ÀàÐͺͱà³Ì
¥1149
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Pierce, Benjamin C. /2024-07-01 /MIT Press
-

¡¾3-6ÖÜ´ï¡¿Programming and Application of a DSP to Control and R ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥1360
ÊéÖ®Ô´ÍâÎÄͼÊé
Ba C., Bar /2014-03-19 /Anchor Academic Publishing
-

3-6ÖÜ´ï Maya Programming with Python Cookbook: Master complex ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö
¥617.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Herbez,Adrian /2016-07-29 /Packt Publishing
-

3-6ÖÜ´ï Learning Object-Oriented Programming [ISBN:97817852896 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6Öܵ½´ï¹úÄÚºó·¢³ö
¥691.00
ÊéÖ®Ô´ÍâÎÄͼÊé
C. Hillar,Gast¨®n /2015-07-19 /Packt Publishing
-

º£ÍâÖ±¶©Computational Logic: Logic Programming and Beyond: Essay
¥1033
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Kakas, A. C. /2002-07-11 /Springer
-

¡¾3-6ÖÜ´ï¡¿Game Programming with Unity and C# [ISBN:978148429719 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥626.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Casey Hardman /2023-12-30 /Apress
-

Ô¤¶© ¹¤³ÌʦÓë¿ÆÑ§¼ÒµÄµç×Ó±í¸ñÎÊÌâ½â¾ö·½°¸Óë±à³ÌSpreadsheet Problem Solving and Prog ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚ
¥1365
ÊéÖ®Ô´ÍâÎÄͼÊé
Clough,David E.;Chapra,Steven C. /2023-10-19 /CRC Press
-

°´ÐèÓ¡Ë¢Swift 3 Object Oriented Programming Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥605.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Gast¨®n C Hillar /Packt Publishing
-

Ô¤¶©Programming:Principles and Practice Using C++ Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥789.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Stroustrup, Bjarne /2014-05-29 /Pearson Education (US)
-

Types and Programming Languages Ó¢ÎÄÔ°æ ÀàÐͺͳÌÐòÉè¼ÆÓïÑÔ Benjamin C Pi
¥999.00
»ªÑÐÍâÓïÆì½¢µê
Benjamin C Pierce /2002-01-04 /MIT Press
-

º£ÍâÖ±¶©Introduction to Programming and Problem-Solving Using Sc
¥817.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Lewis, Mark C. /2016-08-23 /CRC Press
-

Ô¤¶© Computational Thinking and Social Science: Combining Prog ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ
¥1057
Öйú½ø¿ÚͼÊéÆì½¢µê
Matti Nelimarkka /2022-11-30 /Sage
-

°´ÐèÓ¡Ë¢Learning Object-Oriented Programming Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥706.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Gast¨®n C. Hillar /Packt Publishing
-

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
-

º£ÍâÖ±¶©Logic Programming: 17th International Conference, Iclp 2
¥553.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Codognet, Philippe /2001-11-13 /Springer
-

º£ÍâÖ±¶©Linux System Programming: Talking Directly to the Kernel
¥574.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Love, Robert /2013-06-17 /O'Reilly Media
-

º£ÍâÖ±¶©Introduction To Windows And Graphics Programming... Wind
¥874.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Mayne, Roger W /2015-07-23 /World Scientific Publishing Co Pte Ltd
-

¡¾3-6ÖÜ´ï¡¿Computer System and Programming fundamentals in C [IS ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥1021
ÊéÖ®Ô´ÍâÎÄͼÊé
Sora, Marpe /2020-12-28 /LAP Lambert Academic Publishing
-

¡¾3-6ÖÜ´ï¡¿Real-World Functional Programming: With Examples in F ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥641.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Petricek Tomas /2010-01-01 /Manning Publications
-

¡¾Ô¤¶©¡¿Invitation to Linear Programming and Game Theory 9781108 ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡
Product Details »ù±¾ÐÅÏ¢ ISBN-13 ÊéºÅ 9781108700023 Author ×÷Õß David C. Vella Format °æ±¾ ƽװ-½º¶© Pages Number Ò³Êý 450Ò³ Publisher ³ö°æÉç Cambridge University Press Publication Date ³ö°æÈÕÆÚ 2021-11-03 Product Dimensions ÉÌÆ·³ß´ç 9.61 x 6.69 x 1.09 Shipping Weight ÉÌÆ·ÖØÁ¿ 1.88 Language ÓïÖÖ ÆäËü£¨º¬¶àÓ Book Contents ÄÚÈݼò½é Written in a conversational tone, this classroom-tested text introduces the fundamentals of linear programming and game theory, showing readers how to apply serious mathematics to practical real-life questions by modelling linear optimization problems and strategic games. The treatment of linear programming includes two distinct graphical methods. The game theory chapters include a novel proof of the minimax theorem for 2x2 zero-sum games. In addition to zero-sum games, the text presents variable-sum games, ordinal games, and n-player games as the na
¥605.00
Öйú½ø¿ÚͼÊéÆì½¢µê
David C. Vella /2021-11-03 /Cambridge University Press
-

º£ÍâÖ±¶©Introduction to Scientific Programming: Computational Pr
¥594.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Zachary, Joseph L. /2014-02-21 /Springer
-

¡¾Ô¤¶©¡¿Concurrent Programming ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡
¥506.00
Öйú½ø¿ÚͼÊéÆì½¢µê
C. R. Snow /1988-08-08 /Cambridge UniversityPress
-

°´ÐèÓ¡Ë¢Programming and Application of a DSP to Control and Regu Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥638.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Bar Ba C. /Anchor Academic Publishing
-

¡¾Ô¤¶©¡¿The Denotational De*ion of Programming Languages: An Int ÃÀ¹ú¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡
¥548.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Gordon, Michael J. C. /1984-02-28 /Springer
-

º£ÍâÖ±¶©Integer Programming and Related Areas: A Classified Bibl
¥1033
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Kastning, C. /1976-06-30 /Springer
-

º£ÍâÖ±¶©Principles and Practice of Constraint Programming - Cp 2
¥1033
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Milano, Michela /2012-08-30 /Springer
-

º£ÍâÖ±¶©Concepts in Programming Languages ±à³ÌÓïÑÔÖеĸÅÄî
¥945.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Mitchell, John C. /2002-10-13 /Cambridge University Press
-

¡¾3-6ÖÜ´ï¡¿Programming Languages and Systems [ISBN:9783030644369 ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥585.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Bruno C. d. S. Oliveira /2020-11-27 /Springer International Publishing
-

º£ÍâÖ±¶©Real-World Implementation of C# Design Patterns: Overcom
¥569.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
, Bruce M. Van Horn, II /2022-10-13 /Packt Publishing
-

¡¾3-6ÖÜ´ï¡¿Network Programming in .Net: With C# and Visual Basic ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥1231
ÊéÖ®Ô´ÍâÎÄͼÊé
Reid, Fiach /2004-06-11 /Digital Press
-

¡¾3-6ÖÜ´ï¡¿Generalized Nash Equilibrium Problems, Bilevel Progra ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥1013
ÊéÖ®Ô´ÍâÎÄͼÊé
Aussel, Didier, Lalitha, C. S. /2018-12-09 /Springer
-

Ô¤¶© ¸ß±»ÒýIntroduction to the Art of Programming Using Scala [IS ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã5-8ÖÜ×óÓÒµ½¹úÄÚ
¥2385
ÊéÖ®Ô´ÍâÎÄͼÊé
Lewis, Mark C /2017-07-27 /CRC Press
-

¡¾3-6ÖÜ´ï¡¿Fuzzy Mathematical Programming and Fuzzy Matrix Games ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥1684
ÊéÖ®Ô´ÍâÎÄͼÊé
2005-01-19 /Springer