Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof AssistantDatorer & IT, Pappersböcker, Engelska851 kr
Orin Thomas: Exam Ref MS-100 Microsoft 365 Identity and ServicesDatorer & IT, Pappersböcker, Engelska, Häftad324 kr
Jeffrey E F Friedl: Mastering Regular Expressions 3rd EditionDatorer & IT, Pappersböcker, Engelska442 kr
Miguel Morales: Grokking Deep Reinforcement LearningDatorer & IT, Pappersböcker, Engelska, Häftad360 kr
Candace Leiden, Marshall Wilensky: TCP/IP For Dummies 6th EditionDatorer & IT, Pappersböcker, Engelska, Häftad252 kr
F Lazzeri: Machine Learning for Time Series Forecasting with PythonDatorer & IT, Pappersböcker, Engelska426 kr