» książki » Computers - Logic Design
topmenu
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
Experimental Algorithms: 8th International Symposium Sea 2009, Dortmund, Germany, June 4-6, 2009, Proceedings
ISBN: 9783642020100 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International Symposium on Experimental and Efficient Algorithms, SEA 2009, held in Dortmund, Germany, in June 2009. This work presents research on experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications.
Constitutes the refereed proceedings of the 8th International Symposium on Experimental and Efficient Algorithms, SEA 2009, held in Dortmund, Germany,...
|
cena:
200,77 |
 |
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
ISBN: 9783642013638 / Angielski / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volumecontainstheproceedingsofthe 5thInternationalWorkshoponWeb Services and Formal Methods (WS-FM 2008) held during September 4-5, 2008 in Milan, Italy, co-located with the 6th International Conference on Business Process Management (BPM 2008). Previous editions of the workshop were held in Pisa, Italy (WS-FM 2004), Versailles, France(WS-FM 2005), Vienna, Austria (WS-FM 2006) and Brisbane, Australia (WS-FM 2007). The aim of the workshop series is to bring together researchers working on web servicesand formal methods in order to catalyzefruitful collaboration. Web service (WS)...
This volumecontainstheproceedingsofthe 5thInternationalWorkshoponWeb Services and Formal Methods (WS-FM 2008) held during September 4-5, 2008 in Milan...
|
cena:
200,77 |
 |
Analytical and Stochastic Modeling Techniques and Applications: 16th International Conference, Asmta 2009, Madrid, Spain, June 9-12, 2009, Proceedings
ISBN: 9783642022043 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is our great pleasure to present the proceedings of the 16th International ConferenceonAnalyticalandStochasticModellingTechniquesandApplications (ASMTA 2009) that took place in Madrid. The conference has become an established annual event in the agenda of the experts of analytical modelling and performance evaluation in Europe and internationally. This year the proceedings continued to be published as part of Springer's prestigiousLecture Notes in Computer Science (LNCS) series. This is another sign of the growing con?dence in the quality standards and procedures followed in the reviewing...
It is our great pleasure to present the proceedings of the 16th International ConferenceonAnalyticalandStochasticModellingTechniquesandApplications (A...
|
cena:
200,77 |
 |
Rewriting Techniques and Applications: 20th International Conference, Rta 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ISBN: 9783642023477 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with the Int- national Conference on Typed Lambda Calculi and Applications (TLCA 2009), the International School on Rewriting (ISR 2009), the 4th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2009), the 10th Inter- tional Workshop on Rule-Based Programming (RULE 2009), the 8th Inter- tional...
Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, ...
|
cena:
200,77 |
 |
Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
ISBN: 9783642024238 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2009). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised four workshops and seven tutorials....
This volume consists of the proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ...
|
cena:
200,77 |
 |
Model Checking Software
ISBN: 9783642026515 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26 28, 2009. The workshop was co-located with the 21st International Conference on Computer-Aided Veri?- tion (CAV 2009). The SPIN workshopis a forum for practitioners and researchersinterested in themodelchecking-basedanalysisofsoftwaresystems.Thefocusoftheworkshop is on theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in the SPIN...
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble ...
|
cena:
200,77 |
 |
Model Driven Architecture: Foundations and Applications
ISBN: 9783642026737 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative proposed by the Object Management Group for platform-generic systems - velopment; MDA is one of a class of approaches under the umbrella of MDE. MDE and MDA promote the use of models in the speci?cation, design, analysis, synthesis, deployment, and evolution of complex software systems. It is a...
The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the ...
|
cena:
200,77 |
 |
Implementation and Application of Automata
ISBN: 9783642029783 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 14th International Conference on Implementation and Application of - tomata (CIAA 2009) was held in NICTA s Neville Roach Laboratory at the University of New South Wales, Sydney, Australia during July 14 17, 2009. This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2009, as well as abstracts of the posters and short papers that were presented at the conference. The volume also includes papers orextendedabstractsofthethreeinvitedtalkspresentedbyGonzalo Navarro on ImplementationandApplicationofAutomatainStringProcessing, byChristoph Koch on...
The 14th International Conference on Implementation and Application of - tomata (CIAA 2009) was held in NICTA s Neville Roach Laboratory at the Univer...
|
cena:
200,77 |
 |
Agent-Oriented Software Engineering IX: 9th International Workshop, Aose 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
ISBN: 9783642013379 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offers an overview of the work undertaken by researchers in the area of Agent-Oriented Software Engineering. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008.
Offers an overview of the work undertaken by researchers in the area of Agent-Oriented Software Engineering. This volume constitutes the thoroughly re...
|
cena:
200,77 |
 |
Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape
ISBN: 9783642032394 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but...
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in ...
|
cena:
200,77 |
 |
Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Re
ISBN: 9783642033377 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Paci?c-Rim International Workshop on Multi-Agents (PRIMA) is held - nually, and is one of the principal research forums in the practice and theory of autonomous agents and multi-agent systems. Autonomous agents and mul- agent systems are computational systems in which several (semi-) autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agentshavingcommongoalsordistinctgoals,...
The Paci?c-Rim International Workshop on Multi-Agents (PRIMA) is held - nually, and is one of the principal research forums in the practice and theory...
|
cena:
200,77 |
 |
Computer Science--Theory and Applications
ISBN: 9783642033506 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 4th International Computer Science Symposium in Russia (CSR 2009) was held August 18-23,2009 in Novosibirsk, Russia, hosted by the Sobolev Institute of Mathematics and Novosibirsk State University. It was the fourth event in the series of regular international meetings, following CSR 2006 in St. Petersburg, CSR 2007 in Ekaterinburg, and CSR 2008 in Moscow. The opening lecture was given by Andrei Voronkov, and four other invited plenary lectures were given by Sergei Odintsov, Wolfgang Thomas, Nikolai Vereshchagin, and Hongseok Yang. This volume contains all the accepted papers and some of...
The 4th International Computer Science Symposium in Russia (CSR 2009) was held August 18-23,2009 in Novosibirsk, Russia, hosted by the Sobolev Institu...
|
cena:
200,77 |
 |
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
ISBN: 9783642033582 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held during August 17-20, 2009 in Munich, Germany. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 55 papers submitted to TPHOLs 2009 in the full research c- egory, each of which was refereed by at least three reviewers selected by the ProgramCommittee. Of these submissions, 26 researchpapers and 1 proofpearl were accepted for presentation at the conference...
This volume constitutes the proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held d...
|
cena:
200,77 |
 |
Agents and Data Mining Interaction: 4th International Workshop on Agents and Data Mining Interaction, Admi 2009, Budapest, Hungary, May 10-15,2009, Re
ISBN: 9783642036026 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The2009InternationalWorkshoponAgentsandDataMiningInteraction(ADMI 2009) was a joint event with AAMAS2009. In recentyears, agents and data mining interaction (ADMI), or agent mining forshort, hasemergedasaverypromisingresearch?eld. Followingthesuccessof ADMI 2006 in Hong Kong, ADMI 2007 in San Jose, and ADMI 2008 in Sydney, the ADMI 2009 workshop in Budapest provided a premier forum for sharing research and engineering results, as well as potential challenges and prospects encountered in the synergy between agents and data mining. As usual, the ADMI workshop encouraged and promoted theoretical...
The2009InternationalWorkshoponAgentsandDataMiningInteraction(ADMI 2009) was a joint event with AAMAS2009. In recentyears, agents and data mining inter...
|
cena:
200,77 |
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
