» książki » Computers - Software Development & Engineering - Systems Analysis & Design
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2224
 |
Coordination Models and Languages: 10th International Conference, Coordination 2008, Oslo, Norway, June 4-6, 2008, Proceedings
ISBN: 9783540682646 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008. The 21 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software...
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in O...
|
cena:
195,42 zł |
 |
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S
ISBN: 9783540688921 / Angielski / Miękka / 527 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer, communication, and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2008 was devoted...
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com-...
|
cena:
195,42 zł |
 |
Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, Asmta 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
ISBN: 9783540689805 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConf- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2008)thattookplaceonthebeautifulislandofCyprusforthe?rsttime. The conference has become an important annual event in the ?elds of - alytical modelling and performance evaluation in Europe and internationally. Nevertheless, e?orts have been made year after year to raise the standard and the quality of the programme.This yearthe proceedings are published as partof Springer s prestigiousLecture Notes in Computer Science (LNCS) series. This is...
Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConf- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2...
|
cena:
195,42 zł |
 |
Networking 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet: 7th International Ifip-Tc6 Networking Conference Singapore, M
ISBN: 9783540795483 / Angielski / Miękka / 945 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International IFIP-TC6 Networking Conference, NETWORKING 2008, held in Singapore, in May 2008. The 82 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on ad hoc and sensor networks: design and optimization, MAC protocol, overlay networking, and routing; next generation internet: authentication, modeling and performance evaluation, multicast, network measurement and testbed, optical networks, peer-to-peer and overlay networking,...
This book constitutes the refereed proceedings of the 7th International IFIP-TC6 Networking Conference, NETWORKING 2008, held in Singapore, in May 200...
|
cena:
586,33 zł |
 |
Pervasive Computing: 6th International Conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008
ISBN: 9783540795759 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Pervasive Computing, PERVASIVE 2008, held in Sydney in May 2008. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organised in topical sections.
This book constitutes the refereed proceedings of the 6th International Conference on Pervasive Computing, PERVASIVE 2008, held in Sydney in May 2008....
|
cena:
195,42 zł |
 |
Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ISBN: 9783540797067 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for...
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical S...
|
cena:
195,42 zł |
 |
Distributed Embedded Systems: Design, Middleware and Resources: Ifip 20th World Computer Congress, Tc10 Working Conference on Distributed and Parallel
ISBN: 9780387096605 / Angielski / Twarda / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress, held in Milan on September 7 10, 2008. The embedded systems world has a great deal of experience with parallel and distributed computing. Many embedded computing systems require the high performance that can be delivered by parallel computing. Parallel and distributed computing are often the only ways to deliver adequate real time performance at low power levels. This year's conference attracted 30 submissions, of which 21 were accepted. Prof....
This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress,...
|
cena:
390,87 zł |
 |
Performance Evaluation: Metrics, Models and Benchmarks: SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings
ISBN: 9783540698135 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008. The 17 revised full papers presented together with 3 keynote talks were carefully reviewed and selected out of 39 submissions for inclusion in the book. The papers are organized in topical sections on models for software performance engineering; benchmarks and workload characterization; Web services and service-oriented architectures; power and performance; and profiling, monitoring and optimization.
This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in J...
|
cena:
273,60 zł |
 |
Information Theory and Artificial Intelligence to Manage Uncertainty in Hydrodynamic and Hydrological Models
ISBN: 9789058096951 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The complementary nature of physically-based and data-driven models in their demand for physical insight and historical data, leads to the notion that the predictions of a physically-based model can be improved and the associated uncertainty can be systematically reduced through the conjunctive use of a data-driven model of the residuals. The objective of this thesis is to minimise the inevitable mismatch between physically-based models and the actual processes as described by the mismatch between predictions and observations. Principles based on information theory are used...
The complementary nature of physically-based and data-driven models in their demand for physical insight and historical data, leads to the notion that...
|
cena:
456,42 zł |
 |
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, Aswsd 2006, San Diego, Ca, Usa, March 15-17, 2006, Revi
ISBN: 9783540709299 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions.Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object...
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held...
|
cena:
195,42 zł |
 |
Beautiful Architecture
ISBN: 9780596517984 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What are the ingredients of robust, elegant, flexible, and maintainable software architecture? Beautiful Architecture answers this question through a collection of intriguing essays from more than a dozen of today's leading software designers and architects. In each essay, contributors present a notable software architecture, and analyze what makes it innovative and ideal for its purpose. What are the ingredients of robust, elegant, flexible, and maintainable software architecture? Beautiful Architecture answers this questio... |
cena:
198,78 zł |
 |
