2015

Abstract domains in constraint programming

Pelleau, Marie, author

London, UK : ISTE Press ; Kidlington, Oxford, UK : Elsevier, 2015

 

2016

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

ABZ (Conference) (5th : 2016 : Linz, Austria)

Switzerland : Springer, 2016

 

2018

Accelerator programming using directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analys

WACCPD (Workshop) (4th : 2017 : Denver, Colo.)

Cham, Switzerland : Springer, [2018]

 

2019

Actionable gamification : beyond points, badges, and leaderboards

Chou, Yu-Kai, 1986- author.

Birmingham, UK : Packt Publishing, 2019

 

2015

Adaptive resource management and scheduling for cloud computing : Second International Workshop, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015,

ARMS-CC (Workshop) (2nd : 2015 : San Sebastián, Spain)

Cham : Springer, [2015]

 

2019

Advanced C++ : Master the Technique of Confidently Writing Robust C++ Code

Alankus, Gazihan



 

2011

Advanced Java EE development for Rational Application Developer 7.5 : developers' guidebook

Cole, Kameron
1st ed


 

2016

Advances in data mining : applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016, Proceedings

Industrial Conference on Data Mining (16th : 2016 : New York, N.Y.)

Switzerland : Springer, 2016

 

2017

Agent based modelling of urban systems : first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, selected, and invited papers

ABMUS (Workshop) (1st : 2016 : Singapore)

Cham, Switzerland : Springer, 2017

 

2015

Agent environments for multi-agent systems IV : 4th International Workshop, E4MAS 2014-10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

E4MAS (Workshop) (4th : 2014 : Paris, France)

Cham : Springer, 2015

 

2017

Agents and artificial intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers

ICAART (Conference) (8th : 2016 : Rome, Italy)

Cham, Switzerland : Springer, 2017

 

2018

The Agile developer's handbook : get more value from your software development : get the best out of the Agile methodology

Flewelling, Paul, author

Birmingham, UK : Packt Publishing, 2018

 

2018

The Agile Developer's Handbook : Get more value from your software development: get the best out of the Agile methodology

Flewelling, Paul



 

2013

Agile Project Management with GreenHopper 6 Blueprints : an intuitive guide to efficiently track and manage projects in an agile way using GreenHopper for JIRA

Malik, Jaibeer



 

2014

Agile! : the good, the hype and the ugly

Meyer-Stabley, Bertrand, author.

Switzerland : Springer, [2014]

 

2018

AI approaches to the complexity of legal systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017

Cham, Switzerland : Springer, 2018

 

2017

AI*IA 2017 : Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Associazione italiana per l'intelligenza artificiale. Congress (16th : 2017 : Bari, Italy)

Cham, Switzerland : Springer, 2017

 

2017

Akka cookbook : make your application fast, concurrent, and reactive through exciting recipes

Veiga Ortiz, Héctor, author

Birmingham, UK : Packt Publishing, 2017

 

2016

Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers

ALGOCLOUD (Workshop) (1st : 2015 : Patrai, Greece)

Cham : Springer, 2016

 

2015

Algorithmic decision theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

ADT (Conference) (4th : 2015 : Lexington, Ky.)

Cham : Springer, 2015

 

2014

Algorithmic differentiation of pragma-defined parallel regions : differentiating computer programs containing OpenMP

Förster, Michael, author

Wiesbaden : Springer Vieweg, 2014

 

2016

Algorithms and architectures for parallel processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

International Conference on Algorithms and Architectures for Parallel Processing (16th : 2016 : Granada, Spain)

Cham : Springer, 2016

 

2017

Analyzing data with Microsoft Power BI and Power Pivot for Excel

Ferrari, Alberto, 1966- author.

Redmond, Washington : Microsoft Press, [2017]

 

2012

Android application development cookbook : 93 Recipes for Building Winning Apps

Lee, Wei-Meng



 

2020

Android apps security : mitigate hacking attacks and security breaches

Gunasekera, Sheran.
Second edition


 

2015

Android game programming by example : harness the power of the Android SDK by building three immersive and captivating games

Horton, John, author

Birmingham, UK : Packt Publishing, 2015

 

2016

Android Sensor Programming By Example

Nagpal, Varun, author



 

2018

Angular 6 for Enterprise-Ready Web Applications : Deliver production-ready and cloud-scale Angular web apps

Uluca, Doguhan



 

2018

Angular design patterns : implement the Gang of Four patterns in your apps with Angular

Nayrolles, Mathieu, author

Birmingham, UK : Packt Publishing, 2018

 

2014

Application administrators handbook : installing, updating and troubleshooting software

Bourne, Kelly C.



 

2016

Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (37th : 2016 : Toruń, Poland)

Switzerland : Springer, 2016

 

2017

Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)

Cham, Switzerland : Springer, [2017]

 

2018

Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (39th : 2018 : Bratislava, Slovakia)



 

2020

Application and theory of petri nets and concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (41st : 2020 : Online)



 

2017

Applied logic for computer scientists : computational deduction and formal proofs

Ayala-Rincón, M. (Mauricio), author.

Cham, Switzerland : Springer, 2017

 

2015

Arduino development cookbook : over 50 hands-on recipes to quickly build and understand Arduino projects, from the simplest to the most extraordinary

Amariei, Cornel, author

Birmingham, UK : Packt Publishing, 2015

 

2017

Arduino for kids : a cool guide to help kids develop robots and electronics

Kuber, Priya, author

Birmingham, UK : Packt Publishing, 2017

 

2015

The art of computer programming.

Knuth, Donald Ervin, 1938- author

Boston, MA : Addison-Wesley/Pearson Education, [2015]

 

2017

Artificial intelligence in medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, proceedings

Conference on Artificial Intelligence in Medicine (2005- ) (16th : 2017 : Vienna, Austria), author

Cham, Switzerland : Springer, [2017]

 

2017

ASP.NET core recipes : a problem-solution approach

Ciliberti, John, author
Second edition
[United States] : Apress, 2017

 

2013

ASP.NET MVC 4 recipes : a problem-solution approach

Ciliberti, John



 

2019

Asyncio recipes : a problem-solution approach

Tahrioui, Mohamed Mustapha, author

[New York, NY] : Apress, [2019]

 

2017

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)

Cham, Switzerland : Springer, 2017

 

2019

Automated Methods in Cryptographic Fault Analysis

Cham, Switzerland : Springer Nature, [2019]

 

2016

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings

IJCAR (Conference) (8th : 2016 : Coimbra, Portugal)

Switzerland : Springer, 2016

 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2017

Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

TABLEAUX (Conference) (26th : 2017 : Brasília, Distrito Federal, Brazil)

Cham, Switzerland : Springer, 2017

 

2015

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

ATVA (Symposium) (13th : 2015 : Shanghai, China)

Cham : Springer, 2015

 

2016

Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

ATVA (Symposium) (14th : 2016 : Chiba, Japan)

Cham, Switzerland : Springer, 2016