Programming in 2013

Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings by

Software Process Improvement and Capability Determination: 13th International Conference, Spice 2013, Bremen, Germany, June 4-6, 2013. Proceedings by

Design Science at the Intersection of Physical and Virtual Design: 8th International Conference, Desrist 2013, Helsinki, Finland, June 11-12,2013, Pro by

Compiler Construction by Waite, William M., Goos, Gerhard

Multithreading in C# 5.0 Cookbook by Agafonov, Eugene

Imaging the Brain in Autism by

Genetic Programming Theory and Practice X by

Language Processing and Intelligent Information Systems: 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013, Proceedings by

Enterprise, Business-Process and Information Systems Modeling: 14th International Conference, Bpmds 2013, 18th International Conference, Emmsad 2013, by

Developments in Language Theory: 17th International Conference, Dlt 2013, Marne-La-Vallée, France, June 18-21, 2013, Proceedings by

User Acceptance Testing: A Step-By-Step Guide by Van Goethem, Pauline, Hambling, Brian

Hyperspectral Image Fusion by Kotwal, Ketan, Chaudhuri, Subhasis

Der sichere Webserver und seine Umgebung: Aufsetzen, Programmieren und Testen: ein Trainings-, Übungs- und Ideenbuch für den Administrator, Webprogram by Brands, Gilbert

Experimental Algorithms: 12th International Symposium, Sea 2013, Rome, Italy, June 5-7, 2013, Proceedings by

Post-Quantum Cryptography: 5th International Workshop, Pqcrypto 2013, Limoges, France, June 4-7, 2013, Proceedings by

Theory and Practice of Model Transformations: 6th International Conference, Icmt 2013, Budapest, Hungary, June 18-19, 2013, Proceedings by

Approaches to Probabilistic Model Learning for Mobile Manipulation Robots by Sturm, Jürgen

Instant Razor View Engine How-to by Kumar Vatsa, Abhimanyu

Oracle Soa Suite 11g Performance Cookbook by Addy, Mark, Wright, Nicholas, Brasier, Matthew

Make Your Own Game Apps - For Kids: Make Your Own Game Apps - For Kids by Balwalli, Krishna

Instant Play Framework Starter by Dietrich, Daniel

Learn Cocoa on the Mac by Clark, Peter, Nutting, Jack

Cross-Application-Development (HTML5): Plattformübergreifende Softwareentwicklung mit HTML5 by Dietrich, Patrick

Instant Stylecop Code Analysis How-to by Leveque, Franck

Enterprise Java for SAP by Sincock, Austin

Computer Science Programming Basics in Ruby: Exploring Concepts and Curriculum with Ruby by Grossman, David, Frieder, Ophir, Frieder, Gideon

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

Algorithms and Complexity: 8th International Conference, Ciac 2013, Barcelona, Spain, May 22-24, 2013. Proceedings by

Quick Intro Guide to Computer Science 2 with C++: A Brief Introduction to Data Structures and Algorithms by Baugh, John P.

Hacker im Wandel der Zeit: Über die differenzierte Verwendung des Hackerbegriffes by Witte, Randy

HTML5 Canvas: Native Interactivity and Animation for the Web by Fulton, Steve, Fulton, Jeff

Pro Oracle Spatial by Kothuri, Ravikanth, Beinat, Euro, Godfrind, Albert

How To Publish Your App: A simple illustrated guide walking you through the steps required to get your App on the App Store! No code. Just the the inf by Spink, Grant

Real-Time Systems: Design Principles for Distributed Embedded Applications by Kopetz, Hermann

Physics for Game Developers by Bywalec, Bryan, Bourg, David M.

Nonlinear Optimization and Applications by

An Introduction to Computer Graphics for Artists by Paquette, Andrew

Seeking Chances: From Biased Rationality to Distributed Cognition by Bardone, Emanuele

Material Appearance Modeling: A Data-Coherent Approach by Lin, Stephen, Guo, Baining, Dong, Yue

Advanced Computational Methods for Knowledge Engineering by

Simulation eines Hochregallagers in Java by Erdmann, Anika

Image Processing Using Pulse-Coupled Neural Networks: Applications in Python by Kinser, Jason M., Lindblad, Thomas

Handbook of Collective Robotics: Fundamentals and Challenges by

Innovation and Future of Enterprise Information Systems: Erp Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers by

Test Requirement Driven Development: The product development catalyst by O'Reilly, Michael

Medical Virology 8 by

Nominal Sets by Pitts, Andrew M.

New Developments in Distributed Applications and Interoperable Systems: Ifip Tc6 / Wg6.1 Third International Working Conference on Distributed Applica by

