الكتب الالكترونية

عدد الكتب: 81 - 100 /116
978-0-387-79422-8
Programming Languages : An Active Learning Approach

Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...

اقرأ المزيد
978-3-030-44914-8
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, ...

اقرأ المزيد
978-3-030-72019-3
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 ...

اقرأ المزيد
978-3-030-17184-1
Programming Languages and Systems

It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...

اقرأ المزيد
978-3-540-78739-6
Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...

اقرأ المزيد
NoIMG
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 ...

اقرأ المزيد
978-3-540-89330-1
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

اقرأ المزيد
978-1-84882-914-5
Programming Languages: Principles and Paradigms / Maurizio Gabbrielli, Simone Martini

Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and ...

اقرأ المزيد
978-3-540-79043-3
Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...

اقرأ المزيد
978-3-540-87879-7
Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...

اقرأ المزيد
978-1-4842-7924-3
R 4 Quick Syntax Reference : A Pocket Guide to the Language, API's and Library / Margot Tollefson

tarting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required ...

اقرأ المزيد
978-3-540-89812-2
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...

اقرأ المزيد
978-3-540-87475-1
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

اقرأ المزيد
978-3-540-68624-8
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

اقرأ المزيد
978-1-4842-4221-6
Rethinking Productivity in Software Engineering

Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...

اقرأ المزيد
978-3-540-70590-1
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...

اقرأ المزيد
978-3-540-88425-5
Rough Sets and Current Trends in Computing : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...

اقرأ المزيد
978-3-540-89247-2
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

اقرأ المزيد
978-3-540-87993-0
Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

اقرأ المزيد
978-3-540-88030-1
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

اقرأ المزيد
عدد الكتب: 81 - 100 /116