» książki » Computers - Logic Design
topmenu
 |
Minimizing and Exploiting Leakage in VLSI Design
ISBN: 9781441909497 / Angielski / Twarda / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Power consumption of VLSI (Very Large Scale Integrated) circuits has been growing at an alarmingly rapid rate. This increase in power consumption, coupled with the increasing demand for portable/hand-held electronics, has made power consumption a dominant concern in the design of VLSI circuits today. Traditionally, dynamic (switching) power has dominated the total power consumption of an IC. However, due to current scaling trends, leakage power has now become a major component of the total power consumption in VLSI circuits. Leakage power reduction is especially important in... Power consumption of VLSI (Very Large Scale Integrated) circuits has been growing at an alarmingly rapid rate. This increase in power consumption, ... |
cena:
603,81 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Universal Access in Human-Computer Interaction. Addressing Diversity: 5th International Conference, Uahci 2009, Held as Part of Hci International 2009
ISBN: 9783642027062 / Angielski / Miękka / 712 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This three-volume set LNCS 5614-5616 constitutes the refereed proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction - Addressing Diversity, UAHCI 2009, held as Part of HCI International 2009, in San Diego, CA, USA, in July 2009, jointly with 8 other thematically similar conferences. The revised papers presented were carefully reviewed and selected from numerous submissions. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in universal access namely interaction and support...
This three-volume set LNCS 5614-5616 constitutes the refereed proceedings of the 5th International Conference on Universal Access in Human-Computer In...
|
cena:
402,53 |
 |
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, Uahci 2009, Held as
ISBN: 9783642027093 / Angielski / Miękka / 773 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 13th International Conference on Human Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19 24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social...
The 13th International Conference on Human Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19 24, 2009, joi...
|
cena:
402,53 |
 |
Universal Access in Human-Computer Interaction. Applications and Services: 5th International Conference, Uahci 2009, Held as Part of Hci International
ISBN: 9783642027123 / Angielski / Miękka / 817 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human-Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social...
The 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, joi...
|
cena:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Einführung in Die Informatik: Objektorientiert Mit Java
ISBN: 9783540209584 / Niemiecki / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in die Informatik konzentriert sich insbesondere auf die moderne objektorientierte Softwaretechnik. Die zentralen Konzepte von objektorientierten Programmiersprachen, namlich Algorithmen und Datenstrukturen, werden dabei nicht nur abstrakt beschrieben und theoretisch begrundet, sondern auch mittels UML und Java 2 konkret umgesetzt und intensiv eingeubt. Am Ende kennt der Leser neben dem klassischen auch den modernen objektorientierten Stoff der Informatik auf dem Niveau des ersten Studienjahres und beherrscht mit Java zudem eine Programmiersprache, die in der... Diese Einfuhrung in die Informatik konzentriert sich insbesondere auf die moderne objektorientierte Softwaretechnik. Die zentralen Konzepte von obj... |
cena:
225,72 |
 |
Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4,
ISBN: 9783642037535 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description...
This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Su...
|
cena:
197,05 |
 |
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:
201,24 |
 |
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
ISBN: 9783642040269 / Angielski / Miękka / 567 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. ...
|
cena:
402,53 |
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
