» książki » Computers - Languages - General
topmenu
 |
Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part of the Joint European Conferen
ISBN: 9783642198045 / Angielski / Miękka / 473 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 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 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding,...
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, F...
|
cena:
203,61 |
 |
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ISBN: 9783642198281 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal,...
|
cena:
203,61 |
 |
Programming with Motif(tm)
ISBN: 9780387978772 / Angielski / Miękka / 664 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. About this Book This book is a detailed introduction to programming with the OSF /MotifI'M graphical user interface. It is an introduction in that it does not require the reader to have experience programming in the X Window environment. It is detailed in that it teaches you how to use the interface components provided by Motif in a complex application. Although it contains a great deal of reference material, it is not meant as an authoritative reference - that is the job of the OSF/Motif Programmer's Reference, which uses over 900 pages in the process. Instead, this book provides its...
About this Book This book is a detailed introduction to programming with the OSF /MotifI'M graphical user interface. It is an introduction in that it ...
|
cena:
472,45 |
 |
XML Programming: Web Applications and Web Services with JSP and ASP
ISBN: 9781590590034 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. XML Programming: Web Applications and Web Services with JSP and ASP provides a fast-moving introduction to the XML family of technologies for programmers. Although written with a focus upon JSP- and ASP-based XML solutions, the book presents the material from a language-independent point of view that benefits all developers, whatever their language. The code is written to be readable by all. Chapter 1 through 3 cover the foundations of XML well-formed and valid documents, DTDs and namespaces but XLink, XPointer, and elements of XSLT are introduced early so the examples can be interesting and...
XML Programming: Web Applications and Web Services with JSP and ASP provides a fast-moving introduction to the XML family of technologies for programm...
|
cena:
142,35 |
 |
Dreamweaver MX: Advanced ASP Web Development
ISBN: 9781590591956 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What's It All About? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Who's This Book for? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 What Do I Need to Begin? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 What's...
What's It All About? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
|
cena:
215,94 |
 |
Optimal Interprocedural Program Optimization: A New Framework and Its Application
ISBN: 9783540651239 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differ...
|
cena:
203,61 |
 |
The B Language and Method: A Guide to Practical Formal Development
ISBN: 9783540760337 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.
This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of hig...
|
cena:
203,61 |
 |
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
ISBN: 9783642212093 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This...
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-D...
|
cena:
203,61 |
 |
HP Quicktest Professional Workshop Series: Level 1: HP Quicktest
ISBN: 9781432753405 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Take advantage and learn automation testing using HP QTP. The book is well organized and easy to follow for someone who is New or just beginning to learn QTP. In addition - the book is also for those that wish to refresh their knowledge. The book will explain the different subjects, followed with labs that you can perform. In addition, there are many mini-projects for you to work on, giving you valuable experience. Most of the Labs are designed from Interview Questions. What is the best way to get ready for the interview By actually working & completing the labs & mini-projects. During the...
Take advantage and learn automation testing using HP QTP. The book is well organized and easy to follow for someone who is New or just beginning to le...
|
cena:
180,44 |
 |
Software for Data Analysis: Programming with R
ISBN: 9781441926128 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although statistical design is one of the oldest branches of statistics, its importance is ever increasing, especially in the face of the data flood that often faces statisticians. It is important to recognize the appropriate design, and to understand how to effectively implement it, being aware that the default settings from a computer package can easily provide an incorrect analysis. The goal of this book is to describe the principles that drive good design, paying attention to both the theoretical background and the problems arising from real experimental situations. Designs are motivated...
Although statistical design is one of the oldest branches of statistics, its importance is ever increasing, especially in the face of the data flood t...
|
cena:
488,71 |
 |
Automatic Program Development: A Tribute to Robert Paige
ISBN: 9789048176748 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some... Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, wh... |
cena:
407,25 |
 |
Assoziationsanalyse - Eine Einführung
ISBN: 9783640492985 / Niemiecki / Miękka / 40 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studienarbeit aus dem Jahr 2009 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1, Wirtschaftsuniversitat Wien (Institut fur Produktionsmanagement), Veranstaltung: Datamining und Datawarehousing, Sprache: Deutsch, Abstract: Diese Arbeit soll eine Einfuhrung in das Themengebiet der Assoziationsanalyse bieten, bei der es darum geht, Regeln fur das gemeinsame Auftreten von Elementen in einer Datenbasis zu finden. Neben einer allgemeinen Definition werden die wichtigsten Interessantheitsmasse zur Beurteilung von Assoziationsregeln sowie einige populare Algorithmen zur Generierung...
Studienarbeit aus dem Jahr 2009 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1, Wirtschaftsuniversitat Wien (Institut fur Produktionsmanag...
|
cena:
176,89 |
 |
Autonomie in verteilten IT-Architekturen
ISBN: 9783486704143 / Niemiecki / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Den Kern des Buches bildet die Beantwortung der Frage, auf welche Weise Autonomie hervorgerufen wird und woran ihr Auftreten erkannt werden kann. Aufbauend auf dieser Untersuchung werden die Eigenschaften bekannter Architekturmuster und Architekturen dahingehend untersucht, inwiefern sie autonomes Verhalten fordern. Mit klarem Praxisbezug werden anschlieend die Schwachstellen analysiert, die typischerweise in autonomen Systemen auftreten bzw. die durch unerwunschtes autonomes Verhalten entstehen konnen, sowie Manahmen zur Erkennung und Beseitigung solcher Schwachstellen diskutiert. Dieses...
Den Kern des Buches bildet die Beantwortung der Frage, auf welche Weise Autonomie hervorgerufen wird und woran ihr Auftreten erkannt werden kann. Aufb...
|
cena:
386,72 |
 |
Mastering Software Project Requirements: A Framework for Successful Planning, Development & Alignment
ISBN: 9781604270914 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a practical roadmap for successful planning, development, and alignment of software requirements. This volume offers a concise step-by-step guide to building and establishing the frameworks and models for the effective management and development of software requirements. It describes what great requirements must look like and who the real audience is for documentation. It then explains how to generate consistent, complete, and accurate requirements in exacting detail following a simple formula across the full life cycle from vague concept to detailed design-ready specifications....
This is a practical roadmap for successful planning, development, and alignment of software requirements. This volume offers a concise step-by-step gu...
|
cena:
279,30 |
 |
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
ISBN: 9783642214363 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011...
|
cena:
203,61 |
 |
Modelling -- Foundation and Applications: 7th European Conference, Ecmfa 2011, Birmingham, Uk, June 6-9, 2011, Proceedings
ISBN: 9783642214691 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific... This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birming... |
cena:
203,61 |
 |
Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
ISBN: 9783642217678 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing. This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in Ju... |
cena:
203,61 |
 |
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
ISBN: 9783642220449 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in J...
|
cena:
203,61 |
 |
Systems, Software and Services Process Improvement: 18th European Conference, Eurospi 2011, Roskilde, Denmark, June 27-29, 2011, Proceedings
ISBN: 9783642222054 / Angielski / Miękka / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 18th EuroSPI conference, held in Roskilde, Denmark, in June 2011. The 18 revised full papers presented together with 9 key notes were carefully reviewed and selected. They are organized in topical sections on SPI and assessments; SPI and implementation; SPI and improvement methods; SPI organization; SPI people/ teams; SPI and reuse; and, selected key notes for SPI implementation.
This volume constitutes the refereed proceedings of the 18th EuroSPI conference, held in Roskilde, Denmark, in June 2011. The 18 revised full papers p...
|
cena:
203,61 |
 |
Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
ISBN: 9783642412011 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal...
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New...
|
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
