wyszukanych pozycji: 10
Foundations of Software Science and Computation Structures: 5th International Conference, Fossacs 2002. Held as Part of the Joint European Conferences
ISBN: 9783540433668 / Angielski / Miękka / 2002 / 443 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002. The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical and geometric theories, models and methods which support the specification, synthesis, verification, analysis and transformation of sequential, concurrent, distributed and...
This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSS...
|
|
cena:
195,87 zł |
Mathematical Foundations of Computer Science 2000: 25th International Symposium, Mfcs 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceed
ISBN: 9783540679011 / Angielski / Miękka / 2000 / 710 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislava, Slovakia in August - September 2000. The 57 revised full papers presented together with eight invited papers were carefully reviewed and selected from a total of 147 submissions. The book gives an overview on research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing...
This text constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in...
|
|
cena:
391,77 zł |
Sofsem 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, C
ISBN: 9783540958901 / Angielski / Miękka / 2009 / 692 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification. This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, he... |
|
cena:
391,77 zł |
Organic Synthesis and Molecular Engineering
ISBN: 9781118150924 / Angielski / Twarda / 2013 / 470 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. The theory, methods, and practices needed to build molecules and supramolecular systems Using a synthetic approach to organic materials chemistry, this book sets forth tested and proven methods and practices that make it possible to engineer organic molecules offering special properties and functions. Throughout the book, plenty of real-world examples demonstrate the countless possibilities of creating one-of-a-kind molecules and supramolecular systems to support a broad range of applications. The book explores applications in both materials and bioorganic chemistry,... The theory, methods, and practices needed to build molecules and supramolecular systems Using a synthetic approach to organic materia... |
|
cena:
765,60 zł |
Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
ISBN: 9783540676935 / Angielski / Miękka / 2000 / 492 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000. The 20 revised full papers presented together with four invited surveys and four presentations were carefully reviewed and selected from 57 submissions. The papers address various aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks. Various classes of...
This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarh...
|
|
cena:
195,87 zł |
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
ISBN: 9783540645702 / Angielski / Miękka / 1998 / 520 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area. This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as t...
|
|
cena:
195,87 zł |
Luke's Literary Creativity
ISBN: 9780567686596 / Angielski / Miękka / 2019 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
|
cena:
176,64 zł |
Matrix-Exponential Distributions in Applied Probability
ISBN: 9781493983773 / Angielski / Miękka / 2018 / 736 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
352,59 zł |
Matrix-Exponential Distributions in Applied Probability
ISBN: 9781493970476 / Angielski / Twarda / 2017 / 736 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
391,77 zł |
Science of Synthesis Knowledge Updates: 2018/1
ISBN: 9783132423138 / Angielski / Twarda / 2017 / 504 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. The Science of Synthesis Editorial Board, together with the volume editors and authors, is constantly reviewing the whole field of synthetic organic chemistry as presented in Science of Synthesis and evaluating significant developments in synthetic methodology. Several annual volumes updating content across all categories ensure that you always have access to state-of-the-art synthetic methodology.
The Science of Synthesis Editorial Board, together with the volume editors and authors, is constantly reviewing the whole field of synthetic organic c...
|
|
cena:
19366,14 zł |