ilość książek w kategorii: 10301
![]() |
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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 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:
389,09 zł |
![]() |
Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, Septemb
ISBN: 9783540123095 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software gineering, hardware design and its...
This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa M...
|
cena:
389,09 zł |
![]() |
Open Source Software: New Horizons: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings
ISBN: 9783642132438 / Angielski / Twarda / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international conf- ence was held in North America. We had a large number of high-quality papers, highlyrelevantpanelsandworkshops, acontinuationofthepopulardoctoralc- sortium, and multiple distinguished invited speakers. The success of OSS 2010 was only possible because an Organizing Committee, a Program Committee, Workshop and Doctoral Committees, and authors of research manuscripts from over 25 countries contributed their time and interest to OSS 2010. In the...
Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international con...
|
cena:
389,09 zł |
![]() |
Handbook on Agent-Oriented Design Processes
ISBN: 9783642399749 / Angielski / Twarda / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To deal with the flexible architectures and evolving functionalities of complex modern systems, the agent metaphor and agent-based computing are often the most appropriate software design approach. As a result, a broad range of special-purpose design processes has been developed in the last several years to tackle the challenges of these specific application domains. In this context, in early 2012 the IEEE-FIPA Design Process Documentation Template SC0097B was defined, which facilitates the representation of design processes and method fragments through the use of standardized templates,... To deal with the flexible architectures and evolving functionalities of complex modern systems, the agent metaphor and agent-based computing are of... |
cena:
389,09 zł |
![]() |
Parallel Processing and Applied Mathematics, Part II: 8th International Conference, Ppam 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings
ISBN: 9783642144028 / Angielski / Miękka / 596 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics, PPAM 2009, held in Wroclaw, Poland, in September 2009.
Constitutes the proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics, PPAM 2009, held in Wroclaw, Poland, in...
|
cena:
389,09 zł |
![]() |
Recent Trends in Network Security and Applications: Third International Conference, Cnsa 2010, Chennai, India, July 23-25, 2010 Proceedings
ISBN: 9783642144776 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Third International Conference on Network Security and Applications (CNSA-2010) focused on all technical and practical aspects of security and its applications for wired and wireless networks. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on understanding modern security threats and countermeasures, and establishing new collaborations in these areas. Authors are invited to contribute to the conference by submitting articles that illustrate research results, projects, survey work and industrial experiences describing...
The Third International Conference on Network Security and Applications (CNSA-2010) focused on all technical and practical aspects of security and its...
|
cena:
389,09 zł |
![]() |
Computational Science and Its Applications - Iccsa 2005: International Conference, Singapore, May 9-12. 2005, Proceedings, Part III
ISBN: 9783540258629 / Angielski / Miękka / 1342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and...
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec In...
|
cena:
389,09 zł |