ML with Concurrency: Design, Analysis, Implementation, and Application

ยท Springer Science & Business Media
5.0
ื‘ื™ืงื•ืจืช ืื—ืช
ืกืคืจ ื“ื™ื’ื™ื˜ืœื™
255
ื“ืคื™ื
ื”ื‘ื™ืงื•ืจื•ืช ื•ื”ื“ื™ืจื•ื’ื™ื ืœื ืžืื•ืžืชื™ืย ืžื™ื“ืข ื ื•ืกืฃ

ืžื™ื“ืข ืขืœ ื”ืกืคืจ ื”ื“ื™ื’ื™ื˜ืœื™ ื”ื–ื”

Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.

ื“ื™ืจื•ื’ื™ื ื•ื‘ื™ืงื•ืจื•ืช

5.0
ื‘ื™ืงื•ืจืช ืื—ืช

ืจื•ืฆื” ืœื“ืจื’ ืืช ื”ืกืคืจ ื”ื“ื™ื’ื™ื˜ืœื™ ื”ื–ื”?

ื ืฉืžื— ืœืฉืžื•ืข ืžื” ื“ืขืชืš.

ืื™ืš ืงื•ืจืื™ื ืืช ื”ืกืคืจ

ืกืžืืจื˜ืคื•ื ื™ื ื•ื˜ืื‘ืœื˜ื™ื
ื›ืœ ืžื” ืฉืฆืจื™ืš ืœืขืฉื•ืช ื”ื•ื ืœื”ืชืงื™ืŸ ืืช ื”ืืคืœื™ืงืฆื™ื” ืฉืœ Google Play Books ืœ-Android ืื• ืœ-iPad/iPhoneโ€. ื”ื™ื ืžืกืชื ื›ืจื ืช ื‘ืื•ืคืŸ ืื•ื˜ื•ืžื˜ื™ ืขื ื”ื—ืฉื‘ื•ืŸ ืฉืœืš ื•ืžืืคืฉืจืช ืœืš ืœืงืจื•ื ืžื›ืœ ืžืงื•ื, ื’ื ืœืœื ื—ื™ื‘ื•ืจ ืœืื™ื ื˜ืจื ื˜.
ืžื—ืฉื‘ื™ื ื ื™ื™ื“ื™ื ื•ืฉื•ืœื—ื ื™ื™ื
ื ื™ืชืŸ ืœื”ืื–ื™ืŸ ืœืกืคืจื™ ืื•ื“ื™ื• ืฉื ืจื›ืฉื• ื‘-Google Play ื‘ืืžืฆืขื•ืช ื“ืคื“ืคืŸ ื”ืื™ื ื˜ืจื ื˜ ืฉืœ ื”ืžื—ืฉื‘.
eReaders ื•ืžื›ืฉื™ืจื™ื ืื—ืจื™ื
ื›ื“ื™ ืœืงืจื•ื ื‘ืžื›ืฉื™ืจื™ื ืขื ืชืฆื•ื’ืช ื“ื™ื• ืืœืงื˜ืจื•ื ื™ (e-ink) ื›ืžื• ื”ืงื•ืจืื™ื ื”ืืœืงื˜ืจื•ื ื™ื™ื ืฉืœ Kobo, ืฆืจื™ืš ืœื”ื•ืจื™ื“ ืงื•ื‘ืฅ ื•ืœื”ืขื‘ื™ืจ ืื•ืชื• ืœืžื›ืฉื™ืจ. ื™ืฉ ืœืคืขื•ืœ ืœืคื™ ื”ื”ื•ืจืื•ืช ื”ืžืคื•ืจื˜ื•ืช ื‘ืžืจื›ื– ื”ืขื–ืจื” ื›ื“ื™ ืœื”ืขื‘ื™ืจ ืืช ื”ืงื‘ืฆื™ื ืœืงื•ืจืื™ื ืืœืงื˜ืจื•ื ื™ื™ื ื ืชืžื›ื™ื.
ื“ื™ื•ื•ื— ืขืœ ืชื•ื›ืŸ ืœื ื—ื•ืงื™

ืขื•ื“ ืžืืช Flemming Nielsonโ€

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6โ€“11, 2019, Proceedings
Flemming Nielson
ืžื—ืฉื‘ื™ื ื•ื˜ื›ื ื•ืœื•ื’ื™ื”
โ€0ย โ€โ‚ฌ
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Christos Kaklamanis
ืžื—ืฉื‘ื™ื ื•ื˜ื›ื ื•ืœื•ื’ื™ื”
โ€54.49ย โ€โ‚ฌโ€38.14ย โ€โ‚ฌ

ืกืคืจื™ื ื“ื™ื’ื™ื˜ืœื™ื™ื ื“ื•ืžื™ื

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6โ€“11, 2019, Proceedings
Flemming Nielson
ืžื—ืฉื‘ื™ื ื•ื˜ื›ื ื•ืœื•ื’ื™ื”
โ€0ย โ€โ‚ฌ
Composite Mathematics For Class 6
ANUBHUTI GANGAL
โ€54.48ย โ€โ‚ฌโ€38.14ย โ€โ‚ฌ
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Christos Kaklamanis
ืžื—ืฉื‘ื™ื ื•ื˜ื›ื ื•ืœื•ื’ื™ื”
โ€54.49ย โ€โ‚ฌโ€38.14ย โ€โ‚ฌ
Lecture Notes on Graph Theory: Lecture Notes on Graph Theory
Sudev Naduvath
โ€0ย โ€โ‚ฌ