Programming in 2016

Interactive Theorem Proving: 7th International Conference, Itp 2016, Nancy, France, August 22-25, 2016, Proceedings by

GPS: Theory, Algorithms and Applications by Xu, Guochang, Xu, Yan

Pro Photo Colorizing with GIMP by Whitt, Phillip

Windows to Go: A Guide for Users and IT Professionals by Ballew, Joli

App-Entwicklung - Effizient Und Erfolgreich: Eine Kompakte Darstellung Von Konzepten, Methoden Und Werkzeugen by Aichele, Christian, Schönberger, Marius

Musterbasierte Parallelisierung Sequenzieller Anwendungen: Konzept Und Implementierung Eines Verfahrens Zur Softwaretransformation by Molitorisz, Korbinian

Control Modes on Mobile Software Platforms: Empirical Studies on the Importance of Informal Control by Goldbach, Tobias

Python Programming: An Introduction to Computer Science by Zelle, John M.

Trends in Software Testing by

Crisis Management for Software Development and Knowledge Transfer by Zykov, Sergey V.

Advances in Image and Graphics Technologies: 11th Chinese Conference, Igta 2016, Beijing, China, July 8-9, 2016, Proceedings by

Type Systems for Distributed Programs: Components and Sessions by Dardha, Ornela

Algorithms in Bioinformatics: 16th International Workshop, Wabi 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings by

Combinatorial Algorithms: 27th International Workshop, Iwoca 2016, Helsinki, Finland, August 17-19, 2016, Proceedings by

Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceed by

Machine Learning and Medical Imaging by

Prima 2016: Principles and Practice of Multi-Agent Systems: 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings by

Der Qualitätsbegriff im Requirements und Software Engineering by Strell, Stefan

From Animals to Animats 14: 14th International Conference on Simulation of Adaptive Behavior, Sab 2016, Aberystwyth, Uk, August 23-26, 2016, Proceedin by

Autonomic approach for fault tolerance using scaling, replication and monitoring of servers in cloud computing by Garg, Ashima, Bagga, Sachin

The Animator's Sketchbook: How to See, Interpret & Draw Like a Master Animator by White, Tony

Programmieren lernen für Kinder - Gesamtband by Hardy, Dirk

Agile Noir by Poovathany, Ebin John

Test von Web Sites. Problemstellung, Stand, Entwicklungstendenzen by Pfeiffer, Ellen

Personalisierung eines Content-Management-Systems. Abbildung der Struktur in einer relationalen Datenbank und Implementierung einer Benutzerregistrier by Vyskozil, Mirko

Managing Trade-Offs in Adaptable Software Architectures by

Project Management Basics: How to Manage Your Project with Checklists by McBride, Melanie

Large-Scale Scrum: More with Less by Larman, Craig, Vodde, Bas

Web Usage Mining Techniques and Applications Across Industries by

Practical Quantitative Finance with R: Solving Real-World Problems with R for Quant Analysts and Individual Traders by Xu, Jack

HTML Awesomeness Book: Learn To Write HTML The Awesome Way by Tsur Mayer, Gilad E.

Artificial Neural Networks and Machine Learning - Icann 2016: 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September by

Computational Logistics: 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings by

DNA Computing and Molecular Programming: 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings by

Medical Imaging and Augmented Reality: 7th International Conference, Miar 2016, Bern, Switzerland, August 24-26, 2016, Proceedings by

Foundations of Security Analysis and Design VIII: Fosad 2014/2015/2016 Tutorial Lectures by

Sicherheit von passwortbasierten Authentifizierungssystemen by Langer, Stefanie

Pragmatic Guide to Sass 3: Tame the Modern Style Sheet by Catlin, Hampton, Catlin, Michael

Advanced Do-It-Yourself Java Games: An Introduction to Java Threads and Animated Video Games by Godtland, Annette

An Introduction to Excel for Civil Engineers: From Engineering Theory to Excel Practice by Pangaribuan, Gunthar

programming: Learn the Fundamentals of Computer Programming Languages by Rawen, Marc

Formal Modeling and Analysis of Timed Systems: 14th International Conference, Formats 2016, Quebec, Qc, Canada, August 24-26, 2016, Proceedings by

Simulating routing protocols between two university campuses to replicate a video conference application by Malepe, Kagiso Andy