Quantitative Neuroscience: Models, Algorithms, Diagnostics, and Therapeutic Applications by

HTML5 Game Programming with Enchant.Js by Furukawa, Hidekazu, Fushimi, Ryohei, Shimizu, Ryo

Touchdevelop: Programming on the Go by Horspool, Nigel, Tillmann, Nikolai, Bishop, Judith

SIGMA: A Knowledge-Based Aerial Image Understanding System by Matsuyama, Takashi, Hwang, Vincent Shang-Shouq

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

Engineering Effective Decision Support Technologies: New Models and Applications by

Tools for Mobile Multimedia Programming and Development by

3D Biometrics: Systems and Applications by Zhang, David, Lu, Guangming

Sfml Game Development by Haller, Jan, Vogelius Hansson, Henrik, Moreira, Artur

Instant Magento Shipping How-To by Kent, Robert

Instant MapReduce Patterns - Hadoop Essentials How-to by Perera, Srinath

Instant Jsoup How-to by Houston, Pete

Instant Apache ActiveMQ Messaging Application Development How-to by Bish, Timothy

FoxTales: Behind the Scenes at Fox Software by Nietz, Kerry

Creating a User Registration Membership System by Johnston Phd, Onaje

Augmented Reality with Kinect by Wang, Rui

Instant Yii 1.1 Application Development Starter by Mumm, Jacob, Safronov, Mark

Entwicklung eines micro-grid-basierten Ansatzes für das Smart Grid der Zukunft by Kitzmann, Jens

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

Finding Source Code on the Web for Remix and Reuse by

Distributed Graph Algorithms for Computer Networks by Erciyes, Kayhan

Cloud Computing: Methods and Practical Approaches by

Programming Grails: Best Practices for Experienced Grails Developers by Beckwith, Burt

Security Patterns in Practice by Fernandez-Buglioni, Eduardo

Marine Navigation and Safety of Sea Transportation: Maritime Transport & Shipping by

Abstraction in Artificial Intelligence and Complex Systems by Zucker, Jean-Daniel, Saitta, Lorenza

JavaScript Programmer's Reference by Reid, Jonathan, Valentine, Thomas

Marine Navigation and Safety of Sea Transportation: Navigational Problems by

Multimedia Processing, Communication and Computing Applications: Proceedings of the First International Conference, Icmcca, 13-15 December 2012 by

Business Information Systems: 16th International Conference, Bis 2013, Poznań, Poland, June 19-21, 2013, Proceedings by

Computer Networks: 20th International Conference, Cn 2013, Lwowek Slaski, Poland, June 17-21, 2013. Proceedings by

Inductive Logic Programming: 22nd International Conference, Ilp 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected Papers by

Programming Multi-Agent Systems: 10th International Workshop, Promas 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers by

Emerging Management Mechanisms for the Future Internet: 7th Ifip Wg 6.6 International Conference on Autonomous Infrastructure, Management, and Securit by

Ecoop 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings by

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Third Joint International Conference, Faw-Aaim 2013, Dalian, China, J by

Unconventional Computation and Natural Computation: 12th International Conference, Ucnc 2013, Milan, Italy, July 1-5, 2013, Proceedings by

Information Processing in Computer-Assisted Interventions: 4th International Conference, Ipcai 2013, Heidelberg, Germany, June 26, 2013. Proceedings by

Business Process Models: Change Management by Gerth, Christian

Image Analysis: 18th Scandinavian Conference, Scia 2013, Espoo, Finland, June 17-20, 2013, Proceedings by

Safe and Secure Software Reuse: 13th International Conference on Software Reuse, Icsr 2013, Pisa, Italy, June 18-20, 2013, Proceedings by

Reversible Computation: 5th International Conference, Rc 2013, Victoria, Bc, Canada, July 4-5, 2013. Proceedings by

Pattern Recognition: 5th Mexican Conference, McPr 2013, Queretaro, Mexico, June 26-29, 2013. Proceedings by

Software Architecture: 7th European Conference, Ecsa 2013, Montpellier, France, July 1-5, 2013, Proceedings by

UFT/QTP Interview Unplugged: And I thought I knew UFT! by

Image Analysis and Recognition: 10th International Conference, Iciar, Aveiro, Portugal, June 26-28, 2013, Proceedings by

Application and Theory of Petri Nets and Concurrency: 34th International Conference, Petri Nets 2013, Milan, Italy, June 24-28, 2013, Proceedings by

Static Analysis: 20th International Symposium, SAS 2013, Seattle, Wa, Usa, June 20-22, 2012, Proceedings by

Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings by

Trust and Trustworthy Computing: 6th International Conference, Trust 2013, London, Uk, June 17-19, 2013, Proceedings by

Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, Eindhoven, the Netherlands, June 26-28, 2013, Proceedings by

