Ecoop 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
ISBN: 9783540357261 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006. 20 revised full papers, together with 3 keynote papers were carefully reviewed and selected. The papers are organized in topical sections on program query and persistence, ownership and concurrency, languages, type theory, types for object-oriented languages, tools, and modularity. 5 more papers celebrate the 20th anniversary of ECOOP. This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France i... |
|
cena:
194,97 zł |
Model-Driven Architecture - Foundations and Applications: Second European Conference, Ecmda-Fa 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
ISBN: 9783540359098 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications, held in Spain, in 2006. This work is organized into various topical sections including integration, applications of transformations, applications of MDA, process, model consistency and model management.
Constitutes the refereed proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications, held in Spain, in ...
|
|
cena:
194,97 zł |
The Semantic Web - Iswc 2006: 5th International Semantic Web Conference, Iswc 2006, Athens, Ga, Usa, November 5-9, 2006, Proceedings
ISBN: 9783540490296 / Angielski / Miękka / 1004 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolve or perish this is the motto for living systems. Judging by this saying, the Web is alive and well: new sites and business ideas are coming online almost daily and are able to attract millions of users often. The more recently coined term Web 2.0 summarizes many of the new developments, capturing efforts making the Web more interactive (like Ajax), more collaborative (like Wikis), or more relationship oriented (like online social networks), aiming to partially fulfill the original promise of the Web. These new Web developments offer an opportunity and challenge for the Semantic Web:...
Evolve or perish this is the motto for living systems. Judging by this saying, the Web is alive and well: new sites and business ideas are coming onli...
|
|
cena:
585,00 zł |
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, Usa, Augus
ISBN: 9783540496991 / Angielski / Miękka / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc...
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- ...
|
|
cena:
194,97 zł |
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
ISBN: 9783540696087 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed. This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in... |
|
cena:
194,97 zł |
Developments in Language Theory: 11th International Conference, Dlt 2007, Turku, Finland, July 3-6, 2007, Proceedings
ISBN: 9783540732075 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing. This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Fi... |
|
cena:
194,97 zł |
Universal Acess in Human Computer Interaction. Coping with Diversity: Coping with Diversity, 4th International Conference on Universal Access in Human
ISBN: 9783540732785 / Angielski / Miękka / 1056 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly with the S- posium on Human Interface (Japan) 2007, the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, the 4th International Conference on Universal Access in Human-Computer Interaction, the 2nd International Conf- ence on Virtual Reality, the 2nd International Conference on Usability and Inter- tionalization, the 2nd International Conference on Online Communities and Social Computing, the 3rd International...
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly wit...
|
|
cena:
585,00 zł |
Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
ISBN: 9783540733690 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full paper... |
|
cena:
194,97 zł |
Hardware and Software: Verification and Testing
ISBN: 9783540779643 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007. The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held ... |
|
cena:
194,97 zł |
Object-Oriented Technology. Ecoop 2007 Workshop Reader: Ecoop 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
ISBN: 9783540781943 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the final reports of 19 workshops held during the 21st European Conference on Object-Oriented Programming, ECOOP 2007, in Berlin, Germany, in July 2007. The 19 collected reports all relate to selected aspects in the field of object-oriented programming and technology.
This book contains the final reports of 19 workshops held during the 21st European Conference on Object-Oriented Programming, ECOOP 2007, in Berlin, G...
|
|
cena:
194,97 zł |
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
ISBN: 9783540894360 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of microprocessorsandstoragedevicesis leading to the development of ever more distributed and decentralized systems. Systems are assembled as dynamic federationsofautonomousandevolvingcomponents insteadof monolithicapp- cations, they perform tasks of staggering complexity with continuously cha- ing requirements and in a permanently evolving environment....
Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national a...
|
|
cena:
194,97 zł |
Implementation and Application of Functional Languages: 17th International Workshop, Ifl 2005, Dublin, Ireland, September 19-21, 2005, Revised Selecte
ISBN: 9783540691747 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages. This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional ... |
|
cena:
194,97 zł |
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
ISBN: 9783540683711 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation. This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern... |
|
cena:
194,97 zł |
Lectures on Concurrency and Petri Nets: Advances in Petri Nets
ISBN: 9783540222613 / Angielski / Miękka / 852 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003.In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state-of-the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational...
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003.In addition to lec...
|
|
cena:
389,98 zł |
Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software
ISBN: 9783540205272 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity, held in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute's10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere, notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was...
This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity, held in ...
|
|
cena:
194,97 zł |
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Paper
ISBN: 9783642005145 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http: //www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim...
This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 200...
|
|
cena:
194,97 zł |
Human Machine Interaction: Research Results of the MMI Program
ISBN: 9783642004360 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with many other disciplines such as psychology, sociology and the arts.
The present volume documents the results of the MMI research program on Human Machine Interaction involving 8 projects (selected from a total of 80 proposals) funded by the Hasler Foundation between 2005 and 2008. These projects were also partially funded by the associated universities and other third... Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdiscip...
|
|
cena:
194,97 zł |
Language and Automata Theory and Applications: Third International Conference, Lata 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
ISBN: 9783642009815 / Angielski / Miękka / 754 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain all the papers that were presented at the Third - ternational Conference on Language and Automata Theory and Applications (LATA 2009), held in Tarragona, Spain, during April 2-8, 2009. The scope of LATA is rather broad, including: algebraic language theory; algorithms on automata and words; automata and logic; automata for s- tem analysis and program veri?cation; automata, concurrency and Petri nets; biomolecular nanotechnology; cellular automata; circuits and networks; c- binatorics on words; computability; computational, descriptional, communi- tion and...
These proceedings contain all the papers that were presented at the Third - ternational Conference on Language and Automata Theory and Applications (L...
|
|
cena:
389,98 zł |
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
ISBN: 9783642017476 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Celebrating 65th birthday of Nissim Francez, this title contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.
Celebrating 65th birthday of Nissim Francez, this title contains 15 papers, written by friends and colleagues, many of whom congregated at a celebrato...
|
|
cena:
194,97 zł |
Hardware and Software: Verification and Testing
ISBN: 9783642017018 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software systems. This year's conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international...
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference...
|
|
cena:
194,97 zł |