ilość książek w kategorii: 10275
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
ISBN: 9781402073748 / Angielski / Twarda / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only... Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of pol... |
|
cena:
383,73 zł |
Integrity and Internal Control in Information Systems VI: Ifip Tc11 / Wg11.5 Sixth Working Conference on Integrity and Internal Control in Information
ISBN: 9781402079009 / Angielski / Twarda / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development and integration of integrity and internal control mechanisms into information system infrastructures is a challenge for researchers, IT personnel and auditors. Since its beginning in 1997, the IICIS international working conference has focused on the following questions: what precisely do business managers need in order to have confidence in the integrity of their information systems and their data and what are the challenges IT industry is facing in ensuring this integrity; what are the status and directions of research and development in the area of integrity and internal...
The development and integration of integrity and internal control mechanisms into information system infrastructures is a challenge for researchers, I...
|
|
cena:
383,73 zł |
The Definitive Guide to Java Swing
ISBN: 9781590594476 / Angielski / Miękka / 928 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Completely revised, expanded, and updated for version 1.4 of the Java 2 Standard Edition (J2SE), this Third Edition not only adds updated programming examples of key Swing features but rounds out the book with key concepts like printing so the title provides a more complete reference for those interested in component-based user interface programming in Java. Key areas of new and updated material include drag and drop, accessibility, printing, focus management, and deployment. From the author: One of the things I'm trying to do with this edition is to expand things a little. With prior...
Completely revised, expanded, and updated for version 1.4 of the Java 2 Standard Edition (J2SE), this Third Edition not only adds updated programming ...
|
|
cena:
383,73 zł |
Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK 2001
ISBN: 9781852334116 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, February 2001. For some time, it has been recognised that technical issues are only one side of the safety coin. The other, often dominant feature, is active, informed and committed management. An understanding of risk, emphasis on education and the use of language, attention to learning lessons from both research and other industry sectors, and the development of the appropriate staff competences, are all aspects of safety management. The papers...
Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, Febr...
|
|
cena:
383,73 zł |
System Software Reliability
ISBN: 9781852339500 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. System Software Reliability is an introduction to software reliability engineering as well as a detailed survey of the... Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reac... |
|
cena:
383,73 zł |
Eurasia-Ict 2002: Information and Communication Technology: First Eurasian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings
ISBN: 9783540000280 / Angielski / Miękka / 1028 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We welcomed participants to the 1st EurAsian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) held in Iran. The aim of the conference was to serve as a forum to bring together researchers from academia and commercial developers from industry to discuss the current state of the art in ICT, mainly in Europe and Asia. Inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social events. Keynote addresses, research presentation, and discussion during the conference helped to further develop the exchange of...
We welcomed participants to the 1st EurAsian Conference on Advances in Information and Communication Technology (EurAsia ICT 2002) held in Iran. The a...
|
|
cena:
383,73 zł |
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002,
ISBN: 9783540000297 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai, China, from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical, security-critical, and mission-critical systems have signi?cantly increased trustworthiness, without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software...
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha-...
|
|
cena:
383,73 zł |
Managing Software Engineering Knowledge
ISBN: 9783540003700 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as changing requirements, team dynamics, and high staff turnover. Thus the management of knowledge and experience is a key means of systematic software development and process improvement. "Managing Software Engineering Knowledge" illustrates several theoretical examples of this vision and solutions applied to industrial practice. It is... Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning schedul... |
|
cena:
383,73 zł |
Secure Systems Development with UML
ISBN: 9783540007012 / Angielski / Twarda / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jurjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to... Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is diffi... |
|
cena:
383,73 zł |
Software Engineering 1: Abstraction and Modelling
ISBN: 9783540211495 / Angielski / Twarda / 756 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
|
cena:
383,73 zł |
Software Engineering 3: Domains, Requirements, and Software Design
ISBN: 9783540211518 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
|
cena:
383,73 zł |
Testing Commercial-Off-The-Shelf Components and Systems
ISBN: 9783540218715 / Angielski / Twarda / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enable the systematic and cost-effective reuse of prefabricated tested parts, a characteristic approach of mature engineering disciplines. This reuse necessitates a thorough test of these components to make sure that each works as specified in a real context. Beydeda and Gruhn invited leading researchers in the area of component testing to contribute to this monograph, which covers all related aspects from testing components in a... Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enab... |
|
cena:
383,73 zł |
The Semantic Web: Research and Applications: Second European Semantic Web Conference, Eswc 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proce
ISBN: 9783540261247 / Angielski / Miękka / 728 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 2nd European Semantic Web Conference (ESWC 2005) held in Heraklion, Crete, Greece, from 29th May to 1st June, 2005. The vision of the Semantic Web is to enhance today's Web via the exploi- tion of machine-processable metadata. The explicit representation of the sem- tics of data, accompanied with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together an - crediblylargenetworkofhumanknowledgeandwillcomplementitwithmachine processability. Various automated services will help the...
This volume contains the papers presented at the 2nd European Semantic Web Conference (ESWC 2005) held in Heraklion, Crete, Greece, from 29th May to 1...
|
|
cena:
383,73 zł |
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ISBN: 9783540359043 / Angielski / Miękka / 758 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume I (4051) presents 61 revised full papers together with 1 invited lecture, focusing on algorithms, automata, complexity and games, on topics including graph theory, quantum computing, and more. The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Pro... |
|
cena:
383,73 zł |
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
ISBN: 9783540359074 / Angielski / Miękka / 634 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume II (4052) presents 2 invited papers and 2 additional conference tracks with 24 papers each, focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation. The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Pro... |
|
cena:
383,73 zł |
Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
ISBN: 9783540374060 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4... |
|
cena:
383,73 zł |
Image Analysis, Random Fields and Markov Chain Monte Carlo Methods: A Mathematical Introduction
ISBN: 9783540442134 / Angielski / Twarda / 387 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "This book is concerned with a probabilistic approach for image analysis, mostly from the Bayesian point of view, and the important Markov chain Monte Carlo methods commonly used....This book will be useful, especially to researchers with a strong background in probability and an interest in image analysis. The author has presented the theory with rigor...he doesn't neglect applications, providing numerous examples of applications to illustrate the theory." -- MATHEMATICAL REVIEWS "This book is concerned with a probabilistic approach for image analysis, mostly from the Bayesian point of view, and the important Markov chain Mo... |
|
cena:
383,73 zł |
Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006,
ISBN: 9783540462194 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches. This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed ... |
|
cena:
383,73 zł |
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P
ISBN: 9783540482819 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions. This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasonin... |
|
cena:
383,73 zł |
information Networking: Advances in Data Communications and Wireless Networks: International Conference, ICOIN 2006, Sendai, Japan, January 16
ISBN: 9783540485636 / Angielski / Miękka / 1000 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, LNCS 3961, contains the papers selected from those presented at the International Conference on Information Networking 2006 (ICOIN 2006), held in Sendai, Japan. ICOIN 2006 constituted the 20th Anniversary of ICOIN. This year's conference program mainly focused on the field of ubiquitous and overlay networks, and on technology for ad hoc and sensor networks, mobile networks, transport networks, QoS and resource management, network security, peer-to-peer and overlay networks, resource management, and their applications. In response to the call for papers, 468 papers were submitted...
This volume, LNCS 3961, contains the papers selected from those presented at the International Conference on Information Networking 2006 (ICOIN 2006),...
|
|
cena:
383,73 zł |