Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Aspects of Component Software
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
Computer Science – CACIC 2020
This book constitutes revised selected papers from the 26th Argentine Congress on Computer Science, CACIC 2020, held in San Justo, Buenos Aires, Argentina in October 2020. Due to the COVID-19 pandemic the conference was held in a virtual mode. The 21 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 118 submissions. They were organized in topical sections named: intelligent agents and systems; distributed and parallel processing; computer technology applied to education; graphic computation, images and visualization; software engineering; databases and data mining; hardware architectures, networks, and operating systems; innovation in software systems; signal processing and real-time systems; innovation in computer science education; computer security; and digital governance and smart cities.
Language Engineering and Rigorous Software Development
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.
Programming Languages
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering.
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.
Programming Languages
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.
ECEL 2016 - Proceedings of the 15th European Conference on e- Learning
Proceedings of the 15th European Conference on e- Learning (ECEL 2016)
Collaboration and Technology
This book constitutes the proceedings of the 19th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Wellington, New Zealand, in October/November 2013. The 18 revised papers presented together with 4 progress papers were carefully reviewed and selected from 34 submissions. They are organized into six thematic sessions as follows social media, social networks, crowdsourcing, learning, collaboration design and software development.
Computer Science – CACIC 2022
This book constitutes the refereed proceedings of the 28th Argentine Congress on Computer Science, CACIC 2022, held in La Rioja, Argentina, during October 3–6, 2022. The 20 full papers included in this book were carefully reviewed and selected from 184 submissions. They were organized in topical sections as follows: Agents and Systems; Technology Applied to Education; Graphic Computation, Images and Visualization; Software Engineering; Databases and Data Mining; Hardware Architectures, Networks, and Operating Systems; Innovation in Software Systems; Signal Processing and Real-Time Systems; Innovation in Computer Science Education; and Digital Goverance and Smart Cities.
