» książki » Computers - Languages - General
topmenu
 |
Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-
ISBN: 9783540660934 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The...
The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was...
|
cena:
201,72 |
 |
Understanding Z: A Specification Language and Its Formal Semantics
ISBN: 9780521054140 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a standard framework for understanding Z specifications.
This book provides a standard framework for understanding Z specifications.
|
cena:
217,72 |
 |
Implementation of Functional Languages: 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
ISBN: 9783540648499 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.
The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection. This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, I...
|
cena:
201,72 |
 |
PHP 4 Developer's Guide
ISBN: 9780072127317 / Angielski / Miękka / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PHP - a server-side, embedded HTML scripting language - is used to develop dynamic Web content. This book provides the tools and information needed to build Web applications and databases with PHP 4. It covers installation, configuration, database connectivity, working with XML and CGL, and more. It also includes details on features in PHP 4.
PHP - a server-side, embedded HTML scripting language - is used to develop dynamic Web content. This book provides the tools and information needed to...
|
cena:
278,24 |
 |
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
ISBN: 9783540221647 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The ?nal choices were made by the editors. Two previous workshops of the Types Working Group under EU IST project 29001 were held in 2000 in Durham, UK, and in 2002 in Berg en Dal (close...
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assis...
|
cena:
201,72 |
 |
Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
ISBN: 9783540222538 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web,...
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work...
|
cena:
201,72 |
 |
My Fine Art: A Canvas of Written Expressions
ISBN: 9780595480388 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "My Fine Art," a collection of poetry written by John Moise, displays his ideas about life, love, women, and his passion and understanding of acceptance. He gathered a portion of his poems from his early years, some present, and created the first installment to this volume.
"My Fine Art," a collection of poetry written by John Moise, displays his ideas about life, love, women, and his passion and understanding of acceptan...
|
cena:
76,04 |
 |
It's All In The Way You Look: A collection of short stories and memories
ISBN: 9780595475889 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sometimes tear inducing, sometimes humorous, each story sums up the way the author looks at life. Love gets you started, hope brings stability, but faith gets you through. She states, in one essay, "When I look back, I see God's hand leading me though marital problems, teenage rebellion, financial hardships, even providing me with the perfect mate. I praise God every day as I try to live a life of service-a service which provides me with the greatest joy, for it includes doing all the things for which I have the talent, and incidentally love to do."
Sometimes tear inducing, sometimes humorous, each story sums up the way the author looks at life. Love gets you started, hope brings stability, but fa...
|
cena:
45,55 |
 |
Master of the Storm Journal: Mindful Writing and Sketching for Self Mastery
ISBN: 9780595447145 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
53,17 |
 |
Like Pop, Like Schling: A Life of Travel, Tragedy, and Triumph
ISBN: 9780595430352 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When he was just four years old, Rene Paul de la Varre earned the nickname "schling," meaning rascal in his native German language. He admits to having a wild side from a young age and spending much of his life like a wandering nomad in the quest for knowledge and adventure.
This memoir retraces Rene's footsteps through America, Europe, the Mediterranean, and the Middle East over the course of fifty years. His journey pays particular tribute to his relationship with his father, referred to as Pop-a talented filmmaker, pianist, and writer. Rene candidly discusses coming to grips with his... When he was just four years old, Rene Paul de la Varre earned the nickname "schling," meaning rascal in his native German language. He admits to havin...
|
cena:
68,42 |
 |
Show Me You Love Me: Your Tool Kit to Building a Great Marriage!
ISBN: 9780595408078 / Angielski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Show Me You Love Me" is very to the point. If you are afraid of learning the real way to treat your husband, this is not the book for you. If you don't want your husband to be more loving toward you, this is not the book for you. Husbands, if you don't want to know why you feel the way you do sometimes, this is not the book for you. As married people, if you are tired of barely getting along or bored married life and want to put some excitement into your marriage, this is the book for you! "Show Me You Love Me" is not just to make the husband feel better. This book will give you practical...
"Show Me You Love Me" is very to the point. If you are afraid of learning the real way to treat your husband, this is not the book for you. If you don...
|
cena:
37,93 |
 |
Building a Reality-Based Relationship: The Six Stages of Modern Marriage
ISBN: 9780595407095 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1967, as a novice marriage and family therapist counseling a growing number of troubled spouses living in unhappy marriages, Dr. Liberty Kovacs realized a need for a workable, realistic model for successful marital therapy. Drawing on her forty years of professional experience, real-world cases, and studies, Dr. Kovacs shares her model for the modern marriage. Kovacs maps the journey shared by couples across six unique and all-important marital stages: honeymoon, expectation, power struggle, seven-year-itch, reconciliation, and acceptance. Along the way, they develop a clearer...
In 1967, as a novice marriage and family therapist counseling a growing number of troubled spouses living in unhappy marriages, Dr. Liberty Kovacs rea...
|
cena:
53,17 |
 |
Software Security - Theories and Systems: Second Mext-Wsf-Jsps International Symposium, Isss 2003, Tokyo, Japan, November 4-6, 2003
ISBN: 9783540236351 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4 6, 2003. This volume is the collection of the papers that were presented at ISSS 2003. The proceedings of ISSS 2002 was published as LNCS 2609. Although the security and reliability of software systems for networked c- puter systems are major concerns of current society, the technology for software securitystillneedstobedevelopedinmanydirections.SimilartoISSS2002, ISSS 2003...
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 ...
|
cena:
201,72 |
 |
Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings
ISBN: 9783540262756 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in June 2005. The research papers in this book, review the European projects on software architectures. They also address topics ranging from foundational and methodological issues to application issues of practical relevance.
Constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in June 2005. The research papers in this ...
|
cena:
201,72 |
 |
Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings
ISBN: 9783540410119 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fifth International Colloquium on Grammatical Inference (ICGI-2000) was heldinLisbononSeptember11 13th,2000.ICGI-2000wasthe?fthinaseriesof successfulbiennialinternationalconferencesintheareaofgrammaticalinference. Previous conferences were held in Essex, U.K.; Alicante, Spain; Montpellier, France; and Ames, Iowa, USA. This series of meetings seeks to provide a forum for the presentation and discussion of original research on all aspects of grammatical inference. Gram- tical inference, the process of inferring grammar from given data, is a ?eld that is not only challenging from a purely...
The Fifth International Colloquium on Grammatical Inference (ICGI-2000) was heldinLisbononSeptember11 13th,2000.ICGI-2000wasthe?fthinaseriesof success...
|
cena:
201,72 |
 |
Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
ISBN: 9783540410904 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998.
The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications. This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in...
|
cena:
201,72 |
 |
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April
ISBN: 9783540418627 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics covered are various programming paradigms (including functional, logic, concurrent, and object-oriented programming) and their integration development of correct, secure and efficient software and systems and type systems, program analysis, and program transformation.
This text constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 r...
|
cena:
201,72 |
 |
Reliable Software Technologies - Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18
ISBN: 9783540421238 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, held in Leuven, Belgium, in May 2001.The 27 revised full papers presented together with five invited papers were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on program analysis, distributed systems, real-time systems, language and patterns, dependable systems, APIs and components, real-time kernels, standard formats: UML and XML, and system evolution.
This book constitutes the refereed proceedings of the 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, held in Leuven,...
|
cena:
201,72 |
 |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
ISBN: 9783540427520 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloss Dagstuhl provides a very convenient and stimulating...
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. ...
|
cena:
201,72 |
 |
Formal Syntax and Semantics of Java
ISBN: 9783540661580 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving...
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can prov...
|
cena:
201,72 |
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
