-
2022-10-29
- 编程
Practical Foundations for Programming Languages
Thistextdevelopsacomprehensivetheoryofprogramminglanguagesbasedontypesystemsandstructuraloperationalsemantics.Languageconceptsarepreciselydefinedbytheirstaticanddynamicseman
-
2022-10-29
- 编程
Haskell Programming from first principles
IamwritingthisbookbecauseIhadahardtimelearningHaskell.Itdoesn'thavetobethatway.I'vespentthelastcoupleyearsactivelyteachingHaskellonlineandinperson.Alongtheway,I
-
2022-10-29
- 编程
Parallel and Concurrent Programming in Haskell
ThisbookcoversthebreadthofHaskell'sdiverseselectionofprogrammingAPIsforconcurrentandparallelprogramming.Itissplitintotwoparts.Thefirstpart,onparallelprogramming,coversthe
-
2022-10-29
- 编程
Programming Kubernetes
WhileKuberneteshasestablisheditselfastheindustrystandardformanagingcontainersandtheirlifecycles,there’sadefiniteneedforgoodpracticesonhowtowritenativeapplications.Thispra
-
2022-10-28
- 编程
The Practice of Programming
WiththesameinsightandauthoritythatmadetheirbookTheUnixProgrammingEnvironmentaclassic,BrianKernighanandRobPikehavewrittenThePracticeofProgrammingtohelpmakeindividualprogr
-
2022-10-28
- 编程
Programming Rust, 2nd Edition
TheRustprogramminglanguageofferstherareandvaluablecombinationofstaticallyverifiedmemorysafetyandlow-levelcontrol.ImagineC++butwithoutdanglingpointers,nullpointerdereferences,
-
2022-10-28
- 编程
Pthreads Programming
POSIXthreads,orpthreads,allowmultipletaskstorunconcurrentlywithinthesameprogram.TheycanshareasingleCPUasprocessesdo,ortakeadvantageofmultipleCPUswhenavailable.Ineither
-
2022-10-28
- 编程
Core Python Programming
AquickguidetoeverythinganyonewouldwanttoknowaboutthesoaringlypopularInternetprogramminglanguage,Python.ProvidesanintroductiontonewfeaturesintroducedinPython1.6,andtopicsc
-
2022-10-27
- 编程
Practical Foundations for Programming Languages
Inthisinnovativebook,ProfessorRobertHarperoffersafreshperspectiveonthefundamentalsofprogramminglanguagesthroughtheuseoftypetheory.Whereasmosttextbooksonthissubjectemphasiz
-
2022-10-27
- 编程
Advanced Programming in the UNIX(R) Environment (2nd Edition)
"StephenRago'supdateisalongoverduebenefittothecommunityofprofessionalsusingtheversatilefamilyofUNIXandUNIX-likeoperatingenvironments.Itremovesobsolescenceandincludesnewerd
