springer berlin heidelberg jun 2007 (236 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2007, held in Ithaca, NY, USA, in June 2007.Among the topics addressed in the 36 revised full papers are approximation algorithms, algorithmic game theory, computational biology, integer programming, polyhedral combinatorics, scheduling theory and scheduling algorithms, as well as semidefinite programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 following a very successful workshop held in Pavia, Italy, the year before. The principal aims of AIME are to foster fundamental and applied research in the application of arti cial intelligence (AI) techniques to medical care and medical research, and to provide a forum at biennial conferences for discussing any progress made. For this reason the main activity of the Society wastheorganizationofaseriesofbiennialconferences,heldinMarsei lles,France (1987), London, UK (1989), Maastricht, The Netherlands (1991), Munich, G- many (1993), Pavia, Italy (1995), Grenoble, France (1997), Aalborg, Denmark (1999), Cascais, Portugal (2001), Protaras, Cyprus (2003), and Aberdeen, UK (2005). This volume contains the proceedings of AIME 2007,the 11th Conference on Arti cial Intelligence in Medicine, held in Amsterdam, The Netherlands, July 7-11, 2007. The AIME 2007 goals were to present and consolidate the int- national state of the art of AI in biomedical research from the perspectives of methodology and application. The conference included invited lectures, a panel discussion, full and short papers, tutorials, workshops, and a doctoral cons- tium. In the conference announcement, authors were solicited to submit original contributions on the development of theory, systems, and applications of AI in medicine, including the exploitationof AI approachesto molecularmedicine and biomedical informatics. Authors of papers addressing theory were requested to describe the developmentorthe extensionof AI methods and to discuss the n- elty to the state of the art.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In this volume readers will find for the first time a detailed account of the theory of symplectic reduction by stages, along with numerous illustrations of the theory. Special emphasis is given to group extensions, including a detailed discussion of the Euclidean group, the oscillator group, the Bott-Virasoro group and other groups of matrices. Ample background theory on symplectic reduction and cotangent bundle reduction in particular is provided. Novel features of the book are the inclusion of a systematic treatment of the cotangent bundle case, including the identification of cocycles with magnetic terms, as well as the general theory of singular reduction by stages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Annual International Computing and Combinatorics Conference is an annual forum for exploring research, development, and novel applications of computing and combinatorics. It brings together researchers, professionals and industrial practitioners to interact and exchange knowledge, ideas and progress. Thetopics covermost aspects oftheoreticalcomputer scienceand combinatorics related to computing. The 13th Annual International Computing and Com- natorics Conference (COCOON 2007) was held in Ban , Alberta during July 16¿19, 2007. This was the rst time that COCOON was held in Canada. We received 165 submissions, among which 11 were withdrawn for various reasons. The remaining 154 submissions under full consideration came from 33 countries and regions: Australia, Brazil, Canada, China, the Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong, India, Iran, Ireland, Israel, Italy, Japan, the Netherlands, Norway, Pakistan, Poland, Romania, R- sia, Slovakia, South Korea, Spain, Sweden, Switzerland, Taiwan, Turkey, the UK, the USA, and the US minor outlying islands. Afterasixweekperiodofcarefulreviewinganddiscussions,theprogramc- mittee accepted 51 submissions for oral presentation at the conference. Based on the a liations, 1. 08 of the accepted papers were from Australia, 7. 67 from Canada, 3. 08 from China, 1 from the Czech Republic, 2 from Denmark, 1 from France, 5. 42 from Germany, 0. 08 from Greece, 2. 18 from Hong Kong, 0. 33 from India, 0. 17 from Ireland, 1. 83 from Israel, 1. 5fromItaly,2. 9 from Japan, 0. 17 from the Netherlands, 2. 67 from Norway, 0.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary eld of research in the intersection of mathematics, computer science, library s- ence, and scienti c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di erent aspects of di erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks. The wo- nd rd shop took place in Cambridge, UK, on the 2 and 3 of July 2007. The workshop was European in name and location but it was de nitely transatlantic in scope. We had a program chair from Europe and one from the USA, and membership of our program committee was almost evenly split - tween those two regions. When looking at participation, the workshop was even more global than that: the submitted papers came from 25 countries in 6 con- nents. We received 87 submissions. After quick-rejecting 5 papers deemed to be out of scope, the remaining 82 papers were each reviewed by at least three PC members. The two program chairs, who did not submit any works, had sole authoritytodecidewhichpaperstoacceptandreject,basedonlyonthedirective that quality had to be the primary criterion, in order to form a proceedings volume of high international relevance. The number of papers to be accepted was not set in advance: it was selected a posteriori so as to include only solid, innovative and insightful papers. The resulting acceptance rate of about 20%, very strict for a workshop, is a testimonial of how selective we chose to be in accepting only high quality papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Understanding the mechanisms involved in life (e. g. , discovering the biological functionofasetofproteins,inferringtheevolutionofasetofspecies)isbecoming increasinglydependent onprogressmade inmathematics,computer science,and molecular engineering. For the past 30 years, new high-throughput technologies have been developed generating large amounts of data, distributed across many data sources on the Web, with a high degree of semantic heterogeneity and di erentlevelsofquality. However,onesuchdatasetisnot,byitself,su cientfor scienti c discovery. Instead, it must be combined with other data and processed by bioinformatics tools for patterns, similarities, and unusual occurrences to be observed. Both data integration and data mining are thus of paramount importance in life science. DILS 2007 was the fourth in a workshop series that aims at fostering d- cussion, exchange, and innovation in research and development in the areas of data integration and data management for the life sciences. Each previous DILS workshop attracted around 100 researchers from all over the world. This year, the number of submitted papers again increased. The Program Committee - lected 19 papers out of 52 full submissions. The DILS 2007 papers cover a wide spectrum of theoretical and practical issues including scienti c work ows, - notation in data integration, mapping and matching techniques, and modeling of life science data. Among the papers, we distinguished 13 papers presenting research on new models, methods, or algorithms and 6 papers presenting imp- mentation of systems or experience with systems in practice. In addition to the presented papers, DILS 2007 featured two keynote talks by Kenneth H. Buetow, National Cancer Institute, and Junhyong Kim, University of Pennsylvania.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -Formal specification languages, object-oriented methods, CASE tools, component-based software production, agent-oriented, aspect-oriented . During the last two decades many techniques have been proposed from both research and industry in order to generate a correct software product from a higher-level system specification. Nevertheless, the many failures in achieving this goal have resulted in scepticism when facing any new proposal that offers a 'press the button, get all the code' strategy. And now the hype around OMG¿s MDA has given a new push to these strategies.Oscar Pastor and Juan Carlos Molina combine a sound theoretical approach based on more than 10 years¿ research with industrial strength and practical software development experience. They present a software process based on model transformation technology, thus making the statement 'the model is the code' ¿ instead of the common 'the code is the model' ¿ finally come true. They clearly explain which conceptual primitives should be present in a system specification, how to use UML to properly represent this subset of basic conceptual constructs, how to identify just those diagrams and modeling constructs that are actually required to create a meaningful conceptual schema, and, finally, how to accomplish the transformation process between the problem space and the solution space.Their approach is fully supported by commercially available tools, and the subsequent software production process is dramatically more efficient than today¿s conventional software development processes, saving many man-days of work. For software developers and architects, project managers, and people responsible for quality assurance, this book introduces all the relevant information required to understand and put MDA into industrial practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Buch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007. It covers managing agile processes, extending agile methodologies, teaching and introducing agile methodologies, methods and tools, empirical studies, and methodology issue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26¿29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book provides course material in theoretical physics intended for undergraduate and graduate students specializing in condensed matter. The book derives from teaching activity, offering readable and mathematical treatments explained in sufficient detail to be followed easily. The main emphasis is always on the physical meaning and applicability of the results. Many examples are provided for illustration; these also serve as worked problems.Discussion extends to atomic physics, relativistic quantum mechanics, elementary QED, electron spectroscopy, nonlinear optics, and various aspects of the many-body problem. Methods such as group representation theory, Green¿s functions, the Keldysh formalism and recursion techniques were also imparted.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book treats various concepts of generalized derivatives and subdifferentials in normed spaces, their geometric counterparts and their application to optimization problems. It starts with the subdifferential of convex analysis, passes to corresponding concepts for locally Lipschitz continuous functions and then presents subdifferentials for general lower semicontinuous functions. All basic tools are presented where they are needed: this concerns separation theorems, variational and extremal principles as well as relevant parts of multifunction theory. Each chapter ends with bibliographic notes and exercises.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Buch. Condizione: Neu. Neuware -Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we seen such breathtaking improvements in cost, quality, time to market, and developer productivity, often registering in the order-of-magnitude range. While the underlying concepts are straightforward enough ¿ building a family of related products or systems by planned and careful reuse of a base of generalized software development assets ¿ the devil can be in the details, as successful product line practice can involve organizational change, business process change, and technology change.The authors ideally combine academic research results with industrial real-world experiences, thus presenting a broad view on product line engineering so that both managers and technical specialists will benefit from reading it. After presenting a common framework for the description of the industrial case studies, they capture the wealth of knowledge that eight companies have gathered during the introduction of the software product line engineering approach in their daily practice. After reading this book, you will understand all the relevant aspects, regarding business, architecture, process, and organizational issues, of applying software product line engineering. If you consider using a product line approach in your organization, or if you want to improve your current practices you will find a rich set of useful information at your fingertips ¿ from practitioners to practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the First International Workshop on the Arithmetic of Finite Fields, WAIFI 2007, held in Madrid, Spain in June 2007. It covers structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -BNCOD has, for the past 27 years, provided a forum for researchers world-wide to gather to discuss the topical issues in databaseresearch.As the researchch- lenges have evolved, so BNCOD has changed its topics of interest accordingly, now covering data management more widely. In doing so, it has evolved from a local conference mostly attended by British researchers to a truly international conference that happens to be held in Britain. This year, for instance, sign- cantly less than half of the presentations are from UK or Irish authors, other contributions coming from continental Europe, Asia and the USA. Currently, one of the most pressing challenges is to nd ways of evolving database technology to cope with its new role in underpinning the massively distributed and heterogeneous applications built on top of the Internet. This has a ected both the ways in which data has been accessed and the ways in which it is represented, with XML data management becoming an important issue and, as such, heavily represented at this conference. It has also brought back issues of performance that might have been considered largely solved by the improvements in hardware, since data now has to be managed on devices of low power and small memory as well as on standard client and powerful server machines. We therefore invited papers on all aspects of data management, particularly relatedtohowdataisusedintheubiquitousenvironmentofthemodernInternet bycomplexdistributedandscienti capplications.Ofthe56submissionsfrom14 countriesweselected15fullpapers,3shortpapersand7postersforpresentation, all of which appear in this volume along with 2 invited papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Condizione: Neu. Neuware -Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general knowledge of the system in the so-called conceptual schema.Krogstie, Opdahl and Brinkkemper compiled 20 contributions from renowned researchers covering all aspects of conceptual modeling on the occasion of Arne Sølvberg¿s 67th birthday. Many friends of this information systems modeling pioneer happily contributed their latest research results from fields like data modeling, goal-oriented modeling, agent-oriented modeling, and process-oriented modeling. Overall, the contributions reflect the most important developments and application areas of conceptual modeling in recent years, and they also pinpoint trends in conceptual modeling for the next decade.This wide selection corresponds to the broad spectrum of Arne¿s activities and long-term responsibilities with the VLDB Endowment, IFIP, and ERCIM. Arne was presented with this book at CAiSE 2007, when the event which he cofounded in 1989 returned to his hometown of Trondheim.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Buch. Condizione: Neu. Neuware -The formation of galaxies is one of the greatest puzzles in astronomy, the solution is shrouded in the depths of space and time, but has profound implications for the universe we observe today. The book discusses the beginnings of the process from cosmological observations and calculations, considers the broad features of galaxies that we need to explain and what we know of their later history. The author compares the competing theories for galaxy formation and considers the progress expected from new generations of powerful telescopes both on earth and in space.In this second edition the author has retained the observationally-based approach of the first edition, a feature which was particularly well-reviewed: Writing in Nature, Carlton Baugh noted in February 2003 that ¿It is refreshing, in a market dominated by theorists, to come across a book on galaxy formation written from an observational perspective. The Road to Galaxy Formation should prove to be a handy primer on observations for graduate students, advanced undergraduates and theorists who feel too shy to visit a telescope¿.The New Scientist wrote in March 2003: ¿William Keel delicately balances observational evidence against today's relevant theoretical possibilities¿.And Sepehr Arbabi-Bidgoli wrote in Astronomische Nachrichten that ¿Reading this book I often felt like sitting in an exciting and entertaining lecture given by an astronomer who knows the subject and knows how to present it to the audience¿.A Bibliography at the end of each chapter contains a resumé of books, selected research papers and Web resources providing guidance to further reading.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation, Jean-Pierre Jouannaud has contributed to the design, semantics and implementation of OBJ2 and has recently augmented the Maude rewriting logic system with an essential feature: membership equational logic. He was a member of the CNU (National University Council) and a member of the CNRS national committee. He is now heading with great success the computer science laboratory at the Ecole Polytechnique thus showing his exceptional qualities as a research team manager and supervisor of students.This Festschrift volume, published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics. 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Although, bifurcation theory of equations with autonomous and periodic time dependence is a major object of research in the study of dynamical systems since decades, the notion of a nonautonomous bifurcation is not yet established. In this book, two different approaches are developed which are based on special definitions of local attractivity and repulsivity. It is shown that these notions lead to nonautonomous Morse decompositions, which are useful to describe the global asymptotic behavior of systems on compact phase spaces. Furthermore, methods from the qualitative theory for linear and nonlinear systems are derived, and nonautonomous counterparts of the classical one-dimensional autonomous bifurcation patterns are developed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Condizione: Neu. Neuware -Combinatorial enumeration is a readily accessible subject full of easily stated, but sometimes tantalizingly difficult problems. This book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical physics. Its aim is to introduce the student to a fascinating field, and to be a source of information for the professional mathematician who wants to learn more about the subject. The book is organized in three parts: Basics, Methods, and Topics. There are 666 exercises, and as a special feature every chapter ends with a highlight, discussing a particularly beautiful or famous result.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These notes present recent results in the value-distribution theory of L-functions with emphasis on the phenomenon of universality. Universality has a strong impact on the zero-distribution: Riemann¿s hypothesis is true only if the Riemann zeta-function can approximate itself uniformly. The text proves universality for polynomial Euler products. The authors¿ approach follows mainly Bagchi's probabilistic method. Discussion touches on related topics: almost periodicity, density estimates, Nevanlinna theory, and functional independence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Combinatorial enumeration is a readily accessible subject full of easily stated, but sometimes tantalizingly difficult problems. This book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical physics. Its aim is to introduce the student to afascinating field, and to be a source of information for the professional mathematician who wants to learn more about the subject. The book is organized in three parts: Basics, Methods, and Topics. There are 666 exercises, and as a special feature every chapter ends with a highlight, discussing a particularly beautiful or famous result.

Taschenbuch. Condizione: Neu. Neuware -The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial and proprietary engineering software tools (e.g., CAD, modeling, simulation, visualization, and optimization), engineering databases, and knowledge-based systems. Individuals or individual groups of mult- isciplinary design teams usually work in parallel and separately with various en- neering software tools which are located at different sites. In addition, individual members may be working on different versions of a design or viewing the design from different perspectives, at different levels of detail. In order to accomplish the work, it is necessary to have effective and efficient c- laborative design environments. Such environments should not only automate in- vidual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate, and coordinate their activities within the context of a design project. CSCW (computer-supported coope- tive work) in design is concerned with the development of such environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 784 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Creating some links between control feedback and biology modeling communities based on similarities in modeling, observing and perceiving alive structures, and analyzing interconnections between biological structures and subsystems was the main objective of this volume.In this context, biology systems need appropriate analysis tools due to their structure and hierarchy, complexity and environment interference, and we believe that these aspects may generate interesting research topics in control area. Indeed, several works, raising the potential impact of control developments to bring some beginning of answers in the context of biological systems, have been published in the recent years.The idea of this book was conceived in the context mentioned above with the objective to help in claiming many of the problems for control researchers, starting discussions and opening interactive debates between the control and biology communities, and, finally, to alert graduate students to the many interesting ideas at the frontier between control feedback theory and biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this book, Martijn Wisse and Richard Q. van der Linde provide a detailed description of their research on pneumatic biped robots at the Delft University of Technology, The Netherlands. The book covers the basic theory of passive dynamic walking and explains the implementation of pneumatic McKibben muscles in a series of successful prototypes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.