-

Types and Programming Languages ÀàÐͺͳÌÐòÉè¼ÆÓïÑÔ Benjamin C Pierce
¥999.00
ÈðÑÅͼÊéרӪµê
Benjamin /2002-01-01 /MIT Press
-

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

ÏÖ»õ Ó¢ÎÄÔ°æ Types and Programming Languages (Mit Press) [ISBN:97 ½ø¿ÚÔ°æÍ¼Ê飬ÏÖ»õËÙ·¢
¥977.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Benjamin C. Pierce /2002-02-01 /The MIT Press
-

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

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

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

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

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

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

¡¾3-6ÖÜ´ï¡¿Real-World Functional Programming: With Examples in F ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥641.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Petricek Tomas /2010-01-01 /Manning Publications
-
![¡¾3-6ÖÜ´ï¡¿CNC Programming [ISBN:9786202530224]](images/model/guan/url_none.png)
¡¾3-6ÖÜ´ï¡¿CNC Programming [ISBN:9786202530224] ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥820.00
ÊéÖ®Ô´ÍâÎÄͼÊé
C G, Ramachandra /2020-04-26 /LAP Lambert Academic Publishing
-

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

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

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)
-

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

Ô¤¶©Types and Programming Languages (The MIT Press) ÀàÐͺͳÌÐòÉè¼ÆÓïÑÔ
¥1098
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Pierce, Benjamin C. /2020-01-01 /MIT Press Ltd
-

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

º£ÍâÖ±¶©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
-

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

3-6ÖÜ´ï Complete Maya Programming: An Extensive Guide to Mel a ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬Ԥ¼Æ3-6ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö
¥806.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Gould, David /2002-12-19 /Morgan Kaufmann Publishers
-

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

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

¡¾Ô¤¶©¡¿Introduction to Programming and Problem-Solving Using Sc ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡
Product Details »ù±¾ÐÅÏ¢ ISBN-13 ÊéºÅ 9781498730952 Author ×÷Õß Lewis Mark C. Format °æ±¾ ƽװ-½º¶© Pages Number Ò³Êý 590Ò³ Publisher ³ö°æÉç Chapman and Hall/CRC Publication Date ³ö°æÈÕÆÚ 2016-08-24 Product Dimensions ÉÌÆ·³ß´ç 9.9 x 7 x 1.2 cm Shipping Weight ÉÌÆ·ÖØÁ¿ 2350g Language ÓïÖÖ Ó¢Óï Book Contents ÄÚÈݼò½é Mark Lewis¡¯ Introduction to the Art of Programming Using Scala was the first textbook to use Scala for introductory CS courses. Scala continues to gain significance among professional developers, and a new edition of this popular textbook is needed to update the book from Scala 2.9 to Scala 2.12. The second edition will be divided into two textbooks. The first volume is designed for CS1 courses and will focus on programming and problem-solving using Scala. The book will be significantly updated throughout to bring the code up-to-date for Scala 2.11 and 2.12.
¥813.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Lewis Mark C. /2016-08-24 /Chapman and Hall/CRC
-

°´ÐèÓ¡Ë¢CNC Programming Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥855.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Ramachandra C G /KS OmniScriptum Publishing
-

¡¾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
-

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

¡¾ÖÐÉÌÔ°æ¡¿ÀàÐͺͱà³ÌÓïÑԵĸ߼¶Ö÷Ìâ Programming Languages Ó¢ÎÄÔ°æ Benjamin C Pie
¥769.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Benjamin C. Pierce /2004-12-22 /MIT Press
-

Ô¤¶© Geometric Programming for Design Equation Development and Ô¤¶©ÉÌÆ·
¥548.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Creese, Robert C.(×÷Õß) /Springer Berlin Heid
-