Modelling Foundations and Applications: 9th European Conference, Ecmfa 2013, Montpellier, France, July 1-5, 2013, Proceedings by

Functional Imaging and Modeling of the Heart: 7th International Conference, Fimh 2013, London, Uk, June 20-22,2013, Proceedings by

Sdl 2013: Model Driven Dependability Engineering: 16th International Sdl Forum, Montreal, Canada, June 26-28, 2013, Proceedings by

Tests and Proofs: 7th International Conference, Tap 2013, Budapest, Hungary, June 16-20, 2013. Proceedings by

OCaml from the Very Beginning by Whitington, John

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm by

Konzepte und spezielle Anforderungen im Mobile Content Management by Friedhoff, Patrick

High Performance Computing for Computational Science - Vecpar 2012: 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Pap by

Information Processing in Medical Imaging: 23rd International Conference, Ipmi 2013, Asilomar, Ca, Usa, June 28--July 3, 2013, Proceedings by

JavaScript for PHP Developers: A Concise Guide to Mastering JavaScript by Stefanov, Stoyan

Transactions on Pattern Languages of Programming III by

Die wichtigsten Web-Standards. Ein Überblick: Standards für integrierte Anwendungssysteme by Richter, Martin

Theory and Practice of Computation: 2nd Workshop on Computation: Theory and Practice, Manila, the Philippines, September 2012, Proceedings by

Understanding and Using C Pointers: Core Techniques for Memory Management by Reese, Richard M.

Comp to Digital Literary Studi by

Semantic Networks for Understanding Scenes by Sagerer, Gerhard, Niemann, Heinrich

Electronic Music and Sound Design - Theory and Practice with Max and Msp - Volume 1 (Second Edition) by Cipriani, Alessandro, Giri, Maurizio

Current Implementation Level of Business Process Management in Corporate Practice: A Quantitative Analysis by Schröder, Christian, Hecking, Michel

Alfresco 4 Enterprise Content Management Implementation by Shariff, Munwar, Shah, Snehal, Avatani, Rajesh

Managing Requirements Knowledge by

Shared-Memory Synchronization by Scott, Michael L.

SharePoint 2013 User's Guide: Learning Microsoft's Business Collaboration Platform by Smith, Anthony

Pro SharePoint 2013 Branding and Responsive Web Development by Zhang, Rita, Medina, Oscar, Khipple, Kanwal

Konzeption eines Vorgehensmodells zur kontinuierlichen Weiterentwicklung von Mitarbeiterportalen: Am Beispiel eines IT-Dienstleisters by Struck, Christian

Express Web Application Development by Yaapa, Hage

Soziale Medien: Möglichkeiten und Risiken by Seip, Niklas

Jboss Weld CDI for Java Platform by Finnegan, Ken

CIL Programming: Under the Hood of .Net by Bock, Jason

Asuntos de la Ingeniería del Software: Volumen 2 by Salazar Caraballo, Luis Antonio

Bpel and Java Cookbook by Laznik, Jurij

Read Me First: Android Game Development for Kids and Adults (Free Game and Source Code Included) by Lee, Newton

Pattern Recognition in Bioinformatics: 8th Iapr International Conference, Prib 2013, Nice, France, June 17-20, 2013. Proceedings by

Bootstrap: Responsive Web Development by Spurlock, Jake

Programación En Objetive-C Con Xcode Y Gcc by G. Arias, Miguel Angel

Crea Aplicaciones Metro Style Con Html, CSS Y JavaScript by G. Arias, Miguel Angel

Machbarkeitsstudie zur Integration eines CAD-Systems in ein Product Lifecycle Management System: Integration von Catia V5 und Aras Innovator in Zusamm by Richter, Martin

Network Anomaly Detection: A Machine Learning Perspective by Bhattacharyya, Dhruba Kumar, Kalita, Jugal Kumar

Peopleware: Productive Projects and Teams by DeMarco, Tom, Lister, Tim

Windows 8 and Windows Phone 8 Game Development by Dawes, Adam

Acts of the Progamme Sematics and Syntax by

Programación en Objective-C. Programa para MAC y iPhone by G. Arias, Miguel Angel

SQL Success - Database Programming Proficiency by Faroult, Stephane

Learning Three.Js: The JavaScript 3D Library for Webgl by Dirksen, Jos

Learning Qgis by Graser, Anita

Introduction to Combinatorial Testing by Kuhn, D. Richard, Kacker, Raghu N., Lei, Yu

Implementing Domain-Specific Languages with Xtext and Xtend by Bettini, Lorenzo

