![]() |
Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi
ISBN: 9783540231356 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were...
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applica...
|
cena:
201,24 |
![]() |
Web Mining: From Web to Semantic Web: First European Web Mining Forum, Ewmf 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and
ISBN: 9783540232582 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the last years, research on Web mining has reached maturity and has broadened in scope. Two different but interrelated research threads have emerged, based on the dual nature of the Web: - The Web is a practically in?nite collection of documents: The acquisition and - ploitation of information from these documents asks for intelligent techniques for information categorization, extraction and search, as well as for adaptivity to the interests and background of the organization or person that looks for information. - The Web is a venue for doing business electronically: It is a venue for...
In the last years, research on Web mining has reached maturity and has broadened in scope. Two different but interrelated research threads have emerge...
|
cena:
201,24 |
![]() |
Web Archiving
ISBN: 9783540233381 / Angielski / Twarda / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book assembles contributions from computer scientists and librarians that altogether encompass the complete range of tools, tasks and processes needed to successfully preserve the cultural heritage of the Web. It combines the librarian s application knowledge with the computer scientist s implementation knowledge, and serves as a standard introduction for everyone involved in keeping alive the immense amount of online information. "This book assembles contributions from computer scientists and librarians that altogether encompass the complete range of tools, tasks and processe... |
cena:
201,24 |
![]() |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
ISBN: 9783540233428 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals, principles, andlaws.DavidLorgeParnas, forinstance, who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that 'theoretically' is synonymous to 'not really'. In applied mathematics the goal is to discover...
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling...
|
cena:
201,24 |
![]() |
Bioinformatics
ISBN: 9783540241669 / Angielski / Twarda / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook presents mathematical models in bioinformatics and describes biological problems that inspire the computer science tools used to manage the enormous data sets involved. The first part of the book covers mathematical and computational methods, with practical applications presented in the second part. The mathematical presentation avoids unnecessary formalism, while remaining clear and precise. The book closes with a thorough bibliography, reaching from classic research results to very recent findings. This volume is suited for a senior undergraduate or graduate course on... This textbook presents mathematical models in bioinformatics and describes biological problems that inspire the computer science tools used to mana... |
cena:
201,24 |
![]() |
Spatially Structured Evolutionary Algorithms: Artificial Evolution in Space and Time
ISBN: 9783540241935 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way into many important real-life problems and into leading-edge scientific research. Spatially structured EAs have different properties than standard, mixing EAs. By virtue of the structured disposition of the population members they bring about new dynamical features that can be harnessed to solve difficult problems faster and more efficiently. This book describes the state of the art in spatially structured EAs by using graph concepts as a unifying theme. The models, their analysis, and... Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way into many important real-life problems an... |
cena:
201,24 |
![]() |
Selected Areas in Cryptography: 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers
ISBN: 9783540243274 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Selected Areas in Cryptography, SAC 2004, held in Waterloo, Canada in August 2004. The 24 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on stream cipher analysis, side channel analysis, block cipher design, efficient implementations, secret key cryptography, cryptanalysis, and cryptographic protocols.
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Selected Areas in Cryptography, SAC 2004, held... |
cena:
201,24 |
![]() |
Comparative Genomics: Recomb 2004 International Workshop, Rcg 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers
ISBN: 9783540244554 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG) is a forum on all aspects and components of Comparative Genomics ranging from new quantitative discoveries about genome structures and processes to theorems on the complexity of computational problems inspired by genome comparison. Due to the interdiciplinary nature of the workshop, papers could be submitted merely for presentation at the workshop or for presentation at the workshop and publication in the proceedings. Speakers presenting papers of the former category are listed under Selected Presentations below. The workshop...
The RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG) is a forum on all aspects and components of Comparative Genomics ranging from new qu...
|
cena:
201,24 |
![]() |
Regulatory Genomics: Recomb 2004 International Workshop, Rrg 2004, San Diego, Ca, Usa, March 26-27, 2004, Revised Selected Papers
ISBN: 9783540244561 / Angielski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the RECOMB 2004 Satellite Workshop on Regulatory Genomics, RRG 2004, held in San Diego, CA, USA in March 2004. The 10 revised full papers presented were carefully reviewed and improved for inclusion in the book. The papers address a broad variety of aspects of regulatory genomics including classification, functional module detection, proteonomics, sampling, kernel methods, TF binding motifs, gene expression data analysis, regulatory network model learning, RNA regulatory sequence motifs, DNA regulatory sequence motifs,...
This book constitutes the thoroughly refereed post-proceedings of the RECOMB 2004 Satellite Workshop on Regulatory Genomics, RRG 2004, held in San Die...
|
cena:
201,24 |
![]() |
Argumentation in Multi-Agent Systems: First International Workshop, Argmas 2004, New York, Ny, Usa, July 19, 2004, Revised Selected and Invited Papers
ISBN: 9783540245261 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of argumentation is a rich, interdisciplinary area of research involving philosophy, communications studies, linguistics, psychology, and logics. Its techniques have found a wide range of applications in both theoretical and practical branches of artificial intelligence and computer science. Multi-agent systems theory has picked up argumentation-inspired approaches and specifically argumentation-theoretic results from many different areas. Researchers in argumentation and multi-agent systems are currently enjoying a unique opportunity to integrate the various understandings...
The theory of argumentation is a rich, interdisciplinary area of research involving philosophy, communications studies, linguistics, psychology, and l...
|
cena:
201,24 |
![]() |
Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
ISBN: 9783540245742 / Angielski / Miękka / 295 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications arising from a variety of ?elds. WAOA 2004 took place in Bergen, Norway, from September 14 to September 16, 2004. The workshop was part of the ALGO 2004 event which also hosted ESA, WABI, IWPEC, and ATMOS. TopicsofinterestsforWAOA2004were: applicationstogametheory, appr- imation classes, coloring and partitioning, competitive analysis, computational ?nance, cuts and...
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally ha...
|
cena:
201,24 |
![]() |
Knowledge Mining: Proceedings of the NEMIS 2004 Final Conference
ISBN: 9783540250708 / Angielski / Twarda / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Text mining is an exciting application ?eld and an area of scienti?c - search that is currently under rapid development. It uses techniques from well-established scienti?c ?elds (e. g. data mining, machine learning, infor- tion retrieval, natural language processing, case-based reasoning, statistics and knowledge management) in an e?ort to help people gain insight, und- stand and interpret large quantities of (usually) semi-structured and unstr- tured data. Despite the advances made during the last few years, many issues remain unresolved. Proper co-ordination activities, dissemination of...
Text mining is an exciting application ?eld and an area of scienti?c - search that is currently under rapid development. It uses techniques from well-...
|
cena:
201,24 |
![]() |
Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
ISBN: 9783540250807 / Angielski / Miękka / 413 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addresses various topics in the area of membrane computing, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics.
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addr...
|
cena:
201,24 |
![]() |
Computational Methods in Systems Biology: International Conference Cmsb 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
ISBN: 9783540253754 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2004, held in Paris, France in May 2004. The 16 revised full papers and 7 revised short papers presented together with an invited paper went through two rounds of reviewing, selection and revision. The papers present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of... This book constitutes the thoroughly refereed postproceedings of the International Conference on Computational Methods in Systems Biology, CMSB 200... |
cena:
201,24 |
![]() |
Sequences and Their Applications - Seta 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
ISBN: 9783540260844 / Angielski / Miękka / 451 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Sequences and Their Applications, SETA 2004, held in Seoul, Korea in October 2004. The 30 revised full papers presented together with 4 invited survey articles were carefully selected during two rounds of reviewing and improvement from initially 59 submissions. The papers are organized in topical sections on complexity of sequences, perfect sequences, sequence construction, sequences modulo z, sequence generator properties and applications, multi-dimensional sequences, optics and OFDM... This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Sequences and Their Applications, SETA 2004... |
cena:
201,24 |
![]() |
Combinatorial Pattern Matching: 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings
ISBN: 9783540262015 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM 2005, held on June 19-22, 2005. This volume features papers which constitute original research contributions in combinatorial pattern matching and its applications, addressing application fields such as computational biology, bioinformatics, and others.
Constitutes the proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM 2005, held on June 19-22, 2005. This volume features p...
|
cena:
201,24 |
![]() |
Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
ISBN: 9783540263012 / Angielski / Miękka / 475 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets.Theconferencestypicallyhave 100-150 participants, one third from industry and the others from universities and research institutions, and they always take place in the last week of June....
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICA...
|
cena:
201,24 |
![]() |
Financial Cryptography and Data Security: 9th International Conference, FC 2005, Roseau, the Commonwealth of Dominica, February 28 - March 3, 2005, Re
ISBN: 9783540266563 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Financial Cryptography and Data Security, FC 2005, held in Roseau, The Commonwealth Of Dominica, in February/March 2005. The 24 revised full papers presented together with the abstracts of one invited talk and 2 panel statements were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on threat and attacks, digital signing methods, privacy, hardware oriented mechanisms, supporting financial transactions, systems, applications, and... This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Financial Cryptography and Data Security, FC ... |
cena:
201,24 |
![]() |
Public Key Infrastructure: Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers
ISBN: 9783540280620 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the proceedings of the 2nd EuroPKI Workshop -- EuroPKI 2005, held at the University of Kent in the city of Canterbury, UK, 30 June-1 July 2005. The workshop was informal and lively, and the university setting encouragedactive exchangesbetween the speakersand the audience. TheworkshopprogramcomprisedakeynotespeechfromDr.CarlisleAdams, followedby18refereedpapers, withaworkshopdinnerinandguidedtouraround the historic Dover Castle. Dr. Adams is well known for his contributions to the CAST family of s- metric encryption algorithms, to international standards from the IETF, ISO,...
This book contains the proceedings of the 2nd EuroPKI Workshop -- EuroPKI 2005, held at the University of Kent in the city of Canterbury, UK, 30 June-...
|
cena:
201,24 |
![]() |
Fundamentals of Computation Theory: 15th International Symposium, Fct 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
ISBN: 9783540281931 / Angielski / Miękka / 598 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT 2005, held in Lubeck, Germany in August 2005. The papers are organized in topical sections on circuits, automata, complexity, approximability, computational and structural complexity, graphs and complexity, and more.
Constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT 2005, held in Lubeck, Germany in Augu...
|
cena:
201,24 |