Название: Problem Solving and Program Design in C, Seventh Edition
Автор: Jeri R. Hanly, Elliot B. Koffman
Издательство: Pearson Education, Inc.
Год: 2013
Формат: PDF
Для сайта: vtome.ru
Страниц: 921
Размер: 10.21 МБ
Язык: English

Problem Solving and Program Design in C is one of the best-selling introductory programming textbooks using the C programming language. It embraces a balanced approach to program development and an introduction to ANSI C. The book provides a gradual introduction to pointers and covers programming with functions early in the text.

Название: Structural Separation Logic
Автор: Adam Douglas Wright
Издательство: Imperial College London
Год: 2013
Формат: pdf
Страниц: 307
Размер: 4,2 mb.
Язык: English

This thesis presents structural separation logic, a novel program reasoning approach for software that manipulates both standard heaps and structured data such as lists and trees. Structural separation logic builds upon existing work in both separation logic and context logic. It considers data abstractly, much as it is exposed by library interfaces, ignoring implementation details.

Название: Software Architecture
Автор: Various
Издательство: Free Technology Academy
Год: 2011
Формат: pdf
Страниц: 161
Размер: 1,7 mb.
Язык: English

Software has become a strategic societal resource in the last few decades. The emergence of Free Software, which has enteredin major sectors of the ICT market, is drastically changing the economics of software development and usage.

Название: Semantics - Advances in Theories and Mathematical Models
Автор: Muhammad Tanvir Afzal
Издательство: INTECH
Год: 2012
Формат: pdf
Страниц: 284
Размер: 4,6 mb.
Язык: English

El t?rmino sem?ntica (del griego semantikos, "lo que tiene significado") se refiere a los aspectos del significado, sentido o interpretaci?n de signos ling??sticos como s?mbolos, palabras, expresiones o representaciones formales.

Название: Alexandru C. Telea
Автор: InTech
Издательство:
Год: 2012
Формат: pdf
Страниц: 292
Размер: 19,6 mb.
Язык: English

La ingenier?a inversa abarca un amplio espectro de actividades destinadas a la extracci?n de informaci?n sobre la funci?n, estructura y comportamiento de los artefactos hechos por el hombre o naturales.

Название: Parsing Techniques. A Practical Guide
Автор: Dick Grune , Ceriel J.H. Jacobs
Издательство: VU University Amsterdam
Год: 1990
Формат: pdf
Страниц: 318
Размер: 1,2 mb.
Язык: English

"Parsing", tambi?n conocido como an?lisis sint?ctico, ha sido y sigue siendo una parte esencial de la inform?tica y la ling??stica.

Hoy en d?a, estas t?cnicas de an?lisis, m?s all? de las Ciencias de la Computaci?n, se aplican a un n?mero importante de disciplinas: preparaci?n de documentos y conversi?n, composici?n f?rmulas qu?micas, el reconocimiento cromosoma...

Название: Matters Computational
Автор: Jorg Arndt
Издательство: Springer
Год: 2011
Формат: pdf
Страниц: 978
Размер: 3,2 mb.
Язык: English

Este libro est? elaborado para todo aquel desarrollador interesado en los m?todos de computaci?n. Muchos de los conceptos aqu? expuestos, no suelen aparecer en los libros de texto o en aquellos dedicados a la algoritmia por lo que encontrarlos reunidos en un ?nico volumen puede resultar de gran ayuda tanto al estudiante como al profesional.

Название: Global Optimization Algorithms
Автор: Thomas Weise
Издательство: Autoedici?n
Год: 2009
Формат: pdf
Страниц: 820
Размер: 9,4 mb.
Язык: English

El objetivo de este libro es encontrar aquellas f?rmulas m?s ?ptimas para la optimizaci?n global de algoritmos a trav?s del perfil evolutivo.

Los algoritmos evolutivos son m?todos de optimizaci?n y b?squeda de soluciones basados en los postulados de la evoluci?n biol?gica. En ellos se mantiene un conjunto de entidades que representan posibles soluciones, las cuales se mezclan, y compiten entre s?, de tal manera que las m?s aptas son capaces de prevalecer a lo largo del tiempo, evolucionando hacia mejores soluciones cada vez.

Название: Essentials of Metaheuristics
Автор: Sean Luke
Издательство: George Mason University
Год: 2011
Формат: pdf
Страниц: 237
Размер: 4,2 mb.
Язык: English

Una metaheur?stica es un m?todo heur?stico para resolver un tipo de problema computacional general, usando los par?metros dados por el usuario sobre unos procedimientos gen?ricos y abstractos de una manera que se espera eficiente. Normalmente, estos procedimientos son heur?sticos. El nombre combina el prefijo griego "meta" ("m?s all?", aqu? con el sentido de "nivel superior") y "heur?stico"

Название: Data Structures and Algorithm Analysis. Java Version
Автор: Clifford A- Shaffer
Издательство: Autoedici?n
Год: 2012
Формат: pdf
Страниц: 601
Размер: 2,1 mb.
Язык: English

En programaci?n, una estructura de datos es una forma de organizar un conjunto de datos elementales con el objetivo de facilitar su manipulaci?n. Un dato elemental es la m?nima informaci?n que se tiene en un sistema.