ilość książek w kategorii: 10310
![]() |
Information Systems -- Creativity and Innovation in Small and Medium-Sized Enterprises: IFIP WG 8.2 International Conference, CreativeSME 2009, Guimaraes, Portugal, June 21-24, 2009, Proceedings
ISBN: 9783642023873 / Angielski / Twarda / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the collection of papers presented at the conference of the International Federation for Information Processing Working Group 8.2 "Information and Organizations." The conference took place during June 21-24, 2009 at the Universidade do Minho in Guimaraes, Portugal. The conference entitled "CreativeSME - The Role of IS in Leveraging the Intelligence and Creativity of SME's" attracted high-quality submissions from across the world. Each paper was reviewed by at least two reviewers in a double-blind review process. In addition to the 19 papers presented at the conference,...
This book contains the collection of papers presented at the conference of the International Federation for Information Processing Working Group 8.2 "...
|
cena:
394,44 zł |
![]() |
Formal Methods: State of the Art and New Directions
ISBN: 9781848827356 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa...
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on ...
|
cena:
394,44 zł |
![]() |
A Knowledge-Based Approach to Program Understanding
ISBN: 9780792396055 / Angielski / Twarda / 119 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized...
Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. ...
|
cena:
394,44 zł |
![]() |
Collaborative Software Engineering
ISBN: 9783642102936 / Angielski / Twarda / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts. The editors of this book have assembled... Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solv... |
cena:
394,44 zł |
![]() |
Algorithms and Architectures for Parallel Processing: 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 Proceedings
ISBN: 9783642030949 / Angielski / Miękka / 900 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
394,44 zł |
![]() |
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
ISBN: 9783540671022 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers, presented together with five revised full invited papers, were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented...
This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgor...
|
cena:
394,44 zł |
![]() |
Tapsoft'97: Theory and Practice of Software Development: 7th International Joint Conference Caap/Fase, Lille, France, April 14-18, 1997, Proceedings
ISBN: 9783540627814 / Angielski / Miękka / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997.
The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions. This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAP...
|
cena:
394,44 zł |
![]() |
Parallel Processing and Applied Mathematics: 4th International Conference, Ppam 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
ISBN: 9783540437925 / Angielski / Miękka / 915 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001.
The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary... This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPA...
|
cena:
394,44 zł |
![]() |
Engineering of Intelligent Systems: 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 20
ISBN: 9783540422198 / Angielski / Miękka / 958 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Export Systems, IEA/AIE 2001, held in Budapest, Hungary in June 2001. The 104 papers presented were carefully reviewed and selected from a total of 140 submissions. The proceedings offer topical sections on searching, knowledge representation, model-based reasoning, machine learning, data mining, soft computing, evolutionary algorithms, distributed problem solving, export systems, pattern and speech recognition, vision language...
This book constitutes the refereed proceedings of the 14th International Conference on Industrial and Engineering Applications of Artificial Intellige...
|
cena:
394,44 zł |
![]() |
Conceptual Modeling - Er 2009: 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009, Proceedings
ISBN: 9783642048395 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Conceptual modeling has long been recognized as the primary means to enable software development in information systems and data engineering. Conceptual modeling provides languages, methods and tools to understand and represent the application domain; to elicit, conceptualize and formalize system requirements and user needs; to communicate systems designs to all stakeholders; and to formally verify and validate systems design on high levels of abstraction. Recently, ontologies added an important tool to conceptualize and formalize system specification. The International Conference on...
Conceptual modeling has long been recognized as the primary means to enable software development in information systems and data engineering. Conceptu...
|
cena:
394,44 zł |
![]() |
Enterprise Interoperability: Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009 Proceedings
ISBN: 9783642047497 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the trends in the global market is the increasing collaboration among ent- prises. Constant changes in inter- and intra-organizational environments will persist in the future. Organizations have to flexibly and continuously react to (imminent) changes in markets and trading partners. Large companies but also SMEs have to cope with internal changes from both a technical (e.g., new information, communi- tion, software and hardware technologies) and an organizational point of view (e.g., merging, re-organization, virtual organizations, etc.). In this context, the competiti- ness of an...
One of the trends in the global market is the increasing collaboration among ent- prises. Constant changes in inter- and intra-organizational environm...
|
cena:
394,44 zł |
![]() |
FM 2009: Formal Methods
ISBN: 9783642050886 / Angielski / Miękka / 840 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis,... This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Fo... |
cena:
394,44 zł |
![]() |
Sofsem 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, C
ISBN: 9783642112652 / Angielski / Miękka / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23 29,2010 in the Hotel Bed? richov, ? Spindler? uv Mlyn, of the Krkono? se Mountains of the Czech Republic. SOFSEM(originally: SOFtwareSEMinar)isdevotedtoleadingresearch, and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter...
This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and ...
|
cena:
394,44 zł |
![]() |
Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009, Proceedings
ISBN: 9783642108402 / Angielski / Miękka / 642 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Internet and Network Economics, WINE 2009, held in Rome, Italy, in December 2009. The 34 regular and 29 short revised full papers presented together with 3 invited talks were carefully reviewed and selected from 142 submissions. The papers address various topics in theoretical computer science, networking and security, economics, mathematics, sociology, and management sciences devoted to the analysis of problems arising in the internet and the worldwide Web, such as auction algorithms, computational...
This book constitutes the refereed proceedings of the 5th International Workshop on Internet and Network Economics, WINE 2009, held in Rome, Italy, in...
|
cena:
394,44 zł |
![]() |
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12
ISBN: 9783642103728 / Angielski / Miękka / 758 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal...
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages,...
|
cena:
394,44 zł |
![]() |
Biomedical Engineering Systems and Technologies
ISBN: 9783642117206 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the best papers of the Second International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2009), organized by the Institute for Systems and Technologies of Information Control and Communi- tion (INSTICC), technically co-sponsored by the IEEE Engineering in Medicine and Biology Society (EMB), IEEE Circuits and Systems Society (CAS) and the Workflow Management Coalition (WfMC), in cooperation with AAAI and ACM SIGART. The purpose of the International Joint Conference on Biomedical Engineering S- tems and Technologies is to bring together...
This book contains the best papers of the Second International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2009), org...
|
cena:
394,44 zł |
![]() |
Rapid Application Generation of Business and Finance Software
ISBN: 9780792397076 / Angielski / Twarda / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rapid Application Generation of Business and Finance Software describes a method for developing wide ranging computing applications with emerging software technologies. The pressure of the market place calls for reducing the time to market of new software applications. This book shows how to build such software faster and more reliably.
Using an elegant concept of extended tools, the book presents a method for the constructive building of hybrid' applications. The book includes such application areas as direct marketing, banking insurance and executive information systems. The... Rapid Application Generation of Business and Finance Software describes a method for developing wide ranging computing applications with emer...
|
cena:
394,44 zł |
![]() |
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783642119569 / Angielski / Miękka / 652 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for...
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as par...
|
cena:
394,44 zł |
![]() |
Thriving Systems Theory and Metaphor-Driven Modeling
ISBN: 9781849963015 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How is it that one system is more effective, appealing, satisfying and/or more beautiful than another to its stakeholder community? This question drove Christopher Alexander's fifty-year quest to explain great physical architecture and gave birth to pattern-languages for building that underpin much of modern systems engineering. How is it that so many individual stakeholders consistently recognize the same quality, the same beauty in a system? This question led George Lakoff to research the role of conceptual metaphor in human understanding. What is essential to stakeholders' satisfaction...
How is it that one system is more effective, appealing, satisfying and/or more beautiful than another to its stakeholder community? This question drov...
|
cena:
394,44 zł |
![]() |
Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbou
ISBN: 9783540111894 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group Systemes Paralleles et Distribues and the Gl Special Interest Group Petrinetze und verwandte...
This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, h...
|
cena:
394,44 zł |