Descarga Libros Online

Descarga ebooks para leer gratis en formato PDF y EPUB

Busca tu Ebook:

Número total de libros encontrados: 40 para tu búsqueda. Disfruta de tu ebook!!!
Syntax-Directed Semantics

Syntax-Directed Semantics

Autor: Zoltan Fülöp , Heiko Vogler

Número de Páginas: 279

The subject of this book is the investigation of tree transducers. Tree trans ducers were introduced in theoretical computer science in order to study the general properties of formal models which give semantics to context-free languages in a syntax-directed way. Such formal models include attribute grammars with synthesized attributes only, denotational semantics, and at tribute grammars (with synthesized and inherited attributes). However, these formal models share certain constituents which are irrelevant in the investi gation of the general properties considered in this book. In particular, we can abstract (a) from derivation trees of the context-free grammar and take trees over some ranked alphabet, (b) from the semantic domain of the model and use the initial term algebra instead, and finally (c) from the machine oriented computation paradigm, which maintains the incarnation information of recursive function calls, and take a term rewriting semantics instead. Ap plying these three abstraction steps to attribute grammars with synthesized attributes only, to denotational semantics, and to attribute grammars we obtain the concepts of top-down tree transducer, macro tree...

S. Chand’s Computer Science for Class 12

S. Chand’s Computer Science for Class 12

Autor: Dheeraj Mehrotra

Número de Páginas: 714

Across All Boards

Introduction to Compiler Design

Introduction to Compiler Design

Autor: Torben Ægidius Mogensen

Número de Páginas: 273

The second edition of this textbook has been fully revised and adds material about loop optimisation, function call optimisation and dataflow analysis. It presents techniques for making realistic compilers for simple programming languages, using techniques that are close to those used in "real" compilers, albeit in places slightly simplified for presentation purposes. All phases required for translating a high-level language to symbolic machine language are covered, including lexing, parsing, type checking, intermediate-code generation, machine-code generation, register allocation and optimisation, interpretation is covered briefly. Aiming to be neutral with respect to implementation languages, algorithms are presented in pseudo-code rather than in any specific programming language, but suggestions are in many cases given for how these can be realised in different language flavours. Introduction to Compiler Design is intended for an introductory course in compiler design, suitable for both undergraduate and graduate courses depending on which chapters are used.

Machines, Computations, and Universality

Machines, Computations, and Universality

Autor: Maurice Margenstern

Número de Páginas: 336

This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St. Petersburg, Russia in September 2004. The 21 revised full papers presented together with 5 invited papers went through two rounds of reviewing, selection, and improvement. A broad variety of foundational aspects in theoretical computer science are addressed, such as cellular automata, molecular computing, quantum computing, formal languages, automata theory, Turing machines, P systems, etc.

Algorithmique en C

Algorithmique en C

Autor: Jean-michel Léry

Número de Páginas: 290

Les grands classiques de l'algorithmique sont expliqués via une approche complète et progressive, illustrée de nombreux exemples. Plus de 100 programmes présentés au format source .c et en pseudo-langage disponibles pour travailler seul et à son rythme.

Prolog by Example

Prolog by Example

Autor: Helder Coelho , Jose C. Cotta

Número de Páginas: 381

Prolog has a declarative style. A predicate definition includes both the input and output parameters, and it allows a programmer to define a desired result without being concerned about the detailed instructions of how it is to be computed. Such a declarative language offers a solution to the software crisis, because it is shorter and more concise, more powerful and understandable than present-day languages. Logic highlights novel aspects of programming, namely using the same program to compute a relation and its inverse, and supporting deductive retrieval of informa tion. This is a book about using Prolog. Its real point is the examples introduced from Chapter 3 onwards, and so a Prolog programmer does not need to read Chapters 1 and 2, which are oriented more to teachers and to students, respec tively. The book is recommended for introductory and advanced university courses, where students may need to remember the basics about logic program ming and Prolog, before starting doing. Chapters 1 and 2 were also kept for the sake of unity of the whole material. In Chapter 1 a teaching strategy is explained based on the key concepts of Pro log which are novel aspects of programming....

The Statistical History of the United States from Colonial Times to the Present

The Statistical History of the United States from Colonial Times to the Present

Autor: United States. Bureau Of The Census

Número de Páginas: 984
Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment

Autor: Ulrich Flegel

Número de Páginas: 233

This book constitutes the refereed proceedings of the 6th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2009, held in Milan, Italy, in July 2009. The 10 revised full papers presented together with three extended abstracts were carefully selected from 44 initial submissions. The papers are organized in topical sections on malware and SPAM, emulation-based detection, software diversity, harnessing context, and anomaly detection.

