999 Computer Books

1. Essentials of Geographic Information Systems
2. Computer Networks: A Systems Approach
3. The Discipline of Organizing: 4th Professional Edition
4. Information Systems: A Manager's Guide to Harnessing Technology
5. Introduction to the Modeling and Analysis of Complex Systems
6. Pharo By Example 5
7. Introduction to Autonomous Robots
8. AUTOMATE THE BORING STUFF WITH PYTHON
9. Signal Computing: Digital Signals in the Software Domain
10. Computer Networking : Principles, Protocols and Practice
11. Agent-Based Evolutionary Game Dynamics
12. Database Design
13. Spatial Thinking in Planning Practice: An Introduction to GIS
14. Deleting Dystopia: Re-Asserting Human Priorities in the Age of Surveillance Capitalism
15. Operating Systems and Middleware: Supporting Controlled Interaction
16. Deep into Pharo
17. An Introduction to Computer Networks
18. Introduction to Programming Using Java
19. First Semester in Numerical Analysis with Python
20. Graphic Design and Print Production Fundamentals
21. A Tale of Two Systems
22. Think Complexity
23. Information Systems for Business and Beyond
24. An Introduction to Matlab and Mathcad
25. Java, Java, Java Object-Oriented Problem Solving
26. Blueprints: Creating, Describing, and Implementing Designs for Larger-scale Software Projects
27. Introduction to Computer Graphics
28. Introduction To MIPS Assembly Language Programming
29. Delftse Foundations of Computation
30. Defend Dissent: Digital Suppression and Cryptographic Defense of Social Movements
31. How To Code in Python 3
32. A First Course in Electrical and Computer Engineering
33. Digital Circuit Projects: An Overview of Digital Circuits Through Implementing Integrated Circuits
34. The Missing Link: An Introduction to Web Development and Programming
35. Making Games with Python and Pygame
36. The Civilization of Illiteracy
37. The Joy of Cryptography
38. Think DSP: Digital Signal Processing in Python
39. A Byte of Python
40. Relational Databases and Microsoft Access
41. Squeak by Example
42. Algorithms and Data Structures With Applications to Graphics and Geometry
43. The Silicon Jungle
44. Professional Web Accessibility Auditing Made Easy
45. Web Accessibility for Developers
46. High Performance Computing
47. Invent Your Own Computer Games with Python
48. Underground — Hacking, madness and obsession on the electronic frontier
49. Object-Oriented Reengineering Patterns
50. MIPS Assembly Language Programming using QtSpim
51. x86-64 Assembly Language Programming with Ubuntu
52. Think Bayes: Bayesian Statistics Made Simple
53. Programming Fundamentals - A Modular Structured Approach using C++
54. The Jargon File, Version 2.9.10
55. Embedded Controllers Using C and Arduino / 2E
56. Debian GNU/Linux : Guide to Installation and Usage
57. Python for Everybody: Exploring Data Using Python 3
58. Introduction to Statistical Thinking
59. Java with BlueJ Part 2
60. Computer Science I
61. Think Raku: How to Think Like a Computer Scientist
62. Eloquent JavaScript
63. Implementing a One Address CPU in Logisim
64. Python Machine Learning Projects
65. Think Stats: Exploratory Data Analysis in Python
66. Introduction to Programming using Fortran 95/2003/2008
67. Java with BlueJ
68. Think Java: How to Think Like a Computer Scientist
69. Foundations of Computation
70. Open Data Structures: an introduction
71. Hacker Crackdown: Law and Disorder on the Electronic Frontier
72. Combinatorics: an upper-level introductory course in enumeration, graph theory, and design theory
73. Fast Fourier Transforms
74. Big Dummy's Guide to the Internet
75. Physical Modeling in MATLAB
76. A Fortran Program for Elastic Scattering Analyses with the Nuclear Optical Model
77. The Survivors of the Chancellor
78. Producing Open Source Software: How to Run a Successful Free Software Project
79. How to Think Like a Computer Scientist: Learning with Python
80. How to Think Like a Computer Scientist -- C Version
81. Yet Another: Introductory Number Theory Textbook
82. Think C++
83. Think Python: How to Think Like a Computer Scientist
84. The Spec UI framework
85. Think Data Structures: Algorithms and Information Retrieval in Java
86. Zen and the Art of the Internet
87. Programming Languages: Application and Interpretation
88. The Unicode Cookbook for Linguists: Managing writing systems using orthography profiles
89. Hackers, Heroes of the Computer Revolution
90. A Brief History of the Internet
91. IBM 1401 Programming Systems
92. Surfing the Internet
93. Hitchhiker's Guide to the Internet
94. Condensation of Determinants, Being a New and Brief Method for Computing their Arithmetical Values
95. Unmanned Aircraft Systems in the Cyber Domain
96. Understanding Document Accessibility
97. Nature of Geographic Information
98. INVENTORY ANALYTICS
99. A Primer for Computational Biology
100. Business Information Systems: Design an App for That
101. Computer Skills for Theology and Ministry
102. Linux Standard Base Trial Use Specification
103. The Complete FreeBSD
104. A Field Guide to Genetic Programming
105. 55 Ways to Have Fun With Google
106. Managing Reputation in Cyberspace
107. Mystic Microsoft: A Journey of Transformation in the Halls of High Technology
108. Microsoft Excel 2003 Tips'N Tricks
109. The Media in the Network Society
110. Version Control with Subversion
111. Vim Recipes: A cookbook for the Vim text editor
112. Wireless Networking in the Developing World
113. How to Design Programs: An Introduction to Computing and Programming
114. Principles of Computer System Design: An Introduction
115. LOC Workshop on Electronic Texts
116. The Real Cyberpunk Fakebook
117. Children's Internet Protection Act (CIPA) Ruling
118. Radio Shack TRS-80 Expansion Interface: Operator's Manual
119. Preliminary Specifications: Programmed Data Processor Model Three (PDP-3)
120. Digital PDP15 Price List
121. Structure and Interpretation of Computer Programs
122. College Algebra
123. Linear Algebra I
124. Demystifying Internet of Things Security
125. Introduction to Scientific Programming with Python
126. A Practical Introduction to Python Programming
127. Introduction to Modern Algebra
128. Applied Statistics with R
129. Algebra: A Computational Introduction
130. Elementary Algebra
131. How to Think Like a Computer Scientist: Learning with Python 3 (Documentation)
132. The Little Book of Semaphores
133. Notes on Theory of Distributed Systems
134. Notes on Randomized Algorithms
135. Notes on Data Structures and Programming Techniques
136. OpenWorkbook of Cryptology: A project-based introduction to crypto in Python
137. Think OS: A Brief Introduction to Operating Systems
138. Open Data Structures (in pseudocode)
139. The Ordinary Differential Equations Project
140. GAME THEORY
141. The Debian Administrator's Handbook: Debian Buster from Discovery to Mastery
142. OpenIntro Statistics
143. An Introduction to Data Science
144. Hacking the Xbox
145. The GAMEiT handbook
146. The Nature of Code
147. The Digital Rights Movement
148. BASIC INTERNET SECURITY
149. Advanced High School Statistics
150. Mathematics for Computer Science
151. Foundations of Signal Processing
152. Own Your Space -- Keep Yourself and Your Stuff Safe Online
153. Intermediate Algebra
154. Managing Risk and Information Security
155. Precalculus
156. Signal Computing: Digital Signals in the Software Domain
157. Introductory Statistics with Randomization and Simulation
158. CS Unplugged: An enrichment and extension programme for primary-aged students
159. S-BPMIllustrated: A Storybook about Business Process Modeling and Execution
160. Open Government
161. Elementary Differential Equations with Boundary Value Problems
162. Information Systems
163. Math in Society
164. Project Management
165. The Art of Insight in Science and Engineering
166. 500 Lines Or Less: Experienced Programmers Solve Interesting Problems
167. Elementary Differential Equations
168. From Algorithms to Z-Scores: Probabilistic and Statistical Modeling in Computer Science
169. Applied Discrete Structures
170. Pro Git
171. PROJECT MANAGEMENT FOR INSTRUCTIONAL DESIGNERS
172. Applied Combinatorics
173. Resilient web design
174. Free Innovation
175. Bayesian Methods in the Search for MH370
176. The Architecture of Open Source Applications
177. GAMING RHYTHMS: PLAY AND COUNTERPLAY FROM THE SITUATED TO THE GLOBAL
178. Elementary Algorithms
179. Mathematical Reasoning: Writing and Proof
180. CS 473: Algorithms
181. The Architecture of Open Source Applications- Volume II: Structure, Scale, and a Few More Fearless Hacks
182. Introduction To MIPS Assembly Language Programming
183. Opening Science: The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing
184. Single-variable Calculus Problems (and some solutions, too!)
185. Making Servers Work: A Practical Guide to Linux System Administration
186. The Performance of Open Source Applications: Speed, Precision, and a Bit of Serendipity
187. The Second Internet: Reinventing Computer Networking with IPv6
188. Graph Theory: Penn State Math 485 Lecture Notes
189. Lecture notes of CS273: Introduction to the Theory of Computation and CS373: Theory of Computation
190. Problem Solving with Algorithms and Data Structures
191. A First Course in Design and Analysis of Experiments
192. The Coder's Apprentice: Learning Programming with Python 3
193. Notes on Diffy Qs: Differential Equations for Engineers
194. Information Systems for Business and Beyond
195. Software Innovation: Eight work-style heuristics for creative system developers
196. Project Management Skills for All Careers By Project Management Open Resources and TAP-a-PM
197. Introduction to Real Analysis
198. Fundamentals of Electrical Engineering I
199. Business Processes and Information Technology
200. An Introduction to Combinatorics and Graph Theory
201. Introduction to Digital Logic with Laboratory Exercises
202. Cognitive Patterns: Problem-Solving Frameworks for Object Technology
203. Playful identities: the ludification of digital media cultures
204. Stuff Goes Bad: Erlang in Anger
205. Advances in Proof-Theoretic Semantics
206. Statistical inference for data science: A companion to the Coursera Statistical Inference Course
207. Interfaces on Trial 2.0
208. Introductory Business Statistics
209. Introduction to Probability and Statistics Using R
210. Stochastic Multiplayer Games Theory and Algorithms
211. The Ecology of Games: Connecting Youth, Games, and Learning
212. Prealgebra Textbook
213. Notes on Discrete Mathematics
214. The Linux Command Line
215. Lists, Decisions and Graphs With an Introduction to Probability
216. Beginning and Intermediate Algebra
217. Scientific Computing
218. Statistical Analysis with The General Linear Model
219. Introduction to Networking
220. Compiler Design: Theory, Tools, and Examples
221. Discrete Mathematics: An Open Introduction
222. A Spiral Workbook for Discrete Mathematics
223. Lies, Damned Lies, or Statistics: How to Tell the Truth with Statistics
224. Differential Equations
225. Certified Programming with Dependent Types
226. Don't Panic Mobile Developer's Guide to the Galaxy
227. Basic Analysis I: Introduction to Real Analysis, Volume I
228. Programming on Parallel Machines
229. Modeling and Simulation in Python
230. Hacknot
231. Basic Analysis II: Introduction to Real Analysis, Volume II
232. Computer Science Concepts in Scratch (Scratch 1.4)
233. An Introduction to Proofs and the Mathematical Vernacular
234. Reverse Engineering for Beginners
235. Beginning and Intermediate Algebra: Student Solutions Manual
236. The Linux Sysadmins Guide to Virtual Disks: From the Basics to the Advanced
237. Into the Core: A look at Tiny Core Linux
238. The Rook's Guide to C++
239. Introduction to Numerical Methods and Matlab Programming for Engineers
240. Cryptography: Lecture Notes from CS276, Spring 2009
241. Combinatorial Optimization: Exact and Approximate Algorithms
242. Principles of Programming Languages
243. Information Security for Journalists
244. Introduction to Modern Set Theory
245. forallx: An Introduction to Formal Logic
246. Fast Lane to Python: A quick, sensible route to the joys of Python coding
247. Intermediate Algebra Lab Notebook
248. Beginning Algebra Lab Notebook
249. Introductory Statistics
250. Linked Open Data – Creating Knowledge Out of Interlinked Data
251. Subject-Oriented Business Process Management
252. Reinforcement Learning: An Introduction
253. A Programmer's Guide to Data Mining
254. Algorithms
255. Introduction to Web Application development
256. Apache Jakarta Commons
257. Precalculus: An Investigation of Functions
258. GNU/Linux Advanced Administration
259. Scipy Lecture Notes: One document to learn numerics, science, and data with Python
260. Crypto 101
261. Programming Computer Vision with Python
262. APEX Calculus II
263. Introduction to Statistical Thought
264. OpenOffice.org 3 Writer Guide
265. Hadoop Illuminated
266. Understanding the Linux Virtual Memory Manager
267. LINUX QUICK FIX NOTEBOOK
268. Why's (Poignant) Guide to Ruby
269. SOFTWARE AND MIND: The Mechanistic Myth and Its Consequences
270. A Brief Introduction to Neural Networks
271. Iptables Tutorial 1.2.2
272. How To Accelerate Your Internet: A practical guide to Bandwidth Management and Optimisation using Open Source Software
273. The Future of the Internet and How to Stop It
274. Linear Algebra
275. Don't Just Roll The Dice
276. Linear Algebra: Theory And Applications
277. Active Calculus - Multivariable
278. The Rise of Open Source Licensing: A Challenge to the Use of Intellectual Property in the Software Industry
279. Fourier and Wavelet Signal Processing
280. A Gentle Introduction to GIS
281. GNU Octave
282. Self-Service Linux
283. Models of Computation: Exploring the Power of Computing
284. THINKING FORTH: A Language and Philosophy for Solving Problems
285. Introduction to Computing: Explorations in Language, Logic, and Machines
286. Yet Another Calculus Text: A Short Introduction with Infinitesimals
287. Elementary Calculus
288. Hacking Secret Ciphers with Python
289. Introduction to Free Software
290. A Field Guide to Genetic Programming
291. A Computational Introduction to Number Theory and Algebra
292. Essentials of Metaheuristics
293. Programming for Non-Programmers
294. Modern C
295. APEX Calculus I
296. Economic Aspects and Business Models of Free Software
297. Sage for Power Users
298. Free Software for Busy People
299. C.R.U.I.S.E - Component Reuse in Software Engineering
300. GTK+ / Gnome Application Development
301. REMIX: Making Art and Commerce Thrive in the Hybrid Economy
302. Vector Calculus
303. Legal Aspects of the Information Society
304. Trigger Happy: VIDEOGAMES AND THE ENTERTAINMENT REVOLUTION
305. A Gentle Introduction to the Art of Mathematics
306. Dive Into Python 3
307. FREE CULTURE
308. Open Source Development with CVS
309. Free as in Freedom (2.0): Richard Stallman and the Free Software Revolution
310. Calculus
311. The Art of Unix Programming
312. Building Skills in Python
313. The SELinux Notebook
314. GNU Awk
315. Beej's Guide to C Programming
316. Linux 101 Examination Modular Training Notes
317. The Free Speech Calculus Text
318. Version Control with Subversion For Subversion 1.7 (Compiled from r6050)
319. Linux 102 Examination Modular Training Notes
320. Trigonometry
321. Clever Algorithms: Nature-Inspired Programming Recipes
322. Book of Proof
323. Abstract Algebra: Theory and Applications
324. Building Skills in Object-Oriented Design
325. Discovering Information Systems
326. Free Software, Free Society: Selected Essays of Richard M. Stallman
327. Introduction to Linux: A Hands on Guide
328. Open networks: When users create a network
329. Probability and Statistics Cookbook
330. A College Student's Guide to Computers in Education
331. Democratizing Innovation
332. Aspects of AJAX
333. Discrete Structures for Computer Science: Counting, Recursion, and Probability
334. Snake Wrangling for Kids, Learning to Program with Python
335. Programming from the Ground Up
336. Street-Fighting Mathematics: The Art of Educated Guessing and Opportunistic Problem Solving
337. Foundations of Programming: Building Better Software
338. Free for All: How Linux and the Free Software Movement Undercut the High-Tech Titans
339. Linear Algebra Done Wrong
340. OPENSOURCES: Voices from the Open Source Revolution
341. Non-Programmer's Tutorial for Python 2.6
342. Introduction to Theory of Computation
343. Explore Flask Documentation
344. Fundamentals of Matrix Algebra
345. Producing Open Source Software: How to Run a Successful Free Software Project
346. Ruby Programming
347. Algebraic Number Theory, a Computational Approach
348. Performance and Evaluation of Lisp Systems
349. Brief Introduction to Educational Implications of Artificial Intelligence
350. Computer Science from the Bottom Up
351. Numerical Methods Course Notes Version 0.11 (UCSD Math 174, Fall 2004)
352. Bison
353. PHP Reference: Beginner to Intermediate PHP5
354. Bash Reference Manual
355. Programming in Standard ML
356. A Problem Course in Mathematical Logic (Version 1.6)
357. Cygwin User's Guide
358. The Not So Short Introduction to LATEX 2ε
359. Web Applications Development Study Guide
360. An Introduction to GCC for the GNU Compilers gcc and g++
361. The little book about OS development
362. Beej's Guide to Network Programming
363. The Promise and Peril of Big Data
364. Readings in Database Systems
365. Picking Up Perl
366. Non-Programmer's Tutorial for Python 3/Print version
367. Volume 6: Axiom Command
368. Linux Newbie Administrator Guide (LNAG)
369. How To Be a Programmer: A Short, Comprehensive, and Personal Summary
370. The Little MongoDB Book
371. The Linux 2.4 Parallel Port Subsystem
372. Economic Aspects of Free Software Study Guide
373. Video4Linux Programming
374. CML2 Language and Tools Description: The Kernel Configuration Menu Language
375. Z8530 Programming Guide
376. Unreliable Guide To Hacking The Linux Kernel
377. Unreliable Guide To Locking
378. MCA Driver Programming Interface
379. Synchronous PPP and Cisco HDLC Programming Guide
380. VR Technologies in Cultural Heritage: First International Conference, VRTCH 2018 Brasov, Romania, May 29–30, 2018 Revised Selected Papers
381. Haptics: Science, Technology, Applications: 12th International Conference, EuroHaptics 2020 Leiden, The Netherlands, September 6–9, 2020 Proceedings
382. Smart Technologies for Precision Assembly: 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020 Virtual Event, December 14–15, 2020 Revised Selected Papers
383. Computer Aided Verification: 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part I
384. Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools
385. The Elements of Big Data Value: Foundations of the Research and Innovation Ecosystem
386. Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part I
387. Programming Languages and Systems: 28th European Symposium on Programming, ESOP 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
388. Computer Aided Verification: 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part II
389. Semantic Systems - The Power of AI and Knowledge Graphs: 15th International Conference, SEMANTiCS 2019 Karlsruhe, Germany, September 9–12, 2019 Proceedings
390. Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017 Evry, France, December 11–13, 2017 Proceedings
391. Python for Astronomers: An Introduction to Scientific Computing
392. Android Application Development for the Intel Platform
393. How AI Impacts Urban Living and Public Health: 17th International Conference, ICOST 2019 New York City, NY, USA, October 14–16, 2019 Proceedings
394. Software for Exascale Computing - SPPEXA 2016-2019
395. Agile Processes in Software Engineering and Extreme Programming: 18th International Conference, XP 2017 Cologne, Germany, May 22–26, 2017 Proceedings
396. Computer Aided Verification: 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings, Part II
397. Computer Aided Verification: 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part II
398. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings, Part II
399. Brain-Inspired Computing: 4th International Workshop, BrainComp 2019 Cetraro, Italy, July 15–19, 2019 Revised Selected Papers
400. The Once-Only Principle: The TOOP Project
401. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings, Part I
402. Technology, Design and the Arts — Opportunities and Challenges
403. Handbook of Vascular Biometrics
404. Internet of Things Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018 Held at the 24th IFIP World Computer Congress, WCC 2018 Poznan, Poland, September 18–19, 2018 Revised Selected Papers
405. Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings
406. Symbiotic Interaction: 5th International Workshop, Symbiotic 2016 Padua, Italy, September 29–30, 2016 Revised Selected Papers
407. Model-Based Engineering of Collaborative Embedded Systems
408. Intel Galileo and Intel Galileo Gen 2
409. Computer Vision Metrics: Survey, Taxonomy, and Analysis
410. Cyber Security: 17th China Annual Conference, CNCERT 2020 Beijing, China, August 12, 2020 Revised Selected Papers
411. Natural Computing and Beyond
412. Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications
413. Data Parallel C++: Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
414. Agile Processes in Software Engineering and Extreme Programming: 20th International Conference, XP 2019 Montréal, QC, Canada, May 21–25, 2019 Proceedings
415. Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 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
416. Computer and Information Sciences: 31st International Symposium, ISCIS 2016 Kraków, Poland, October 27–28, 2016 Proceedings
417. Real-time Linked Dataspaces: Enabling Data Ecosystems for Intelligent Systems
418. Co-governed Sovereignty Network
419. Reversible Computation: Extending Horizons of Computing, Selected Results of the COST Action IC1405
420. iOS Developer Notes for Professionals
421. The Future Internet - Future Internet Assembly 2012: From Promises to Reality
422. Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part II
423. Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018 Porto, Portugal, May 21–25, 2018 Proceedings
424. Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings
425. Android on x86: An Introduction to Optimizing for Intel Architecture
426. The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises
427. Multiple-Aspect Analysis of Semantic Trajectories: First International Workshop, MASTER 2019 Held in Conjunction with ECML-PKDD 2019 Würzburg, Germany, September 16, 2019 Proceedings
428. Managed Software Evolution
429. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings, Part I
430. Principles of Security and Trust: 7th International Conference, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings
431. XcalableMP PGAS Programming Language: From Programming Model to Applications
432. Language Technologies for the Challenges of the Digital Age: 27th International Conference, GSCL 2017 Berlin, Germany, September 13–14, 2017 Proceedings
433. Entity-Oriented Search
434. Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings
435. C Elements of Style
436. Android Notes for Professionals
437. Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020 Virtual Event, September 5, 2020 Revised Selected Papers
438. Knowledge Graphs and Big Data Processing
439. Contextual Process Digitalization
440. TouchDevelop: Programming on the Go
441. Supercomputing Frontiers: 6th Asian Conference, SCFA 2020 Singapore, February 24–27, 2020 Proceedings
442. Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
443. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings, Part II
444. The InfoSec Handbook: An Introduction to Information Security
445. Data Science for Economics and Finance: Methodologies and Applications
446. Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
447. Sublinear Computation Paradigm: Algorithmic Revolution in the Big Data Era
448. Security of Networks and Services in an All-Connected World: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017 Zurich, Switzerland, July 10–13, 2017 Proceedings
449. Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021 Virtual Event, June 14–18, 2021 Proceedings
450. Probability in Electrical Engineering and Computer Science: An Application-Driven Course
451. Cloud-Based Benchmarking of Medical Image Analysis
452. Perspectives on Digital Humanism
453. Representation Learning for Natural Language Processing
454. Open Source Systems: Towards Robust Practices- 13th IFIP WG 2.13 International Conference, OSS 2017 Buenos Aires, Argentina, May 22–23, 2017 Proceedings
455. Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2021 Workshops Virtual Event, June 14–18, 2021 Revised Selected Papers
456. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
457. S-BPMIllustrated: A Storybook about Business Process Modeling and Execution
458. Musical Haptics
459. Security in Computer and Information Sciences: First International ISCIS Security Workshop 2018 Euro-CYBERSEC 2018 London, UK, February 26–27, 2018 Revised Selected Papers
460. Elements of Robotics
461. Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2020 Workshops Copenhagen, Denmark, June 8–12, 2020 Revised Selected Papers
462. Cultures of Computer Game Concerns: The Child Across Families, Law, Science and Industry
463. Cyber Security: 15th International Annual Conference, CNCERT 2018 Beijing, China, August 14–16, 2018 Revised Selected Papers
464. Programming Persistent Memory: A Comprehensive Guide for Developers
465. Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics Held as Part of ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings, Part III
466. S-BPM in the Wild
467. Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis
468. Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings, Part I
469. Building the Infrastructure for Cloud Security: A Solutions view
470. Enabling Things to Talk: Designing IoT solutions with the IoT Architectural Reference Model
471. Efficient Learning Machines: Theories, Concepts, and Applications for Engineers and System Designers
472. Sensor Technologies: Healthcare, Wellness, and Environmental Applications
473. Python for Science and Engineering
474. The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value
475. Supercomputing Frontiers: 5th Asian Conference, SCFA 2019 Singapore, March 11–14, 2019 Proceedings
476. Intertwingled: The Work and Influence of Ted Nelson
477. Java Notes for Professionals
478. DevOps for Digital Leaders: Reignite Business with a Modern DevOps-Enabled Software Factory
479. Rethinking the Internet of Things: A Scalable Approach to Connecting Everything
480. Python Anti-Patterns
481. Computer Aided Verification: 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II
482. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings
483. Computer Aided Verification: 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings, Part I
484. Computer Aided Verification: 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part I
485. The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons
486. Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings
487. Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 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
488. Supercomputing Frontiers: 4th Asian Conference, SCFA 2018 Singapore, March 26–29, 2018 Proceedings
489. CyberParks – The Interface Between People, Places and Technology: New Approaches and Perspectives
490. High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
491. Python 101
492. Ray Tracing Gems: High-Quality and Real-Time Rendering with DXR and Other APIs
493. Advances in Intelligent Data Analysis XVIII: 18th International Symposium on Intelligent Data Analysis, IDA 2020 Konstanz, Germany, April 27–29, 2020 Proceedings
494. Programming walkthroughs: Coding with Python and Repl.it
495. The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020 Hammamet, Tunisia, June 24–26, 2020 Proceedings
496. Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges
497. Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems
498. Medical Imaging Systems: An Introductory Guide
499. Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
500. Automated Deduction – CADE 28: 28th International Conference on Automated Deduction Virtual Event, July 12–15, 2021 Proceedings
501. Computer Aided Verification: 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I
502. Subject-Oriented Business Process Management
503. Office 365: Migrating and Managing Your Business in the Cloud
504. Projection-Based Clustering through Self-Organization and Swarm Intelligence
505. Semantic Systems In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020 Amsterdam, The Netherlands, September 7–10, 2020 Proceedings
506. Scaling a Software Business
507. 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
508. Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
509. Rational Cybersecurity for Business: The Security Leaders' Guide to Business Alignment
510. Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020 Copenhagen, Denmark, June 8–12, 2020 Proceedings
511. Energy Efficient Servers: Blueprints for Data Center Optimization
512. Security Infrastructure Technology for Integrated Utilization of Big Data
513. Optimizing HPC Applications with Intel Cluster Tools
514. Intel Xeon Phi Coprocessor Architecture and Tools
515. R Notes for Professionals
516. The Essence of Software Engineering
517. STRATEGIC RESEARCH AGENDA FOR MULTILINGUAL EUROPE 2020
518. Automated Machine Learning: Methods, Systems, Challenges
519. Python Notes for Professionals
520. Learn BlackBerry 10 App Development: A Cascades-Driven Approach
521. Re-engineering the Uptake of ICT in Schools
522. C# Notes for Professionals
523. Embedded Firmware Solutions: Development Best Practices for the Internet of Things
524. Exploring Python
525. The Future of Software Quality Assurance
526. Market Engineering: Insights from Two Decades of Research on Markets and Information
527. GUI Design for Android Apps
528. CRACKING CODES WITH PYTHON: An Introduction to Building and Breaking Ciphers
529. New Horizons for a Data-Driven Economy: A Roadmap for Usage and Exploitation of Big Data in Europe
530. Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2019 Workshops Montréal, QC, Canada, May 21–25, 2019 Proceedings
531. A Practical Guide to TPM 2.0 Using the New Trusted Platform Module in the New Age of Security
532. Rethinking Productivity in Software Engineering
533. S-BPM in the Production Industry: A Stakeholder Approach
534. C++ Notes for Professionals
535. Interdisciplinary Insights for Digital Touch Communication
536. Intel Trusted Execution Technology for Server Platforms: A Guide to More Secure Datacenters
537. Python Programming in OpenGL: A Graphical Approach to Programming
538. Clinical Text Mining: Secondary Use of Electronic Patient Records
539. Ernst Denert Award for Software Engineering 2019
540. Handbook on Craniofacial Superimposition: The MEPROCS Project
541. Evaluating Information Retrieval and Access Tasks: NTCIR's Legacy of Research Impact
542. Learn Python the right way: How to think like a computer scientist
543. Cyber-Physical Systems: A Model-Based Approach
544. Anti-fragile ICT Systems
545. Platform Embedded Security Technology Revealed
546. JavaScript Notes for Professionals
547. Finance 4.0 — Towards a Socio-Ecological Finance System: A Participatory Framework to Promote Sustainability
548. Telecommunication Economics: Selected Results of the COST Action IS0605 Econ@Tel
549. Security of Ubiquitous Computing Systems: Selected Topics
550. PHP Notes for Professionals
551. CSS Notes for Professionals
552. Building Better Interfaces for Remote Autonomous Systems: An Introduction for Systems Engineers
553. From Opinion Mining to Financial Argument Mining
554. Managing Risk and Information Security: Protect to Enable
555. Computation and the Humanities: Towards an Oral History of Digital Humanities
556. Mobile Edge Computing
557. Artificial Intelligence for a Better Future: An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies
558. MATLAB Notes for Professionals
559. Node.js Notes for Professionals
560. Python for network engineers
561. Swift Notes for Professionals
562. Informatics in the Future: Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
563. Microsoft SQL Server Notes for Professionals
564. Algorithms Notes for Professionals
565. Xamarin.Forms Notes for Professionals
566. Git Notes for Professionals
567. Excel VBA Notes for Professionals
568. Policy-Oriented Technology Assessment Across Europe: Expanding Capacities
569. The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
570. C Notes for Professionals
571. VBA Notes for Professionals
572. Visual Basic.NET Notes for Professionals
573. AngularJS Notes for Professionals
574. Ruby on Rails Notes for Professionals
575. Coffee Break Python Slicing: 24 Workouts to Master Slicing in Python, Once and For All
576. The Amazing Journey of Reason from DNA to Artificial Intelligence
577. Haskell Notes for Professionals
578. HTML5 Canvas Notes for Professionals
579. MySQL Notes for Professionals
580. Ruby Notes for Professionals
581. .NET Framework Notes for Professionals
582. Angular 2+ Notes for Professionals
583. PowerShell Notes for Professionals
584. Bash Notes for Professionals
585. SQL Notes for Professionals
586. Entity Framework Notes for Professionals
587. LaTeX Notes for Professionals
588. Objective-C Notes for Professionals
589. React Native Notes for Professionals
590. HTML5 Notes for Professionals
591. Preparing for Digital Disruption
592. Perl Notes for Professionals
593. Oracle Database Notes for Professionals
594. TypeScript Notes for Professionals
595. Kotlin Notes for Professionals
596. React JS Notes for Professionals
597. Full Speed Python
598. jQuery Notes for Professionals
599. PostgreSQL Notes for Professionals
600. MongoDB Notes for Professionals
601. Spring Framework Notes for Professionals
602. Linux Notes for Professionals
603. Hibernate Notes for Professionals
604. Python Tutorial: Release 3.7.0
605. The GNU C Programming Tutorial
606. The GNU C Reference Manual
607. A short introduction to operating systems
608. Computer Science II
609. Data Structures and Algorithms: Annotated Reference with Examples
610. Architectural Styles and the Design of Network-based Software Architectures
611. Simplify your security operations center
612. The Art of Serious Game Design
613. Algorithms and Complexity
614. Learning Go
615. Programming Languages: Theory and Practice
616. Communicating Sequential Processes
617. Lecture Notes for Algorithm Analysis and Design
618. Writing a Simple Operating System |− from Scratch
619. AUTOMATE YOUR NETWORK WITH RED HAT
620. Mathematics for Machine Learning
621. Programming in Martin-Lof's Type Theory
622. Introduction to Machine Learning
623. Design of a Programmer
624. The GLib/GTK+ Development Platform: A Getting Started Guide
625. Introduction to Functional Programming
626. Learning Deep Architectures for AI
627. A First Course on Data Structures in Python
628. Purely Functional Data Structures
629. AWS Well-Architected Framework: AWS Well-Architected Framework
630. Compiling Scala for the Java Virtual Machine
631. How to Become a Programmer: Everything (Non-Technical) You Need to Know to Start Making Money Writing Code
632. Web API Design: Crafting Interfaces that Developers Love
633. A First Encounter with Machine Learning
634. 5 steps to automate your business
635. 100 (and counting) Laravel Quick Tips
636. Linux Standard Base Imaging Specification
637. A quick refresher for Counting techniques and Probability
638. Linked Data Patterns: A pattern catalogue for modelling, publishing, and consuming Linked Data
639. How to get started with open source: A guide for beginners in open source
640. The Tiny Book of Rules
641. Xv6, a simple Unix-like teaching operating system
642. Linux Standard Base Common Definitions
643. Computational Thinking
644. Pointers and Memory
645. Linked List Problems
646. Binary Trees
647. Linked List Basics
648. The Great Tree-List Recursion Problem
649. Beginning Excel 2019
650. Theory of Computation: Making Connections
651. The Data Journalism Handbook 2: Towards A Critical Data Practice
652. Digital Photography for Graphic Communications
653. Write Here, Right Now: An Interactive Introduction to Academic Writing and Research
654. The Data Journalism Handbook
655. Tutorials of Visual Graphic Communication Programs for Interior Design
656. Digital Citizenship Toolkit
657. Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
658. A Comprehensive Guide to Machine Learning
659. Code Connected Volume 1
660. The Web as History
661. Information Technology and the Networked Economy
662. AI for Everyone?: Critical Perspectives
663. Linux Standard Base Desktop Specification, Generic Part
664. 2019 Web Almanac: HTTP Archive's annual state of the web report
665. LEARN | CODE | MAKE
666. The Computers That Made Britain: The home computer revolution of the 1980s
667. Category Theory for Programmers
668. THE QUEST FOR ARTIFICIAL INTELLIGENCE: A HISTORY OF IDEAS AND ACHIEVEMENTS
669. The CryptoParty handbook
670. Ionospheric Multi-Spacecraft Analysis Tools: Approaches for Deriving Ionospheric Parameters
671. PLANNING ALGORITHMS
672. DSL Engineering: Designing, Implementing and Using Domain-Specific Languages
673. Data structures
674. The Design, Evolution, and Use of KernelF
675. Kubernetes for Full-Stack Developers
676. Web Design Primer
677. Explorations in Parallel Distributed Processing: A Handbook of Models, Programs, and Exercises
678. SLO Adoption and Usage in Site Reliability Engineering
679. Design With FontForge
680. Is Parallel Programming Hard, And, If So, What Can You Do About It?
681. Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6
682. Rational Cybersecurity for Business: The Security Leaders' Guide to Business Alignment
683. Generic Tools, Specific Languages
684. OOP – Learn Object Oriented Thinking and Programming
685. A Graduate Course in Applied Cryptography
686. Introduction to Scientific Programming in C++17/Fortran2003
687. Homotopy Type Theory: Univalent Foundations of Mathematics
688. An Overview of Program Analysis using Formal Methods
689. IPv6 for IPv4 Experts
690. Data Visualization in Society
691. Matters Computational Ideas, Algorithms, Source Code
692. HELP! MY COMPUTER IS BROKEN
693. Designing Virtual Worlds
694. Getting Real: The smarter, faster, easier way to build asuccessful web application
695. Managing Distributed Cloud Applications and Infrastructure: A Self-Optimising Approach
696. Learning Modern 3D Graphics Programming
697. Learn Programming
698. Probabilistic Models in the Study of Language
699. Screen Genealogies
700. Data Structures − Fundamental tools
701. Linux Standard Base Core Specification, Generic Part
702. 360 Essentials: A Beginner's Guide to Immersive Video Storytelling
703. The Economics of Big Science: Essays by Leading Scientists and Policymakers
704. Introduction to Web Accessibility
705. Digital Accessibility as a Business Practice
706. Architect Modern Web Applications with ASP.NET Core and Azure
707. Interpretable Machine Learning: A Guide for Making Black Box Models Explainable
708. Understanding the DOM — Document Object Model
709. Notes for a Computer Graphics Programming Course
710. GETTING STARTED WITH Open source development
711. On the path to AI Law's prophecies and the conceptual foundations of the machine learning age
712. Database Explorations: Essays on the Third Manifesto and Related Topics
713. Twining
714. Persuasive Gaming in Context
715. Simple IT Automation - Smart DevOps
716. Engines of Order: A Mechanology of Algorithmic Techniques
717. Annotated Algorithms in Python: with Applications in Physics, Biology, and Finance
718. Intrusion Detection Systems with Snort
719. A Course in Machine Learning
720. Programming Fundamentals: A Modular Structured Approach
721. Text Algorithms
722. CATEGORY THEORY FOR COMPUTING SCIENCE
723. Open Advice FOSS: What We Wish We Had Known When We Started
724. Modern OpenGL Guide test
725. A Brief Introduction to Machine Learning for Engineers
726. A Selective Overview of Deep Learning
727. Testing Guide 4.0
728. Measuring the Business Value of Cloud Computing
729. Naked objects
730. Machine Learning, Neural and Statistical Classification
731. Mature Optimization Handbook
732. Partial Evaluation and Automatic Program Generation
733. Internet Advertising: An Interplay among Advertisers, Online Publishers, Ad Exchanges and Web Users
734. Kubernetes Hardening Guidance
735. The black art of programming
736. Basics of Compiler Design
737. Kubernetes Deployment & Security Patterns
738. The Public Domain: Enclosing the Commons of the Mind
739. Network automation for everyone
740. Algorithms for Reinforcement Learning
741. Principles of Algorithmic Problem Solving
742. How To Manage Remote Servers with Ansible
743. Implementing Functional Languages: a tutorial
744. 10 Keys to Great Landing Pages
745. Type Theory & Functional Programming
746. Digital Dilemmas: Exploring Social Media Ethics in Organizations
747. Building Blocks for Theoretical Computer Science (Version 1.3)
748. Evidence-Based Health Informatics
749. SEMANTICS WITH APPLICATIONS: A Formal Introduction
750. Compiler Building Tutorial
751. Understanding IP Addressing: Everything You Ever Wanted To Know
752. Rhetorical Code Studies: Discovering Arguments in and around Code
753. Information Retrieval: A Survey
754. Linux Standard Base Languages Specification
755. Competitive Programmer's Handbook
756. Intelligent Environments 2021: Workshop Proceedings of the 17th International Conference on Intelligent Environments
757. Novelties in Intelligent Digital Systems: Proceedings of the 1st International Conference (NIDS 2021), Athens, Greece, September 30 – October 1, 2021
758. Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence
759. Human Language Technologies – The Baltic Perspective: Proceedings of the Ninth International Conference Baltic HLT 2020
760. Workshop Proceedings of the 9th International Conference on Intelligent Environments
761. Fuzzy Systems and Data Mining VII: Proceedings of FSDM 2021
762. Computational Models of Argument: Proceedings of COMMA 2020
763. Workshop Proceedings of the 8th International Conference on Intelligent Environments
764. Modern Management based on Big Data I: Proceedings of MMBD 2020
765. Formal Ontology in Information Systems: Proceedings of the 11th International Conference (FOIS 2020)
766. Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9–11, 2020
767. Legal Knowledge and Information Systems - JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8–10 December 2021
768. Music Learning with Massive Open Online Courses (MOOCs)
769. Formal Ontology in Information Systems: Proceedings of the Twelfth International Conference (FOIS 2021)
770. Intelligent Environments 2017: Workshop Proceedings of the 13th International Conference on Intelligent Environments
771. Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference
772. Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016: Cyber-Security by Design
773. A Systems Approach to Cyber Security: Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017)
774. APPLICATIONS OF SECURE MULTIPARTY COMPUTATION
775. Smart Intelligent Computing and Communication Technology
776. Parallel Computing: Technology Trends
777. Intelligent Environments 2018: Workshop Proceedings of the 14th International Conference on Intelligent Environments
778. Machine Learning and Artificial Intelligence: Proceedings of MLIS 2020
779. Intelligent Environments 2020: Workshop Proceedings of the 16th International Conference on Intelligent Environments
780. Information Modelling and Knowledge Bases XXXII
781. Advances in Parallel Computing Technologies and Applications
782. Fuzzy Systems and Data Mining VI: Proceedings of FSDM 2020
783. Modern Management based on Big Data II and Machine Learning and Intelligent Systems III: Proceedings of MMBD 2021 and MLIS 2021
784. Proceedings of CECNet 2021: The 11th International Conference on Electronics, Communications and Networks (CECNet), November 18–21, 2021
785. Recent Trends in Intensive Computing
786. Molecular Dynamics Simulation
787. Optimization Methods Applied to Power Systems II
788. Entropy in Image Analysis II
789. Progress in Group Field Theory and Related Quantum Gravity Formalisms
790. Algorithms in Decision Support Systems
791. Applications of Computer Vision in Automation and Robotics
792. Green Technologies: Bridging Conventional Practices and Industry 4.0
793. Bioinformatics Applications Based On Machine Learning
794. Research as Development Perspective
795. Advanced Computational Methods for Oncological Image Analysis
796. Recent Advances in Indoor Localization Systems and Technologies
797. Gamification and Advanced Technology to Enhance Motivation in Education
798. Computer Science and Engineering Education for Pre-Collegiate Students and Teachers
799. Advanced Techniques in the Analysis and Prediction of Students’ Behaviour in Technology-Enhanced Learning Contexts
800. Ubiquitous Technologies for Emotion Recognition
801. Innovative Topologies and Algorithms for Neural Networks
802. Systems Education for a Sustainable Planet
803. Current Trends in Game-Based Learning
804. Statistical Data Modeling and Machine Learning with Applications
805. Java Structures
806. Sound and Music Computing
807. Teaching and Learning Advances on Sensors for IoT
808. Design Space Exploration and Resource Management of Multi/Many-Core Systems
809. Cyber Security of Critical Infrastructures
810. Applied Artificial Neural Networks
811. Discrete Multiphysics Modelling Complex Systems with Particle Methods
812. Open-Source Electronics Platforms: Development and Applications
813. Knowledge Management, Trust and Communication in the Era of Social Media
814. Fine Art Pattern Extraction and Recognition
815. Road Vehicles Surroundings Supervision: On-Board Sensors and Communications
816. Information Theory for Data Communications and Processing
817. Real-Time Embedded Systems
818. Nonlinear Functional Analysis and Its Applications
819. The Challenges of the Humanities, Past, Present, and Future Vol. 1
820. AI AND THE SINGULARITY: A FALLACY OR A GREAT OPPORTUNITY
821. Audio Signal Processing
822. Sustainable Construction Engineering and Management
823. Visual and Camera Sensors
824. Mechanism Design for Robotics
825. The Science and Technology of 3D Printing
826. Artificial Intelligence Applications to Smart City and Smart Enterprise
827. Multi-Agent Systems
828. Deep Learning Applications with Practical Measured Results in Electronics Industries
829. Advances in Molecular Simulation
830. Applied Mathematics and Computational Physics
831. Digital Twins in Industry
832. Sensors for Fluid Leak Detection
833. Mathematical Modelling Biomedicine
834. Low-Cost Sensors and Biological Signals
835. Assistance Robotics and Biosensors
836. Biosensors with Magnetic Nanocomponents
837. Sensing and Signal Processing in Smart Healthcare
838. Modelling and Simulation of Human-Environment Interactions
839. Measurement Methods in the Operation of Ships and Offshore Facilities
840. Remote Sensing in Vessel Detection and Navigation
841. Color Image Processing
842. Advanced Intelligent Control through Versatile Intelligent Portable Platforms
843. UAV or Drones for Remote Sensing Applications in GPS/GNSS Enabled and GPS/GNSS Denied Environments
844. Combining Sensors and Multibody Models for Applications in Vehicles, Machines, Robots and Humans
845. Raspberry Pi Technology
846. Sensor Technology for Smart Homes
847. Data Structures and Algorithm Analysis Edition 3.2 (Java Version)
848. Data Structures and Algorithm Analysis Edition 3.2 (C++ Version)
849. 3D Printing of Pharmaceuticals and Drug Delivery Devices
850. Applied Sciences to the Study of Technical Historical Heritage and/or Industrial Heritage
851. Architecture and Engineering: The Challenges—Trends—Achievements
852. Deep Learning in Medical Image Analysis
853. Emerging Sensor Technology in Agriculture
854. Indoor Positioning and Navigation
855. Novel Industry 4.0 Technologies and Applications
856. Sensor Signal and Information Processing III
857. Sensors, Signal and Image Processing in Biomedicine and Assisted Living
858. Advanced Computational Intelligence for Object Detection, Feature Extraction and Recognition in Smart Sensor Environments
859. Future Advances in Basin Modeling
860. Radar and Sonar Imaging and Processing
861. Remote Sensed Data and Processing Methodologies for 3D Virtual Reconstruction and Visualization of Complex Architectures
862. Holography, 3D Imaging and 3D Display
863. Image and Video Processing and Recognition Based on Artificial Intelligence
864. Evolutionary Computation and Swarm Intelligence
865. Proceedings of the 2020 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory
866. Technology, Media Literacy, and the Human Subject: A Posthuman Approach
867. Socio-Cognitive and Affective Computing
868. Improving the Performance of Wireless LANs: A Practical Guide
869. Complexity, Criticality and Computation (C³)
870. Variant Construction from Theoretical Foundation to Applications
871. PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020
872. Numerical and Symbolic Computation: Developments and Applications
873. Digital Technology and the Practices of Humanities Research
874. A New Science for Future: Climate Impact Modeling and the Quest for Digital Openness
875. Advances in SAR: Sensors, Methodologies, and Applications
876. MOONBIT
877. Computational Methods for Risk Management in Economics and Finance
878. INNOVATIVE APPROACHES IN COMPUTATIONAL STRUCTURAL ENGINEERING
879. AT THE CROSSROADS: LESSONS AND CHALLENGES IN COMPUTATIONAL SOCIAL SCIENCE
880. REPRODUCIBILITY AND RIGOUR IN COMPUTATIONAL NEUROSCIENCE
881. Computational approaches to semantic change
882. Nanoinformatics
883. Data Rights Law 3.0
884. The evolution of grounded spatial language
885. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
886. BOOK OF ANONYMITY
887. Computational Thinking Education
888. PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021
889. Anisotropy Across Fields and Scales
890. Collaborative Technologies and Data Science in Artificial Intelligence Applications
891. Theory and Applications of Ordered Fuzzy Numbers
892. Random Differential Equations in Scientific Computing
893. Making up Numbers: A History of Invention in Mathematics
894. SPINNAKER: A SPIKING NEURAL NETWORK ARCHITECTURE
895. The State of Open Data: Histories and Horizons
896. Model Order Reduction − Volume 3: Applications
897. Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2018
898. Cybersecurity: Public Sector Threats and Respons
899. Radon Series on Computational and Applied Mathematics
900. The Science of Citizen Science
901. Computational Mathematics, Algorithms, and Data Processing
902. International Symposium on Mathematics, Quantum Theory, and Cryptography: Proceedings of MQC 2019
903. Developing Graphics Frameworks with Python and OpenGL
904. The Digital Humanist: A Critical Inquiry
905. Theoretical and Practical Advances in Computer-based Educational Measurement
906. The corporate blog as an emerging genre of computer-mediated communication: features, constraints, discourse situation
907. Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
908. Altmetrics for Digital Libraries: Concepts, Applications, Evaluation, and Recommendations
909. MATHEMATICAL ASPECTS OF LOGIC PROGRAMMING SEMANTICS
910. Finite Difference Computing with PDEs: A Modern Software Approach
911. Elements of Causal Inference: Foundations and Learning Algorithms
912. Language strategies for the domain of colour
913. Scaling of Differential Equations
914. Digital Scholarly Editing: Theories and Practices
915. Foundations of Fuzzy Logic and Semantic Web Languages
916. Human Computer Interaction and Emerging Technologies: Adjunct Proceedings from the INTERACT 2019 Workshops
917. PREPARING FOR LIFE IN A DIGITAL WORLD: IEA International Computer and Information Literacy Study 2018 International Report
918. X-Machines for Agent-Based Modeling: FLAME Perspectives
919. Digital Humanities Pedagogy: Practices, Principles and Politics
920. APPLIED SIGNAL PROCESSING
921. Shaping the Digital Dissertation: Knowledge Production in the Arts and Humanities
922. The Essence of Mathematics Through Elementary Problems
923. e-Science: Open, Social and Virtual Technology for Research Collaboration
924. Heterogeneity, High Performance Computing, Self-Organization and the Cloud
925. Supporting the Design of Technology-Mediated Sharing Practices
926. Computational Cognitive Modeling and Linguistic Theory
927. Solving PDEs in Python: The FEniCS Tutorial I
928. Computational Conflict Research
929. Dynamic Spectrum Management: From Cognitive Radio to Blockchain and Artificial Intelligence
930. Handbook on Craniofacial Superimposition: The MEPROCS Project
931. Modeling Excitable Tissue: The EMI Framework
932. Interacting with Presence: HCI and the Sense of Presence in Computer-mediated Environments
933. Quantum Computing for the Quantum Curious
934. Programming for Computations – MATLAB/Octave: A Gentle Introduction to Numerical Simulations with MATLAB/Octave
935. Concepts in Action: Representation, Learning, and Application
936. Radical Solutions and Open Science: An Open Approach to Boost Higher Education
937. Microsimulation Population Projections with SAS: A Reference Guide
938. Human and Machine Consciousness
939. Control Theory Tutorial: Basic Concepts Illustrated by Software Examples
940. Cohesion, Coherence and Temporal Reference from an Experimental Corpus Pragmatics Perspective
941. Game Production Studies
942. Manifesto of the New Economy: Institutions and Business Models of the Digital Society
943. The Psychosocial Reality of Digital Travel: Being in Virtual Places
944. Implicit Incremental Model Analyses and Transformations
945. Finite Difference Computing with Exponential Decay Models
946. Interferences and Events: On Epistemic Shifts in Physics through Computer Simulations
947. Methodological Investigations in Agent-Based Modelling With Applications for the Social Sciences
948. How mobile robots can self-organise a vocabulary
949. Text and Genre in Reconstruction: Effects of Digitalization on Ideas, Behaviours, Products and Institutions
950. Graphs for Pattern Recognition
951. Young People, Ethics, and the New Digital Media: A Synthesis from the GoodPlay Project
952. How the Computer went to School: Australian Government Policies for Computers in Schools, 1983–2013
953. 25 Years of Ed Tech
954. The evolution of case grammar
955. The Everyday Life of an Algorithm
956. The Coupling of Safety and Security: Exploring Interrelations in Theory and Practice
957. Data Privacy and Trust in Cloud Computing: Building trust in the cloud through assurance and accountability
958. Computer science approach to quantum control
959. Advanced Problems in Mathematics: Preparing for University
960. Communicating, Networking: Interacting The International Year of Global Understanding - IYGU
961. Soft Computing: Techniques in Engineering Sciences
962. TEACHING MATHEMATICS AT SECONDARY LEVEL
963. HANDBOOK OF COMPUTATIONAL SOCIAL SCIENCE, VOLUME 1: Theory, Case Studies and Ethics
964. MODELS OF REFERENCE
965. Annals of Scientific Society for Assembly, Handling and Industrial Robotics
966. Window Functions and Their Rpplications in Signal Processing
967. Engaging Researchers with Data Management: The Cookbook
968. 50 YEARS AFTER THE PERCEPTRON, 25 YEARS AFTER PDP: NEURAL COMPUTATION IN LANGUAGE SCIENCES
969. Methods in Computational Biology
970. High Performance Propagation of Large Object Populations in Earth Orbits
971. The Multi-Agent Transport Simulation MATSim
972. MODELING OF VISUAL COGNITION, BODY SENSE, MOTOR CONTROL AND THEIR INTEGRATIONS
973. COGNITION AND INTERACTION: FROM COMPUTERS TO SMART OBJECTS AND AUTONOMOUS AGENTS
974. AI AND FINANCIAL TECHNOLOGY
975. Gender Differences in Computer and Information Literacy: An In-depth Analysis of Data from ICILS
976. Environments of Intelligence: From natural information to artificial interaction
977. MAKING AI INTELLIGIBLE: Philosophical Foundations
978. Current Trends in Computer Science and Mechanical Automation: Selected Papers from CSMA2016 - Volume 2
979. Nanoscale Photonic Imaging
980. Dependable Embedded Systems
981. Manual of Digital Earth
982. DOCUMENTARY MAKING FOR DIGITAL HUMANISTS
983. NEURAL AND COMPUTATIONAL MODELING OF MOVEMENT CONTROL
984. THE UNCANNY VALLEY HYPOTHESIS AND BEYOND
985. CHALLENGES IN COMPUTATIONAL ENZYMOLOGY
986. STATISTICAL AND COMPUTATIONAL METHODS FOR MICROBIOME MULTI-OMICS DATA
987. Digital Classical Philology: Ancient Greek and Latin in the Digital Revolution
988. Advances in Experimental and Computational Rheology, Volume II
989. Big Data Computing for Geospatial Applications
990. Cognitive Aspects of Human-Computer Interaction for GIS
991. Computational Methods for the Analysis of Genomic Data and Biological Processes
992. Dynamic Switching State Systems for Visual Tracking
993. EG-ICE 2021 Workshop on Intelligent Computing in Engineering
994. Machine Learning, Low-Rank Approximations and Reduced Order Modeling in Computational Mechanics
995. Advances in Computer Simulation Studies on Crystal Growth
996. Urban Informatics
997. ADVANCED HPC-BASED COMPUTATIONAL MODELING IN BIOMECHANICS AND SYSTEMS BIOLOGY
998. RECENT ADVANCES IN UNDERSTANDING THE BASIC MECHANISMS OF ATRIAL FIBRILLATION USING NOVEL COMPUTATIONAL APPROACHES
999. B C, Before Computers: On Information Technology from Writing to the Age of Digital Data