Title: Model Reduction of Parametrized Systems, Author: Peter Benner
Title: Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers, Author: Anthony Bonato
Title: Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, Author: Marco Bozzano
Title: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Alessandro Abate
Title: Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings, Author: Stefano Tonetta
Title: Beginning C# 7 Hands-On - The Core Language: A C# 7 beginners guide to the core parts of the C# language!, Author: Tom Owsiak
Title: Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, Author: Stefano Tonetta
Title: Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, Author: Ralf Klasing
Title: Fluid-structure Interactions: Models, Analysis and Finite Elements, Author: Thomas Richter
Title: Android Continuous Integration: Build-Deploy-Test Automation for Android Mobile Apps, Author: Pradeep Macharla
Title: Advances in Computers, Author: Atif Memon
Title: Quick Clojure: Effective Functional Programming, Author: Mark McDonnell
Title: Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Nathalie Bertrand
Title: Learning Concurrency in Python: Practically and deeply understand concurrency in Python to write efficient programs, Author: Elliot Forbes
Title: Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, Author: Francesco Ranzato
Title: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, Author: Kamel Barkaoui
Title: Algorithms and Programs of Dynamic Mixture Estimation: Unified Approach to Different Types of Components, Author: Ivan Nagy
Title: Learning C++ Functional Programming: Apply Functional Programming techniques to C++ to build highly modular, testable, and reusable code, Author: Wisnu Anggoro
Title: Algorithms and Architectures for Parallel Processing: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings, Author: Shadi Ibrahim
Title: Concurrency Control in Distributed System Using Mutual Exclusion, Author: Sukhendu Kanrar

Pagination Links