springer berlin heidelberg jun 2007 (237 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, held in Nara, Japan in June 2007. It presents the latest approaches and technical solutions in the area of smart homes, health telematics, and emerging enabling technologies. 268 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.

Buch. Condizione: Neu. Neuware -Addressed to both graduate students and researchers this monograph provides in-depth analyses of vortex dominated flows via matched and multiscale asymptotics, and it demonstrates how insight gained through these analyses can be exploited in the construction of robust, efficient, and accurate numerical techniques. The dynamics of slender vortex filaments is discussed in detail, including fundamental derivations, compressible core structure, weakly non-linear limit regimes, and associated numerical methods. Similarly, the volume covers asymptotic analysis and computational techniques for weakly compressible flows involving vortex generated sound and thermoacoustics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Here is the first part of a work that provides a full account of Jorgensen's theory of punctured torus Kleinian groups and its generalization. It offers an elementary and self-contained description of Jorgensen's theory with a complete proof. Through various informative illustrations, readers are naturally led to an intuitive, synthetic grasp of the theory, which clarifies how a very simple fuchsian group evolves into complicated Kleinian groups.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 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 -The book constitutes the refereed proceedings of the Third International Conference on Distributed Computing in Sensor Systems, DCOSS 2007, held in Sante Fe, NM, USA in June 2007.The 27 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers class in three tracks covering the areas of algorithms, applications, and systems, thus bridging the gap between theory and practice and between the broader field of distributed computing and the specific issues arising in sensor networks and related systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007. The 19 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 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.

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.

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 -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 -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.

Taschenbuch. Condizione: Neu. Neuware -Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee¿s invitation. 376 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 -These proceedings contain the papers accepted at the 2007 European PKI Workshop: Theory and Practice (EuroPKI 2007), held in Palma de Mallorca, Spain, during June 28¿30, and hosted by the Computer Science Department of the University of Balearic Islands (UIB) with the support of the Balearic Islands Government and the Private Law Department at UIB. This year¿s event was the fourth event in the EuroPKI Workshops series. Previous events of the series were held in: Samos, Greece (2004); Kent, UK (2005); and Turin, Italy, (2006). In response to the call for papers, 77 papers were submitted to this year¿s workshop, setting a record of the highest number of papers submitted to an EuroPKI event so far and confirming an increased interest in PKI research and in the EuroPKI event. Each paper was reviewed by three members of the Program Committee, and evaluated on the basis of its significance, novelty, technical quality and relevance to the workshop. The paper selection process was very competitive: of the papers submitted, only 21 full papers and 8 short papers were selected for presentation at the workshop and inclusion in this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Readers will find here a fascinating text that is the thoroughly refereed post-proceedings of the 9th Workshop on the Foundations of Genetic Algorithms, FOGA 2007, held in Mexico City in January 2007. The 11 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and improvement from 22 submissions. The papers address all current topics in the field of theoretical evolutionary computation and also depict the continuing growth in interactions with other fields such as mathematics, physics, and biologySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 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 volume includes four lecture courses by Bressan, Serre, Zumbrun and Williams and a Tutorial by Bressan on the Center Manifold Theorem. Bressan introduces the vanishing viscosity approach and clearly explains the building blocks of the theory. Serre focuses on existence and stability for discrete shock profiles. The lectures by Williams and Zumbrun deal with the stability of multidimensional fronts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 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.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.