Electronic Books

Total Books: 41 - 60 /77

Introduction to Algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein

Combines rigor and comprehensiveness. The book covers a broad range of algorithms in depth, yet makes their design and analysis ...

Introduction to Algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein

Combines rigor and comprehensiveness. It covers a broad range of algorithms in depth, yet makes their design and analysis ...

Introduction to Computational Optimization Models for Production Planning in a Supply Chain

In this book we strive to provide models that capture many of the - tails faced by ?rms operating in a modern supply chain, ...

Knowledge Discovery, Knowledge Engineering and Knowledge Management : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...

Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Linear Programming : Foundations and Extensions

Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained ...

Linear Programming and its Applications

This book presents a unified treatment of linear programming. Without sacrificing mathematical rigor, the main emphasis of ...

Logic Based Program Synthesis and Transformation (vol. # 3901)

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

Modelling and Development of Intelligent Systems : 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers

This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent ...

OpenMP: Portable Multi-Level Parallelism on Modern Systems

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, ...

Operations Research : A Model-Based Approach / H. A. Eiselt, Carl-Louis Sandblom

The main emphasis of the book is on modelling business-related scenarios and the generation of decision alternatives. Fully ...

Practical .NET 2.0 Networking Projects

Practical .NET 2.0 Networking Projects demonstrates some of the key networking technologies that are being made easily accessible ...

Practice and Theory of Automated Timetabling V

Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...

Pro LCS

Pro LCS: Live Communications Server Administration will guide you on how to best leverage Microsofts Live Communications ...

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...

Total Books: 41 - 60 /77