» książki » Computers - Programming - Compilers
topmenu
 |
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
ISBN: 9783642346903 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in A...
|
cena:
203,13 |
 |
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
ISBN: 9783642351815 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in ...
|
cena:
203,13 |
 |
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
ISBN: 9783642357428 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and...
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norw...
|
cena:
203,13 |
 |
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
ISBN: 9783642357459 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools...
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. P...
|
cena:
186,92 |
 |
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
ISBN: 9783642358609 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal...
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mount...
|
cena:
186,92 |
 |
Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
ISBN: 9783642360350 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011, held in Fort Collins, CO, USA, in September 2011. The 19 revised full papers presented and 19 poster papers were carefully reviewed and selected from 52 submissions. The scope of the workshop spans the theoretical and practical aspects of parallel and high-performance computing, and targets parallel platforms including concurrent, multithreaded, multicore, accelerator, multiprocessor, and cluster systems.
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Languages and Compilers for Parallel C...
|
cena:
203,13 |
 |
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
ISBN: 9783642362484 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is assurances: the provision of evidence that the system satisfies its stated...
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems abl...
|
cena:
203,13 |
 |
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
ISBN: 9783642331244 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012.
Constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in Septem...
|
cena:
203,13 |
 |
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
ISBN: 9783642369452 / Angielski / Miękka / 515 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.
This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention,...
|
cena:
203,13 |
 |
C Programming: The Essentials for Engineers and Scientists
ISBN: 9781461271611 / Angielski / Miękka / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve typical scientific and engineering problems. It is a learning-by-doing book, with many examples and exercises, and lays a foundation of scientific programming concepts and techniques that will prove valuable for those who might eventually move on to another language. Written for undergraduates who are familiar with computers and typical applications but are new to programming.
This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve ty...
|
cena:
264,09 |
 |
Programming and Meta-Programming in Scheme
ISBN: 9781461272434 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive first course in Scheme, covering all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. Although the primary goal is to teach students to program in Scheme, this will be suitable for anyone taking a general programming principles course. Each chapter is divided into three sections: core, appendix, and problems. Most essential topics are covered in the core section, but it is assumed that most students will read the appendices and solve most of the problems - all of which require short Scheme procedures. As well as...
A comprehensive first course in Scheme, covering all of its major features: abstraction, functional programming, data types, recursion, and semantic p...
|
cena:
203,13 |
 |
Compiler Technology: Tools, Translators and Language Implementation
ISBN: 9781461377849 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.
The focus of Compiler Technology: Tools, Translators and Language Implementation is to enable quick development of analysis tools. Both lexical scanner and parser generator tools are provided... Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...
|
cena:
609,48 |
 |
Probleme Und Lösungen Mit Turbo-PROLOG: Logikaufgaben Sortierprogramme Auswerfen Von Datenbanken Variationen Von Bäumen
ISBN: 9783528045647 / Niemiecki / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog (eigentlich: PROgrammation LOGique, meist als PROgramming in LOGic gedeutet) wurde 1970 bis 1972 von der Forschungsgruppe GIA (Groupe d'Intelligence Artificielle) der Universitat Aix-Marseille unter der Leitung von Alain Colmerauer entwickelt und 1973 erstmalig auch implementiert. Grossere Bedeutung erhielt Prolog durch die Arbeiten von Robert Ko walski an der Universitat Edinburgh ab 1974, der zusammen mit Harry Barrow vom Stanford Research Institute (Kalifornien) durch eine Imple mentierung auf einer DEC-IO einen grundlegenden Standard setzte. Diese Edinburgh-Version findet sich...
Prolog (eigentlich: PROgrammation LOGique, meist als PROgramming in LOGic gedeutet) wurde 1970 bis 1972 von der Forschungsgruppe GIA (Groupe d'Intelli...
|
cena:
208,82 |
 |
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
ISBN: 9783642380877 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in...
|
cena:
203,13 |
 |
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
ISBN: 9783642388828 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
This text constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in...
|
cena:
186,92 |
 |
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ISBN: 9783642389153 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions.
This text constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 20...
|
cena:
186,92 |
 |
Safe and Secure Software Reuse: 13th International Conference on Software Reuse, Icsr 2013, Pisa, Italy, June 18-20, 2013, Proceedings
ISBN: 9783642389764 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends.
This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy,...
|
cena:
203,13 |
 |
Programming in PROLOG: Using the ISO Standard
ISBN: 9783540006787 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the... Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Pr... |
cena:
284,40 |
 |
Generic and Indexed Programming
ISBN: 9783642322013 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects lectures from the Spring 2010 School on Generic and Indexed Programming. Includes coverage showing how the forces of genericity and indexing balance each other, simultaneously promoting and controlling generality in programming.
This book collects lectures from the Spring 2010 School on Generic and Indexed Programming. Includes coverage showing how the forces of genericity and...
|
cena:
186,92 |
 |
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
ISBN: 9783642405600 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madr...
|
cena:
203,13 |
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