¡¾Ô¤¶©¡¿Programming The Raspberry Pi Pico In C 9781871962680 ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ£¡
Product Details »ù±¾ÐÅÏ¢ ISBN-13 ÊéºÅ 9781871962680 Author ×÷Õß Fairhead Format °æ±¾ ƽװ-½º¶© Pages Number Ò³Êý 374Ò³ Publisher ³ö°æÉç I/O Press Publication Date ³ö°æÈÕÆÚ 1800-01-01 Product Dimensions ÉÌÆ·³ß´ç 9.25 x 7.50 x 0.77 Shipping Weight ÉÌÆ·ÖØÁ¿ 1.41 Language ÓïÖÖ ÆäËü£¨º¬¶àÓ
¥516.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Fairhead /I/O Press
-

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

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

Ô¤¶© Programming Fundamentals: A Modular Structured Approach U ¹úÍâ¿â·¿·¢»õ£¬Í¨³£¸¶¿îºó3-5Öܵ½»õ
¥499.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Kenneth Leroy Busbee /2009-09-30 /University Press of Florida
-

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

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
¥514.25
ÖÐͼͼÊéÆì½¢µê
Gast¨®n C Hillar /2017-02-27 /Packt Publishing
-
![3-6ÖÜ´ï Theories of Programming Languages [ISBN:9780521106979]](images/model/guan/url_none.png)
3-6ÖÜ´ï Theories of Programming Languages [ISBN:9780521106979] ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚºó·¢³ö
¥698.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Reynolds, John C /2009-04-02 /Cambridge University Press
-

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

¡¾3-6ÖÜ´ï¡¿Accelerator Programming Using Directives: 7th Interna ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥585.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Bhalachandra, Sridutt, Wienke, Sandra, C /2021-06-06 /Springer
-

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

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

¡¾3-6ÖÜ´ï¡¿Extreme Programming and Agile Methods - Xp/Agile Univ ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥585.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Zannier, Carmen /2004-08-03 /Springer
-

¡¾3-6ÖÜ´ï¡¿Getting Started with Advanced C#: Upgrade Your Progra ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥819.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Sarcar,Vaskaran /2020-07-29 /Apress
-

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

Ô¤¶© Game Programming with Unity and C# Ô¤¶©ÉÌÆ·
¥617.00
Öйú½ø¿ÚͼÊéÆì½¢µê
Casey Hardman /2023-12-17 /Apress
-

º£ÍâÖ±¶©Principles and Practice of Constraint Programming - Cp 2
¥1033
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Van Beek, Peter /2005-09-21 /Springer
-

º£ÍâÖ±¶©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
-

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

º£ÍâÖ±¶©Mathematical Foundations of Programming Semantics: 7th I
¥553.00
ÖлªÉÌÎñ½ø¿ÚͼÊéÆì½¢µê
Brookes, Stephen /1992-05-19 /Springer
-

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

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
-

Ô¤¶©The Constitution of Algorithms:Ground-Truthing, Programmin Ô¤¶©£¬Ô¤¼ÆÏµ¥ºó2-3ÖÜ×óÓÒ·¢»õ£¡
¥736.00
ÉϺ£ÍâÎÄÊéµêÆì½¢µê
Jaton, Florian,Bowker, Geoffrey C. /2021-04-27 /MIT Press Ltd
-

Ô¤ÊÛ Ó¢ÎÄÔ¤¶¨ Programming Principles and Practice Using C++ º£ÍâÔ¤¶¨ÉÌÆ·Ô¤¼Æ1-3¸öÔ·¢»õ£¬º£Í⹺·ÇÖÊÁ¿ÎÊÌâ²»½ÓÊÜÍË»õ¡£
¥688.43
ÖÐͼÉϺ£½ø¿ÚͼÊéÆì½¢µê
Stroustrup, Bjarne /2014-04-25 /Prentice Hall
-

¡¾3-6ÖÜ´ï¡¿Mobile Robot Programming: Adventures in Python and C ¡¾È«Çò¹º¡¿½ø¿ÚÔ°æÍ¼Ê飬һ°ã3-6ÖÜ×óÓÒµ½¹úÄÚ
¥923.00
ÊéÖ®Ô´ÍâÎÄͼÊé
Br?unl,Thomas /2023-08-01 /Springer
-

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

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