» książki » Computers - Languages - General
topmenu
 |
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Re
ISBN: 9783642143342 / Angielski / Miękka / 313 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring software quality. The summer school and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity and its state of the art. Theseproceedingsrecordthecontributionsfromtheinvitedlecturers.Eachof...
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and t...
|
cena:
203,61 |
 |
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, Icsp 2010, Paderborn, Germany, July 8-9, 2010. Pro
ISBN: 9783642143465 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new...
2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This ...
|
cena:
203,61 |
 |
Computational Logic
ISBN: 9783642636707 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
610,90 |
 |
Logic of Computation
ISBN: 9783642638329 / Angielski / Miękka / 403 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type...
The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Sc...
|
cena:
203,61 |
 |
A Student's Guide to the Study, Practice, and Tools of Modern Mathematics
ISBN: 9781439846063 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Student s Guide to the Study, Practice, and Tools of Modern Mathematics provides an accessible introduction to the world of mathematics. It offers tips on how to study and write mathematics as well as how to use various mathematical tools, from LaTeX and Beamer to Mathematica(r) and Maple to MATLAB(r) and R. Along with a color insert, the text includes exercises and challenges to stimulate creativity and improve problem solving abilities. The first section of the book covers... A Student s Guide to the Study, Practice, and Tools of Modern Mathematics provides an accessible introduction to the world of math... |
cena:
244,34 |
 |
Knowledge Representation, Reasoning and Declarative Problem Solving
ISBN: 9780521147750 / Angielski / Miękka / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Practitioner's guide to knowledge representation and reasoning using logic programming.
Practitioner's guide to knowledge representation and reasoning using logic programming.
|
cena:
345,81 |
 |
Theories of Computability
ISBN: 9780521153430 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Broad in coverage, mathematically sophisticated, and up to date, this book provides an introduction to theories of computability. It treats not only "the" theory of computability (the theory created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages) as theories of computability. These are addressed from the classical perspective of their generation by grammars and from the more modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a...
Broad in coverage, mathematically sophisticated, and up to date, this book provides an introduction to theories of computability. It treats not only "...
|
cena:
275,72 |
![A Systematic Catalogue of Reusable Abstract Data Types J. Uhl J]rgen Uhl Hans A. Schmid 9783540532293 Springer](/9783540532293_a_systematic_catalogue_of_reusable_abstract_data_types.jpg "A Systematic Catalogue of Reusable Abstract Data Types") |
A Systematic Catalogue of Reusable Abstract Data Types
ISBN: 9783540532293 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on a uniform syntactic and semantic interface for all data types, many implementation variants per data type, all accessible through a single interface and a hierarchical system of the data types as a basis for data type selection and implementation.
This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are of...
|
cena:
203,61 |
 |
Automata, Languages and Programming: 24th International Colloquium, Icalp'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
ISBN: 9783540631651 / Angielski / Miękka / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.
The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science. This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna...
|
cena:
407,25 |
 |
Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 20
ISBN: 9783642148187 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software engineering is understood as a broad term linking science, traditional en- neering, art and management and is additionally conditioned by social and external factors (conditioned to the point that brilliant engineering solutions based on strong science, showing artistic creativity and skillfully managed can still fail for reasons beyond the control of the development team). Modern software engineering needs a paradigm shift commensurate with a change of the computing paradigm from: 1. Algorithms to interactions (and from procedural to object-oriented programming) 2. Systems...
Software engineering is understood as a broad term linking science, traditional en- neering, art and management and is additionally conditioned by soc...
|
cena:
203,61 |
 |
Scientific Data Analysis Using Jython Scripting and Java
ISBN: 9781849962865 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Scientific Data Analysis using Jython Scripting and Java' presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks.
'Scientific Data Analysis using Jython Scripting and Java' presents practical approaches for data analysis using Java scripting based on Jython, a Jav...
|
cena:
203,61 |
 |