Warenkorb. Programmieren in Java by Meyer, Ina

Learn to Implement Games with Code by Quick, John M.

Verification of Business Rules Programs by Berstel-Da Silva, Bruno

Automatisation Avec Python: Automatiser Les Taches Du Web by Faujanet, Julien

Rewriting Logic and Its Applications: 11th International Workshop, Wrla 2016, Held as a Satellite Event of Etaps, Eindhoven, the Netherlands, April 2- by

Web Crawler Methodik. Breitensuche in Python mit Scrapy Framework by Ünver, Torun

Mastering KVM Virtualization: Explore cutting-edge Linux KVM virtualization techniques to build robust virtualization solutions by Mukhedkar, Prasad, Vettathu, Anil, Chirammal, Humble Devassy

Design Thinking Research: Taking Breakthrough Innovation Home by

Coding Interview Questions by Karumanchi, Narasimha

The Android Game Developer's Handbook by Roy, Avisekhar

Computer Support for Successful Project Management: Using MS Project 2016 with Construction Projects by Samant, Ulhas

Visual Studio 2015 Cookbook by Martin, Jeff

Nature-Inspired Optimization Algorithms by Yang, Xin-She

Javascript: Beginners Guide on Javascript Programming by Goddard, Nick

Functional Reactive Programming by Jones, Anthony, Blackheath, Stephen

Learn Cakephp: With Unit Testing by Dāsa, Rādhārādhya

Advances in Discrete Differential Geometry by

Topological Methods in Data Analysis and Visualization II: Theory, Algorithms, and Applications by

Foundations of 3D Graphics Programming: Using Jogl and Java3d by Chen, Jim X., Chen, Chunyang

Dynamics Ax: A Guide to Microsoft Axapta by Weiner, David

A Tester's Guide to .Net Programming by Sweeney, Joe, Root, Randal

Modern Compiler Design by Bal, Henri E., Grune, Dick, Van Reeuwijk, Kees

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology by

Intelligent Computer Graphics by

Mathematics and Modern Art: Proceedings of the First ESMA Conference, Held in Paris, July 19-22, 2010 by

Video Analytics for Business Intelligence by

Expert F# by Granicz, Adam, Syme, Don, Cisternino, Antonio

Tensors in Image Processing and Computer Vision by

Handbook of Mobile AD Hoc Networks for Mobility Models by Roy, Radhika Ranjan

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing by

Robust Subspace Estimation Using Low-Rank Optimization: Theory and Applications by Oreifej, Omar, Shah, Mubarak

Continuous Software Engineering by

Computer Vision in Control Systems-2: Innovations in Practice by

Lean Software Development in Action by Succi, Giancarlo, Janes, Andrea

Algorithms for Sparsity-Constrained Optimization by Bahmani, Sohail

Enterprise Information Systems Engineering: The Merode Approach by Snoeck, Monique

Decision and Game Theory in Management with Intuitionistic Fuzzy Sets by Li, Deng-Feng

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift by

Evolving Software Systems by

Recommendation Systems in Software Engineering by

Kernel Learning Algorithms for Face Recognition by Pan, Jeng-Shyang, Chu, Shu-Chuan, Li, Jun-Bao

Computational Diffusion MRI and Brain Connectivity: Miccai Workshops, Nagoya, Japan, September 22nd, 2013 by

Visual Computing: Scientific Visualization and Imaging Systems by

Model-Driven Dependability Assessment of Software Systems by Merseguer, José, Petriu, Dorina Corina, Bernardi, Simona

Krister Segerberg on Logic of Actions by

Applications of Evolutionary Computation in Image Processing and Pattern Recognition by Zaldívar, Daniel, Perez-Cisneros, Marco, Cuevas, Erik

Dense Image Correspondences for Computer Vision by

Fireworks Algorithm: A Novel Swarm Intelligence Optimization Method by Tan, Ying

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 by

Advances in Proof-Theoretic Semantics by

Formalizing Data-Centric Web Services by Saleh, Iman

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures by Doberkat, Ernst-Erich

The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering by Jureta, Ivan

Pro Java ME MMAPI: Mobile Media API for Java Micro Edition by Goyal, Vikram

Pro EDI in BizTalk Server 2006 R2: Electronic Document Interchange Solutions by Beckner, Mark

The Development of an Integrated Planning and Decision Support System (Ipdss) for Land Consolidation by Demetriou, Demetris