Historical Statistics of the United States, Colonial Times to 1957

Historical Statistics of the United States, Colonial Times to 1957

Autor: United States. Bureau Of The Census

Número de Páginas: 168
U.S. Imports

U.S. Imports

Autor: United States. Bureau Of The Census

Número de Páginas: 388
Manual para el trabajo de campo del proyecto GLORIA

Manual para el trabajo de campo del proyecto GLORIA

Autor: Harald Pauli , Michael Gottfried , Andrea Lamprecht , Sophie Niessner , Sabine Rumpf , Manuela Winkler , Klaus Steinbauer , Georg Grabherr

Número de Páginas: 150

GLORIA, acrónimo de “Global Observation Research Initiative in Alpine Environments”, es decir, la Iniciativa para la Investigación y el Seguimiento Global de los Ambientes Alpinos, es un proyecto internacional de observación a largo plazo para evaluar los impactos del cambio climático sobre la biodiversidad de la alta montaña del planeta. Esta es la quinta versión del manual de campo de GLORIA, que describe con detalle el muestreo básico o estándar del Estudio de las cimas GLORIA, con las pautas para la selección de sitio, instalación de parcelas y recopilación de datos. Además, incluye métodos de las actividades opcionales complementarias y una descripción de otras actividades adicionales que están en marcha o se han iniciado recientemente en el marco de GLORIA.

U.S. Exports of Domestic Merchandise, SIC- Based Products and Area

U.S. Exports of Domestic Merchandise, SIC- Based Products and Area

Autor: United States. Bureau Of The Census

Número de Páginas: 378
Guide to Foreign Trade Statistics

Guide to Foreign Trade Statistics

Autor: United States. Bureau Of The Census

Número de Páginas: 224
Structural Information and Communication Complexity

Structural Information and Communication Complexity

Autor: Paola Flocchini , Leszek Gasieniec

Número de Páginas: 366

This book constitutes the refereed proceedings of the 13th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2006, held in Chester, UK, July 2006. The book presents 24 revised full papers together with three invited talks, on topics in distributed and parallel computing, information dissemination, communication complexity, interconnection networks, high speed networks, wireless and sensor networks, mobile computing, optical computing, autonomous robots, and related areas.

Towards the Future Internet

Towards the Future Internet

Autor: G. Tselentis , J. Domingue , A. Galis

Número de Páginas: 384

The Internet is a remarkable catalyst for creativity, collaboration and innovation providing us with amazing possibilities that just two decades ago would have been impossible to imagine. This work includes a peer-reviewed collection of scientific papers addressing some of the challenges that shape the Internet of the future.

Computer Graphics and Geometric Modelling

Computer Graphics and Geometric Modelling

Autor: Max K. Agoston

Número de Páginas: 960

Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modeling, this two-volume work covers implementation and theory in a thorough and systematic fashion. It covers the computer graphics part of the field of geometric modeling and includes all the standard computer graphics topics. The CD-ROM features two companion programs.

_算机_形_ —— 原理、方法与_用

_算机_形_ —— 原理、方法与_用

Número de Páginas: 403

�本_系_、全面地_述_算机_形_基本原理、方法及其_用。在__算机 _形系_作_要介_的基_上,__算机_形_系_的原理、基本_元的生成技 _、_形的各种__及交互技_,三__形的表示及真_感_形的_制等_容_ 行了_述。 本_既重_基本理_及其算法的描述,又力__小理_与___用之_的差 距。把_形_基本理_与目前_泛_用的三__形___准OpenGL _合起_。主 要章_在_述了基本原理和算法之后均_出了用C _言_合OpenGL 表示的_例。 全__理清晰,_容_用,各章均配有思考_、__,便于自_。

Multipurpose Arcade Combat Simulator (MACS) Basic Rifle Marksmanship (BRM) Program

Multipurpose Arcade Combat Simulator (MACS) Basic Rifle Marksmanship (BRM) Program

Número de Páginas: 104
Domain-Specific Languages

Domain-Specific Languages

Autor: Andrzej Wąsowski , Thorsten Berger

Número de Páginas: 494

This textbook describes the theory and the pragmatics of using and engineering high-level software languages – also known as modeling or domain-specific languages (DSLs) – for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs. The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics – with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality ...

Numerical Simulations and Case Studies Using Visual C++.Net

Numerical Simulations and Case Studies Using Visual C++.Net