Software Composition: 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ISBN: 9783642140457 / Angielski / Miękka / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of software development based on components, services, features, or models. Software composition is becoming more and more important as innovation in software engineering shifts from the development of individual components to their reuse and recombination in novel ways. To this end, for the 2010 edition, researchers were solicited to contribute on topics such as component adaptation techniques, composition languages, modeling, as well as emerging...
The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of softwar...
|
cena:
203,61 |
 |
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
ISBN: 9783642150562 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing veri?ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri?cationthroughtheinteractionoftheorydevel- ment, toolevolution,...
Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of t...
|
cena:
203,61 |
 |
Software Architecture
ISBN: 9783642151132 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th European Conference on Software Architecture, ECSA 2010, held in Copenhagen, Denmark, in August 2010.The 19 revised full papers presented together with 3 keynote abstracts, 20 emerging research papers, 11 research challenge poster papers, and 3 tool demo papers were carefully reviewed and selected from over 100 submissions.
This book constitutes the refereed proceedings of the 4th European Conference on Software Architecture, ECSA 2010, held in Copenhagen, Denmark, in Aug...
|
cena:
203,61 |
 |
Computer Science Logic
ISBN: 9783642152047 / Angielski / Miękka / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informatics, Masaryk University, Brno. In 2010, CSL and the 35th International Symposium on Mathematical Fo- dations of Computer Science (MFCS 2010)were federated and organizedin p- allel...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010....
|
cena:
203,61 |
 |
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ISBN: 9789048199280 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconci... |
cena:
610,90 |
 |
Business Process Management: 8th International Conference, Bpm 2010, Hoboken, Nj, Usa, September 13-16, 2010, Proceedings
ISBN: 9783642156175 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA, in September 2010. The volume contains 21 revised full research papers carefully reviewed and selected from 151 submissions, as well as 3 invited talks. The papers deal with issues in the area of business process management and process-aware information systems and are organized in topical sections on BPM in practice, correctness, design, distributed processes, mining, and semantics.
This book constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA,...
|
cena:
203,61 |
 |
Systems, Software and Services Process Improvement
ISBN: 9783642156656 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A typical characterization of EuroSPI is reflected in a statement made by a c- pany: ." . . the biggest value of EuroSPI lies in its function as a European knowledge and experience exchange mechanism for SPI and innovation. " Since its beginning in 1994 in Dublin, the EuroSPI initiative has outlined that there is not a single silver bullet to solve SPI issues, but that you need to understand a c- bination of different SPI methods and approaches to achieve concrete benefits. The- fore each proceedings volume covers a variety of different topics, and at the conf- ence we discuss potential...
A typical characterization of EuroSPI is reflected in a statement made by a c- pany: ." . . the biggest value of EuroSPI lies in its function as a Eur...
|
cena:
203,61 |
 |
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
ISBN: 9783642157684 / Angielski / Miękka / 473 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and applicational advances in the area. th This year s symposium, The 17 International Static Analysis Symposium (SAS 2010), was held on September 14 16, 2010 in Perpignan, France, with 3 a?liated workshops: NSAD 2010 (The Second Workshop on Numerical and...
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-perf...
|
cena:
203,61 |
 |
S-BPM ONE - Setting the Stage for Subject-Oriented Business Process Management: First International Workshop, Karlsruhe, Germany, October 22, 2009, Re
ISBN: 9783642159145 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers from the First Workshop on Subject- Oriented Business Process Management (S-BPM ONE). Establishing a multi- and cross-disciplinary interchange of underyling and applied concepts, successful appli- tion studies, and innovative development ideas, the workshop emphasized the pro- tive realization of role- or actor-oriented modeling on the basis of exchanging m- sages when accomplishing tasks. The workshop was organized as a forum for the discussion of foundations, achievements, reflections, and further developments. In this way, its contributions not...
This volume contains a selection of papers from the First Workshop on Subject- Oriented Business Process Management (S-BPM ONE). Establishing a multi-...
|
cena:
203,61 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
