» książki » Computers - Languages - General
topmenu
 |
FM 2009: Formal Methods
ISBN: 9783642050886 / Angielski / Miękka / 840 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis,... This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Fo... |
cena:
407,25 |
 |
Tools and Environments for Parallel and Distributed Systems
ISBN: 9780792396758 / Angielski / Twarda / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving high performance, and the difficulty of writing correct parallel and distributed programs. These factors collectively influence the current status of parallel and distributed software development tools efforts.
Tools and Environments for Parallel and Distributed Systems addresses... Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the r...
|
cena:
610,90 |
 |
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
ISBN: 9783642115110 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwritersaddressinganaudienceofreaders-you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third, and you have had a profound impact on our formation as computer scientists.Atthepersonallevel, weknowyouasakind-hearted, generousperson. We are grateful to know...
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwriters...
|
cena:
203,61 |
 |
Perspectives of Systems Informatics
ISBN: 9783642114854 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15-19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies....
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorod...
|
cena:
203,61 |
 |
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
ISBN: 9783642113185 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004), Paris(2005), Charleston(2006), Nice(2007), SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking,...
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), he...
|
cena:
203,61 |
 |
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009, Revised Selec
ISBN: 9783642104510 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ]ning (University of Oxford). The symposium was accompanied by two short courses: - Introduction to Software Testing, given by Marci o Eduardo Delamaro (U- versity of Sao Paulo) - Formal Models for Automatic Test Case Generation, given by...
This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Gran...
|
cena:
203,61 |
 |
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12
ISBN: 9783642103728 / Angielski / Miękka / 758 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal...
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages,...
|
cena:
407,25 |
 |
Languages, Compilers and Run-Time Systems for Scalable Computers
ISBN: 9780792396352 / Angielski / Twarda / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session.
Starting with new developments in classical problems of parallel compiler design, such as dependence analysis and an exploration of loop parallelism, the book goes on to address the issues of compiler strategy for specific architectures and programming environments. Several chapters investigate support for multi-threading, object orientation, irregular computation, locality... Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of th...
|
cena:
610,90 |
 |
Multiprocessor Execution of Logic Programs
ISBN: 9780792394891 / Angielski / Twarda / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or-parallelism, independent and-parallelism and dependent...
Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Pro...
|
cena:
610,90 |
 |
Common Statistical Methods for Clinical Research with SAS Examples, Third Edition
ISBN: 9781607642282 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new edition has been extensively updated to include the use of ODS graphics in numerous examples as well as a new emphasis on PROC MIXED. The book is full of practical examples from clinical research to illustrate both statistical and SAS methodology. 552 pp. Pub. 3/10.
This new edition has been extensively updated to include the use of ODS graphics in numerous examples as well as a new emphasis on PROC MIXED. The boo...
|
cena:
545,16 |
 |
Design Driven Testing: Test Smarter, Not Harder
ISBN: 9781430229438 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this chapter we illustrated how to drive unit tests from a software design, identifying test scenarios in a systematic way that ensures the code is covered in all the right places. We also illustrated the use of "stunt services" and mock objects to isolate the code being tested; finally, we discussed driving unit tests deeper into algorithmic code that may benefit from finer-grained testing. Is there a way to get 95% of the benefit of the comprehensive unit testing we did in this chapter with significantly fewer tests? In the next chapter, we'll show how to do exactly that with controller...
In this chapter we illustrated how to drive unit tests from a software design, identifying test scenarios in a systematic way that ensures the code is...
|
cena:
203,61 |
 |
Open Source Data Warehousing and Business Intelligence
ISBN: 9781439816400 / Angielski / Twarda / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-centric, cross-customer viable, cross-functional, cross-technology based, and enterprise-wide. Considering the entire lifecycle of an open source DW & BI implementation, its comprehensive coverage spans from basic concepts all the way through to customization. Highlighting the key differences between open source and vendor DW and BI technologies, the book... Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousin... |
cena:
723,19 |
 |
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ISBN: 9783642119989 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras ?lia, Brazil. Previous WFLP meetings were held in Siena (2008), Paris (2007), Madrid (2006), Tallinn (2005), Aachen (2004), Valencia (2003), Grado(2002), Kiel(2001), Benicassim(2000), Grenoble(1999), Bad Honnef (1998), Schwarzenberg (1997, 1995, and 1994), Marburg (1996), Rattenberg (1993), and Karlsruhe (1992). The aim of the WFLP series is to bring together researchers interested in functional programming, (constraint)...
Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on ...
|
cena:
203,61 |
 |
Foundations of Software Science and Computational Structures: 13th International Conference, Fossacs 2010, Held as Part of the Joint European Conferen
ISBN: 9783642120312 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, ...
|
cena:
203,61 |
 |
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
ISBN: 9783642118807 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so...
Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the ...
|
cena:
203,61 |
 |
C++: Grundlagen und Programmierung
ISBN: 9783211824153 / Niemiecki / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Viele Anzeichen sprechen dafiir, daB C++ zu der Programmiersprache der neunziger Jahre wird: Auf Konferenzen im Bereich der objektorientierten Software entwicklung behandeln typischerweise etwa die Halfte der programmiersprachen orientierten Beitrage C++, ein Viertel beschaftigt sich mit Smalltalk, aIle anderen Sprachen gemeinsam teilen sich auf das restliche Viertel auf. Ahnliche Tendenzen zeichnen sich am einschlagigen Stellenmarkt ab; der "Marktanteil" von C++ ist dort zwar noch geringer, befindet sich aber in standigem Wachstum. Die Griinde fiir diese Entwicklung sind offensichtlich: C++...
Viele Anzeichen sprechen dafiir, daB C++ zu der Programmiersprache der neunziger Jahre wird: Auf Konferenzen im Bereich der objektorientierten Softwar...
|
cena:
209,31 |
 |
C2 Compiler Concepts
ISBN: 9783211824313 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Writing a compiler is a very good practice for learning how complex problems could be solved using methods from software engineering. It is extremely important to program rather carefully and exactly, because we have to remember that a compiler is a program which has to handle an input that is usually incorrect. Therefore, the compiler itself must be error-free. Referring to Niklaus Wirth, we postulate that the grammatical structure of a language must be reflected in the structure of the compiler. Thus, the complexity of a language determines the complexity of the compiler (cf. Compilerbau....
Writing a compiler is a very good practice for learning how complex problems could be solved using methods from software engineering. It is extremely ...
|
cena:
203,61 |
 |
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,61 |
 |
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
ISBN: 9783642407864 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and...
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in Septem...
|
cena:
203,61 |
 |
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
ISBN: 9783642133206 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volumecontainsthe proceedingsof MPC2010, the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and...
This volumecontainsthe proceedingsof MPC2010, the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopro...
|
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