Autor: Shaharuddin Salleh , Albert Y. Zomaya , Stephan Olariu , Bahrom Sanugi

Número de Páginas: 375

Master the numerical simulation process required to design, test and support mobile and parallel computing systems. An accompanying ftp site contains all the Visual C++ based programs discussed in the text to help readers create their own programs. With its focus on problems and solutions, this is an excellent text for upper-level undergraduate and graduate students, and a must-have reference for researchers and professionals in the field of simulations. More information about Visual C++ based programs can be found at: ftp: //ftp.wiley.com/public/sci_tech_med/numerical_simulations/

Atlas of Cancer Mortality in the United States, 1950-94

Atlas of Cancer Mortality in the United States, 1950-94

Número de Páginas: 384

Atlas on-line: contains everything in the Atlas, including databases, text and graphics files. County and state economic (SEA*) rates are available for each cancer map. Tabulated data used to generate the atlas maps are also available. Also contains: customizable maps.

Data Compression

Data Compression

Autor: David Salomon

Número de Páginas: 912

Data compression is one of the most important fields and tools in modern computing. From archiving data, to CD ROMs, and from coding theory to image analysis, many facets of modern computing rely upon data compression. Data Compression provides a comprehensive reference for the many different types and methods of compression. Included are a detailed and helpful taxonomy, analysis of most common methods, and discussions on the use and comparative benefits of methods and description of "how to" use them. The presentation is organized into the main branches of the field of data compression: run length encoding, statistical methods, dictionary-based methods, image compression, audio compression, and video compression. Detailed descriptions and explanations of the most well-known and frequently used compression methods are covered in a self-contained fashion, with an accessible style and technical level for specialists and nonspecialists. Topics and features: coverage of video compression, including MPEG-1 and H.261; thorough coverage of wavelets methods, including CWT, DWT, EZW and the new Lifting Scheme technique; complete audio compression; QM coder used in JPEG and JBIG, including...

Advances in Quantitative Ethnography

Advances in Quantitative Ethnography

Autor: Crina Damşa , Amanda Barany

Número de Páginas: 439

This book constitutes the refereed proceedings of the 4th International Conference on Advances in Quantitative Ethnography, ICQE 2022, held in Copenhagen, Denmark, during October 15–19, 2022.The 29 full papers included in this book were carefully reviewed and selected from 71 submissions. They were organized in topical sections as follows: QE Theory and Methodology Research; Applications in Education Contexts; and Applications in Interdisciplinary Contexts.

Beginning C# 2008

Beginning C# 2008

Autor: Christian Gross

Número de Páginas: 496

This book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Writing good code can be a challenge. There are so many options, especially in a language like C#. If you want to really get the best from a programming language, you need to know which features work best in which situations and understand their strengths and weaknesses. It is this understanding that makes the difference between coding and coding well. Beginning C# 2008 has been written to teach you how to use the C# programming language to solve problems. From the earliest chapters, and from the first introductory concepts, you'll be looking at real-world programming challenges and learning how C# can be used to overcome them. As you progress through the book, the problems become more involved and interesting, while the solutions become correspondingly more complex and powerful as C# features interact to achieve the results that you want. By the time you've finished reading this book and worked through the sample exercises, you'll be a confident and very competent C# programmer. You will still have many explorations of the .NET Framework API to look forward to in your future...

Python

Python

Autor: James R. Parker

Número de Páginas: 495

This book is an introduction to programming concepts that uses Python 3 as the target language. It follows a practical just-in-time presentation – material is given to the student when it is needed. Many examples will be based on games, because Python has become the language of choice for basic game development. Designed as a Year One textbook for introduction to programming classes or for the hobbyist who wants to learn the fundamentals of programming, the text assumes no programming experience. Features: * Introduces programming concepts that use Python 3 * Includes many examples based on video game development * 4-color throughout with game demos on the companion files

计算机图形学原理及算法教程

计算机图形学原理及算法教程

Autor: 和青芳

Número de Páginas: 356

本书在系统介绍计算机图形学算法及原理的基础上,利用Visual C++开发环境,编写相应的应用程序,较全面地把计算机图形学理论与计算机绘图的实践结合起来.

OOPSLA '96

OOPSLA '96

Número de Páginas: 668

OOPSLA is a forum for the presentation of research and applications in object-oriented programming. Topics covered in these proceedings include applications, design, databases, user interfaces, software engineering, education and languages.

Mastering SAS Programming for Data Warehousing

Mastering SAS Programming for Data Warehousing

Autor: Monika Wahi