Handbook of Research on Modern Systems Analysis and Design Technologies and Applications
ISBN: 9781599048871 / Angielski / Twarda / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Due to unawareness of the development cycle of systems from its conceptualization to implementation, almost half of corporate IS projects are delayed or abandoned before completion. The introduction of system analysis and design concepts and their implementations have proven to significantly enhance the success rate of system delivery. The Handbook of Research on Modern Systems Analysis and Design Technologies and Applications provides a compendium of more than 300 terms, definitions, and explanations of concepts in various areas of systems and design, as well as 35 cutting-edge research...
Due to unawareness of the development cycle of systems from its conceptualization to implementation, almost half of corporate IS projects are delayed ...
|
cena:
1539,50 zł |
 |
The Common Component Modeling Example: Comparing Software Component Models
ISBN: 9783540852889 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FESCA, FACS andQoSA. There are a plethoraof componentmodels published, all with speci?c merits and bene?ts. However, most often these models are not used for comparison, as each research group concentrates on di?erent aspects of formal component modelling and quality prediction. Like the famous pro- 1 duction cell approach of the FZI, Karlsruhe, which has served since 1995 as a common example for di?erent embedded systems safety veri?cation, in...
Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FES...
|
cena:
195,42 zł |
 |
Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedin
ISBN: 9783540874119 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008. The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications.
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in Septembe...
|
cena:
195,42 zł |
 |
Intelligent Document Retrieval: Exploiting Markup Structure
ISBN: 9781402037672 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Collections of digital documents can nowadays be found everywhere in institutions, universities or companies. Examples are Web sites or intranets. But searching them for information can still be painful. Searches often return either large numbers of matches or no suitable matches at all. Such document collections can vary a lot in size and how much structure they carry. What they have in common is that they typically do have some structure and that they cover a limited range of topics. The second point is significantly different from documents on the Web in general. ...Collections of digital documents can nowadays be found everywhere in institutions, universities or companies. Examples are Web sites or intranets. ... |
cena:
390,87 zł |
 |
Computer Safety, Reliability, and Security: 27th International Conference, Safecomp 2008 Newcastle Upon Tyne, Uk, September 22-25, 2008 Proceedings
ISBN: 9783540876977 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held...
|
cena:
195,42 zł |
 |
Software Technologies for Embedded and Ubiquitous Systems: 6th Ifip Wg 10.2 International Workshop, Seus 2008, Anacarpi, Capri Island, Italy, October
ISBN: 9783540877844 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include missi- and business-critical scenarios. The advances call for a variety of compelling - sues, including dependability, real-time, quality-of-service, autonomy, resource constraints, seamless interaction, middleware support, modeling, veri?cation, validation, etc. The International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) brings together experts in the ?eld of emb- ded and ubiquitous computing systems with...
Embedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include mi...
|
cena:
195,42 zł |
 |
Systems and Virtualization Management: Standards and New Technologies
ISBN: 9783540887072 / Angielski / Miękka / 135 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International DMTF Ac- emic Alliance Workshopon Systems and Virtualization Management: Standards and New Technologies (SVM 2008) held in Munich, Germany, during October 21 22, 2008. The SVM 2008 proceedings are intended for use by students of systems and virtualization management. The reader is presumed to have a basic knowledge of systems management technologies and standards at the level provided, for example, the Common Information Model (CIM) standard for modeling m- agement resources. The student of systems management will ?nd here...
This volume contains the proceedings of the Second International DMTF Ac- emic Alliance Workshopon Systems and Virtualization Management: Standards an...
|
cena:
195,42 zł |
 |
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis: Aamas 2007 Workshop, Amec 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 200
ISBN: 9783540887126 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Mediated Electronic Commerce, AMEC IX, co-located with the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2007, held in Honolulu, Hawai, in May 2007, and the 5th Workshop on Trading Agent Design and Analysis, TADA 2007, co-located with the Twenty-Second AAAI Conference on Artificial Intelligence, AAAI 2007, held in Vancouver, Canada, in July 2007. This volume presents 15 carefully revised and selected papers from these workshops. The...
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Mediated Electronic Commerce, AME...
|
cena:
195,42 zł |
 |
Embedded Systems Design: The Artist Roadmap for Research and Development
ISBN: 9783540251071 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant...
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, ...
|
cena:
390,87 zł |
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