.Net 2.0 for Delphi Programmers by Shemitz, Jon

Pro PHP XML and Web Services by Richards, Robert

Foundations of Java for ABAP Programmers by Rooney, Alistair

Foundation 3ds Max 8 Architectural Visualization: by Smith, Brian L.

.Net Test Automation Recipes: A Problem-Solution Approach by McCaffrey, James

The Definitive Guide to the Microsoft Enterprise Library by Newton, Keenan

C++/CLI: The Visual C++ Language for .Net by Hogenson, Gordon

Foundations of F# by Pickering, Robert

Pro SQL Server Disaster Recovery by Luetkehoelter, James

Pro Visual Studio Team System Application Lifecycle Management by Rossberg, Joachim

Pro Visual C++/CLI and the .Net 2.0 Platform by Fraser, Stephen R. G.

The Definitive Guide to Imagemagick by Still, Michael

The Definitive Guide to Building Java Robots by Preston, Scott

The Definitive Guide to Apache Mod_rewrite by Bowen, Rich

Computations with Modular Forms: Proceedings of a Summer School and Conference, Heidelberg, August/September 2011 by

The Power of Algorithms: Inspiration and Examples in Everyday Life by

JDBC Metadata, Mysql, and Oracle Recipes: A Problem-Solution Approach by Parsian, Mahmoud

Handbook of Neuroevolution Through ERLANG by Sher, Gene I.

Rational Bases and Generalized Barycentrics: Applications to Finite Elements and Graphics by Wachspress, Eugene

Processing: Creative Coding and Computational Art by Greenberg, Ira

Python for Signal Processing: Featuring Ipython Notebooks by Unpingco, José

.Net 2.0 Interoperability Recipes: A Problem-Solution Approach by Bukovics, Bruce

Principles and Practice of Constraint Programming: 22nd International Conference, Cp 2016, Toulouse, France, September 5-9, 2016, Proceedings by

Compiler Design: Analysis and Transformation by Wilhelm, Reinhard, Hack, Sebastian, Seidl, Helmut

Collaborative Quality Assurance in Information Systems Development: The Interaction of Software Development Techniques and Team Cognition by Spohrer, Kai

Hybrid Soft Computing Approaches: Research and Applications by

Cuckoo Search and Firefly Algorithm: Theory and Applications by

Cage-Based Performance Capture by Savoye, Yann

Practical Mono by Mamone, Mark

R for SAS and SPSS Users by Muenchen, Robert A.

Geometric Algebra: An Algebraic System for Computer Games and Animation by Vince, John A.

CGAL Arrangements and Their Applications: A Step-By-Step Guide by Wein, Ron, Fogel, Efi, Halperin, Dan

Pro Apache Ant by Moodie, Matthew

Human-Centered and Error-Resilient Systems Development: Ifip Wg 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Sof by

Algorithmic Randomness and Complexity by Hirschfeldt, Denis R., Downey, Rodney G.

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction by Pudlák, Pavel

Socio-Technical Design of Ubiquitous Computing Systems by

Soft Computing for Image and Multimedia Data Processing by Bhattacharyya, Siddhartha, Maulik, Ujjwal

Topology-Based Methods in Visualization II by

Computer Vision: Detection, Recognition and Reconstruction by

Visualization in Medicine and Life Sciences II: Progress and New Challenges by

Registration and Recognition in Images and Videos by

Hacking Made Easy 1 by Sycamore, Alexander, Publishing, Ash

Performance-Measurement und -Management von Kennzahlen- und Informationssystemen by Syring, Maurice

Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks by

Handbook of Medical and Healthcare Technologies by

Genetic Programming Theory and Practice XI by

Design Science Methodology for Information Systems and Software Engineering by Wieringa, Roel J.

Topological Methods in Data Analysis and Visualization: Theory, Algorithms, and Applications by

Modeling and Tools for Network Simulation by

New Developments in the Visualization and Processing of Tensor Fields by

On Meaningful Scientific Laws by Doble, Christopher, Falmagne, Jean-Claude

Machine Vision: Automated Visual Inspection: Theory, Practice and Applications by Frese, Christian, Puente León, Fernando, Beyerer, Jürgen

On the Way to the Web: The Secret History of the Internet and Its Founders by Banks, Michael

Software Project Management in a Changing World by

