12 Jul 2020

Category: Networking & Cloud Computing

Computers & Technology

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science (12178)) 

This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25…

Computers & Technology

Maintaining and Evolving Successful Commercial Web Sites: Managing Change, Content, Customer Relationships, and Site Measurement (The Morgan Kaufmann Series in Data Management Systems) 

Ashley Friedlein’s first book, Web Project Management: Delivering Successful Commercial Web Sites, became a bestseller and an essential reference for Web professionals developing new sites. Maintaining and Evolving Successful Commercial Web Sites addresses the realities of successful sites today, namely the notion that maintaining and…

Computers & Technology

GameMaker Essentials 

Learn all the essential skills of GameMaker: Studio and start making your own impressive games with ease About This Book Learn the core aspects of GameMaker: Studio to create stunning games and share them with the world Learn how to create games in GameMaker using…

Computers & Technology

Puppet Essentials 

Get up and running quickly using the power of Puppet to manage your IT infrastructure About This Book Quickly get to grips with writing your own manifest programs for Puppet Speedily learn to set up your own Puppet infrastructure Avoid common pitfalls in order to…

Computers & Technology

Neo4j Essentials 

Leverage the power of Neo4j to design, implement, and deliver top-notch projects About This Book Understand, in detail, the Pattern matching theory, and cypher optimization Use Neo4j models combined with the power of Cypher to sketch and start working quickly A fast-paced, example-oriented guide to…

Computers & Technology

Neo4j High Performance 

Design, build, and administer scalable graph database systems for your applications using Neo4j About This Book Explore the numerous components that provide abstractions for pretty much any functionality you need from your persistent graphs Familiarize yourself with how to test the GraphAware framework, along with…

Computers & Technology

Understanding LDAP (IBM Redbook) 

Lightweight Directory Access Protocol (LDAP) is a fast-growing technology for accessing common directory information. LDAP has been embraced and implemented in most network-oriented middleware. As an open, vendor-neutral standard, LDAP provides an extendable architecture for centralized storage and management of information that needs to be…

Computers & Technology

Natural Language Processing and Information Systems: 25th International Conference on Applications of Natural Language to Information Systems, NLDB … (Lecture Notes in Computer Science (12089)) 

This book constitutes the refereed proceedings of the 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, held in Saarbrücken, Germany, in June 2020.* The 15 full papers and 10 short papers were carefully reviewed and selected from 68 submissions. The…