Número de Páginas: 494

Build a strong foundation in SAS data warehousing by understanding data transformation code and policy, data stewardship and management, interconnectivity between SAS and other warehousing products, and print and web reporting Key Features Understand how to use SAS macros for standardizing extract, transform, and load (ETL) protocols Develop and use data curation files for effective warehouse management Learn how to develop and manage ETL, policies, and print and web reports that meet user needs Book DescriptionSAS is used for various functions in the development and maintenance of data warehouses, thanks to its reputation of being able to handle ’big data’. This book will help you learn the pros and cons of storing data in SAS. As you progress, you’ll understand how to document and design extract-transform-load (ETL) protocols for SAS processes. Later, you’ll focus on how the use of SAS arrays and macros can help standardize ETL. The book will also help you examine approaches for serving up data using SAS and explore how connecting SAS to other systems can enhance the data warehouse user’s experience. By the end of this data management book, you will have a fundamental...

Research Product - U.S. Army Research Institute for the Behavioral and Social Sciences

Research Product - U.S. Army Research Institute for the Behavioral and Social Sciences

Número de Páginas: 376
Maths et informatique. PC. Annales corrigées et commentées. Concours 2015/2016/2017

Maths et informatique. PC. Annales corrigées et commentées. Concours 2015/2016/2017

Autor: Coutant Antoine, Billault Éric, Kirsch Stéphane, Bertrand Olivier

Número de Páginas: 856

• Pour chaque volume, les épreuves corrigées 2015, 2016 & 2017 • Des corrigés enrichis de commentaires comportant : des points méthodes, des rappels de cours, des remarques sur les questions, des conseils de rédaction, des remarques issus des rapports de jurys, etc. • D'authentiques copies d'étudiants annotées qui accompagnent certains de ces corrigés commentés.

Maths et informatique. PSI. Annales corrigées et commentées. Concours 2015/2016/2017

Maths et informatique. PSI. Annales corrigées et commentées. Concours 2015/2016/2017

Autor: Bertrand Olivier, Kirsch Stéphane

Número de Páginas: 807

• Pour chaque volume, les épreuves corrigées 2015, 2016 & 2017 • Des corrigés enrichis de commentaires comportant : des points méthodes, des rappels de cours, des remarques sur les questions, des conseils de rédaction, des remarques issus des rapports de jurys, etc. • D'authentiques copies d'étudiants annotées qui accompagnent certains de ces corrigés commentés.

Historical Statistics of the United States

Historical Statistics of the United States

Autor: United States. Bureau Of The Census

Número de Páginas: 176
State and Metropolitan Area Data Book

State and Metropolitan Area Data Book

Número de Páginas: 764

1979-2010: Contains data similar to that found in the County and City Databook, but on the state and MSA (Metropolitan Statistical Areas) levels.

Understanding United States Foreign Trade Data

Understanding United States Foreign Trade Data

Autor: Victor B. Bailey

Número de Páginas: 208
Advanced Tutorials for the Biomedical Sciences

Advanced Tutorials for the Biomedical Sciences

Autor: Charles Pidgeon

Número de Páginas: 312

This unique book and computer disk package will help researchers, instructors, and students in pharmacy, medicinal chemistry, biochemistry, or other biomedical sciences reach a deeper understanding of the more advanced chemical and physicochemical processes as they relate to drug action, drug discovery, and biomedical science in general. Mathematica software permits rapid numerical, symbolic, and graphic calculations that allow complex concepts to be displayed, animated, and discussed in the same document. In "Advanced Tutorials for the Biomedical Sciences," Mathematica is used as a tool to display, animate, and calculate various physical phenomena: No programming by the instructor or the reader is needed to activate these functions. The Tutorials are "interactive" in that the user not only enters but may also change the values of parameters within the code in order to better understand difficult concepts. The computer disk will continue to serve the researcher as a computational "toolbox" for the common calculations needed to perform a variety of chromatographic and spectroscopic analyses. While the Mathematica software is needed to run the Tutorials, it can be applied to any...

Manuel des frontières linguistiques dans la Romania

Manuel des frontières linguistiques dans la Romania

Autor: Christina Ossenkop , Otto Winkelmann

Número de Páginas: 684

This manual presents an overview of research on language boundaries in Romance-speaking areas both in and outside of Europe. It considers sociolinguistic and psycholinguistic aspects as well as matters of language policy and language geography. The main focus lies on the current boundaries between Romance languages and between Romance and neighboring languages.

Últimos Libros consultados

Libros reeditados