Progress and New Trends in 3D Geoinformation Sciences by

Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles by

Real World SQL and Pl/Sql: Advice from the Experts by Tierney, Brendan, Helskyaho, Heli, Nanda, Arup

Fluid Dynamics: Theory, Computation, and Numerical Simulation by Pozrikidis, Constantine

Wireless Multimedia Sensor Networks on Reconfigurable Hardware: Information Reduction Techniques by Ang, Li-Minn, Seng, Kah Phooi, Chew, Li Wern

Contemporary Evolution Strategies by Krause, Peter, Bäck, Thomas, Foussette, Christophe

Time and Petri Nets by Popova-Zeugmann, Louchka

Advanced Computational Approaches to Biomedical Engineering by

Petri Net Synthesis by Bernardinello, Luca, Darondeau, Philippe, Badouel, Eric

Rediscovering the World: Map Transformations of Human and Physical Space by Hennig, Benjamin

Practitioner's Knowledge Representation: A Pathway to Improve Software Effort Estimation by Mendes, Emilia

Riemannian Computing in Computer Vision by

Introduction to Nonsmooth Optimization: Theory, Practice and Software by Karmitsa, Napsu, Mäkelä, Marko M., Bagirov, Adil

Feature-Oriented Software Product Lines: Concepts and Implementation by Apel, Sven, Batory, Don, Kästner, Christian

Visual Cryptography for Image Processing and Security: Theory, Methods, and Applications by Liu, Feng, Yan, Wei Qi

Touch of Class: Learning to Program Well with Objects and Contracts by Meyer, Bertrand

Gamification-Based E-Learning Strategies for Computer Programming Education by

Foundation Flash Applications for Mobile Devices by De Boer, Weyert, Janousek, Scott, Leggett, Richard

Digital Imaging Primer by Parkin, Alan

Pattern Recognition and Machine Learning by Bishop, Christopher M.

Modelling and Simulation: Exploring Dynamic System Behaviour by Arbez, Gilbert, Birta, Louis G.

Facets of Combinatorial Optimization: Festschrift for Martin Grötschel by

Intelligent Multimedia Surveillance: Current Trends and Research by

Use Case Driven Object Modeling with Umltheory and Practice: Theory and Practice by Stephens, Matt, Rosenberg, Don

Founders at Work: Stories of Startups' Early Days by Livingston, Jessica

Elliptische-Kurven-Kryptographie by Jonas, Tobias

Start Programming with Python by Kelley, James

Fortbildungsmaßnahmen steuern und verwalten. Analyse und Konzeption einer Software für ein Landratsamt by Hammann, Jens-Uwe

GCC 6.1 GNAT Reference Manual by Team, Gcc Documentation

GCC 6.1 GNAT User's Guide for Native Platforms by Team, Gcc Documentation

GCC 6.1 GNU GCJ Reference Manual by Tromey, Tom

Coding Interview Questions by Karumanchi, Narasimha

Start a Career with Python: The hands-on step-by-step guide for the complete beginner with real life examples by Rodrigues, Pedro

Css: CSS Awesomeness Book - Learn To Write CSS The Awesome Way! by Tsur-Mayer, Gilad E.

GCC 6.1 GNU CPP Reference Manual by Weinberg, Zachary, Stallman, Richard M.

Business Analysis, Software Testing, Usability: A Quick Guide Book for Better Project Management and Faster IT Career by

Advances in Computers: Volume 103 by

Einführung in UML: Analyse Und Entwurf Von Software by Fieml, Julian, Van Randen, Hendrik Jan, Bercker, Christian

Support Vector Machines and Perceptrons: Learning, Optimization, Classification, and Application to Social Networks by Murty, M. N., Raghava, Rashmi

Internet Science: Third International Conference, Insci 2016, Florence, Italy, September 12-14, 2016, Proceedings by

Service-Oriented and Cloud Computing: 5th Ifip Wg 2.14 European Conference, Esocc 2016, Vienna, Austria, September 5-7, 2016, Proceedings by

Les Casseurs: Rhodes by Decart, Henri

Learning Bootstrap 4 Second Edition by Lambert, Matt

Scheduling in Distributed Computing Environment Using Dynamic Load Balancing by Kanungo, Priyesh

Microsoft Access 2016 Programming by Example: With Vba, XML, and ASP by Korol, Julitta