Instant Audio Processing with Web Audio How-to by Khoo, Chris

Cross-Platform .Net Development: Using Mono, Portable.Net, and Microsoft .Net by King, Jason, Easton, Mark

Getting Started with Oracle Weblogic Server 12c: Developer's Guide by Mazanatti Nunes, Fabio

Jmonkeyengine 3.0 Beginner's Guide by Kusterer, Ruth Irene, Irenekusterer, Ruth

Nerd Guide Simple Factory Architecture with C# by Diaz III, Daniel

Simply Programming C# and Visual Basic .: C# and Visual Basic by Queen, John

Html5 Web Application Development by Example by M. Gustafson, J.

Oracle Soa Bpel PM 11g R1: A Hands-On Tutorial by Saraswathi, Ravi, Jaswant, Singh

Fundamentals of X Programming: Graphical User Interfaces and Beyond by Pavlidis, Theo

Causes of Data Breaches and Preventive Measures. Data Loss Prevention by Rajole, Vikas

IT-Outsourcing & IT-Offshoring by Cardinal Von Widder, Kai

Robocup 2012: Robot Soccer World Cup XVI by

Sustainable Web Ecosystem Design by O'Toole, Greg

Developing Backbone.Js Applications: Building Better JavaScript Applications by Osmani, Addy

Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach by

Parallel Programming: For Multicore and Cluster Systems by Rünger, Gudula, Rauber, Thomas

Python Cookbook: Recipes for Mastering Python 3 by Jones, Brian K., Beazley, David

Introducing Java Ee 7: A Look at What's New by Juneau, Josh

Pro Hibernate and MongoDB by Leonard, Anghel

Beginning ASP.NET MVC 4 by Guay Paz, Jose Rolando

Treading on Python Volume 2: Intermediate Python by Harrison, Matt

First-Order Logic and Automated Theorem Proving by Fitting, Melvin

Beginning Java Ee 7 by Goncalves, Antonio

Wordpress for Web Developers: An Introduction for Web Professionals by Leary, Stephanie

Voice over IP unter Linux: Nebenstellenanlage mit Asterisk by Sauer, Michael

Groovy 2 Cookbook by Adamovich, Andrey, Fiandesio, Luciano

Html5 Avanzado.: Html5 En Profundidad by G. Arias, Miguel Angel

Information Systems: Methods, Models, and Applications: 4th International United Information Systems Conference, Uniscon 2012, Yalta, Ukraine, June 1- by

Data Structures and Algorithm Analysis in C++ by Weiss, Mark

Benchmarking Peer-To-Peer Systems: Understanding Quality of Service in Large-Scale Distributed Systems by

In-Memory BI Architectures am Beispiel QlikView by Spangenberg, Norman

Cloud-Computing: Kollaborationslösungen in der Public Cloud und Softwareplattformen für Private Clouds by Hencke, Kai

Getting Started with Google Guava by Bejeck, Bill

Nutzereinbindung in der Spieleentwicklung by Seip, Niklas

Jpeg2000 Image Compression Fundamentals, Standards and Practice: Image Compression Fundamentals, Standards and Practice by Taubman, David, Marcellin, Michael

Elementary Android App Development by Kaiser-Pendergrast, Victor a.

Frameworks for Developing Efficient Information Systems: Models, Theory, and Practice by

Progressions and Innovations in Model-Driven Software Engineering by

Knowledge-Based Processes in Software Development by

High-Integrity Software by

A Practical Introduction to Pascal by Wilson/Addyman

Fundamentals of Operating Systems by Lister

Achieving Quality in Software: Proceedings of the Third International Conference on Achieving Quality in Software, 1996 by

JavaScript Inheritance and Object Programming by Rinehart, Martin

The Keys to Our Success: Lessons Learned from 25 of Our Best Project Managers by Vigar, Derek, Barrett, David

Using Event-B for Critical Device Software Systems by Singh, Neeraj Kumar

Relational Theory for Computer Professionals: What Relational Databases Are Really All about by Date, Chris J.

Integrated Uncertainty in Knowledge Modelling and Decision Making: International Symposium, Iukm 2013, Beijing, China, July 12-14, 2013, Proceedings by

Stochastic World by Stepanov, Sergey S.

Understanding Computation: From Simple Machines to Impossible Programs by Stuart, Tom

Linux System Programming: Talking Directly to the Kernel and C Library by Love, Robert

Real-Time Security Extensions for Epcglobal Networks: Case Study for the Pharmaceutical Industry by Schapranow, Matthieu-P

Hemp: An agile approach to analysis and design by Jones, David E.

Expert Android by MacLean, Dave, Komatineni, Satya

Cryptography in C and C++ by Welschenbach, Michael