» książki » Computers - Programming - Compilers
topmenu
 |
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings
ISBN: 9783642139529 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M alaga, Spain. The conference continues to serve a broad object-oriented community with a technical program spanning theory and practice. The program was rounded out with keynotes by Oege De Moor, Ivar Jacobson and Bertrand Meyer, and a banquet speech by Jean Bzivin. The proceedings include 16 papers selected from 60 submissions. The papers were reviewed in a single-blind process with 4-7 reviews per paper. The Program Committee (PC) discussions followed Oscar Nierstrasz Champion pattern. PC...
It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M alaga, Spain. The conference continues to serve...
|
cena:
209,75 |
 |
Component-Based Software Engineering: 13th International Symposium, Cbse 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
ISBN: 9783642132377 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in...
The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main for...
|
cena:
209,75 |
 |
Functional and Logic Programming: 10th International Symposium, Flops 2010, Sendai, Japan, April 19-21, 2010, Proceedings
ISBN: 9783642122507 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April 19 21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and...
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April ...
|
cena:
209,75 |
 |
High-level Petri Nets: Theory and Application
ISBN: 9783540541257 / Angielski / Miękka / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de- scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is...
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success ...
|
cena:
209,75 |
 |
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
ISBN: 9783642156427 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, ...
|
cena:
209,75 |
 |
Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling
ISBN: 9783642160851 / Angielski / Miękka / 423 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have to take the time to understand one case study in order to appreciate the sample models shown in all papers. - Those who want to apply AOM for a particular purpose and are looking for the most appropriate AOM technique can use the papers presented in this specialissue to identify the mostpromisingapproach(es).By identifying similarities between their problem and the case study they should be able to determine candidate AOM approaches easily. -...
- Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have ...
|
cena:
209,75 |
 |
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected
ISBN: 9783642162763 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thetopicof"Model-BasedEngineeringofReal-TimeEmbeddedSystems"brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation,...
Thetopicof"Model-BasedEngineeringofReal-TimeEmbeddedSystems"brings together a challenging problem domain (real-time embedded systems) and a - lution d...
|
cena:
209,75 |
 |
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, Taic Part 2010, Windsor, Uk, September 4
ISBN: 9783642155840 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering, softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and...
A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat....
|
cena:
209,75 |
 |
Categories for Software Engineering
ISBN: 9783642058882 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. 6, 12, 22, 89, 105], to which a precious collection of little gems 90] and the chapter cum book 91] should be added). Isn't the working computer scientist spoilt with choice? Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This...
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or havi...
|
cena:
209,75 |
 |
Coordination of Internet Agents: Models, Technologies, and Applications
ISBN: 9783642074882 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As today's most complex computing environment, the Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. Relating both, the Internet and agents, opens up a whole new range of advanced applications in vibrant subfields of information technology such as middleware, mobile commerce, e-learning, collaborative working, and intelligent information services. Many modern advanced...
As today's most complex computing environment, the Internet confronts IT researchers, system designers, and application developers with completely new...
|
cena:
209,75 |
 |
Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings
ISBN: 9783642163722 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouver, British Columbia, Canada. Conceptual modeling can be considered as lying at the confluence of the three main aspects of information technology applications -- the world of the stakeholders and users, the world of the developers, and the technologies available to them. C- ceptual models provide abstractions of various aspects related to the development of systems, such as the application domain, user needs, database design, and software...
th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouv...
|
cena:
209,75 |
 |
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783642175107 / Angielski / Miękka / 517 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of...
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial In...
|
cena:
209,75 |
 |
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
ISBN: 9783642166891 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University, Shanghai, China, November15 16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the ?rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series...
This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal Un...
|
cena:
209,75 |
 |
Generative and Transformational Techniques in Software Engineering III
ISBN: 9783642180224 / Angielski / Miękka / 499 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering,...
This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Ge...
|
cena:
209,75 |
 |
Analysis and Design of Algorithms in Combinatorial Optimization
ISBN: 9783211816264 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (Ocg) and the John Von Neumann So
ISBN: 9783211824085 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at the OCG/NJSZT joint conference in Klagenfurt, Austria, in September 1992 addressed these issues. The proceedings comprise such topics as: project management, artificial intelligence - modelling aspects, artificial intelligence - tool building aspects, language features, object-orientied software development, the challenge of coping with complexity, methodology, and experience, software engineering education, science policy, etc.
Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at...
|
cena:
209,75 |
 |
Neutral Interfaces in Design, Simulation, and Programming for Robotics
ISBN: 9783540575313 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume summarizes the results of a three-year project on the specification, implementation, testing and application of standardized interface processors for product data exchange between different systems in the design, planning and manufacturing of mechanical products.
This volume summarizes the results of a three-year project on the specification, implementation, testing and application of standardized interface pro...
|
cena:
209,75 |
 |
Logic-Based Program Synthesis and Transformation: 19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Paper
ISBN: 9783642125911 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software...
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and T...
|
cena:
209,75 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 20
ISBN: 9783642198342 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model...
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Syste...
|
cena:
209,75 |
 |
NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings
ISBN: 9783642203978 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction... This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in Ap...
|
cena:
209,75 |
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
