Wyniki wyszukiwania:
wyszukanych pozycji: 13
 |
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Turtorial Lectures
ISBN: 9783540748090 / Angielski / Miękka / 2007 / 338 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research groups, events, conferences, and summer schools that are studying it. This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro, Italy, in September 2006 and September 2007. The increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research gro... |
cena:
195,42 zł |
 |
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
ISBN: 9783642038280 / Angielski / Miękka / 2009 / 339 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic protocol analysis, identity management and electronic voting, and wireless security. This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics ... |
cena:
179,62 zł |
 |
Foundations of Security Analysis and Design VIII: Fosad 2014/2015/2016 Tutorial Lectures
ISBN: 9783319430041 / Angielski / Miękka / 2016 / 163 str. Termin realizacji zamówienia: ok. 20 dni roboczych. FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia and industry, interested to approach the field, investigate open problems, and follow priority lines of research. FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in comp... |
cena:
164,19 zł |
 |
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
ISBN: 9783642157837 / Angielski / Miękka / 2010 / 286 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2010. The purpose of this workshop series is to gather academic and industrial researchers working on all aspects of performance engineering. This year the workshop was structured around three main areas: system and network p- formance engineering, software performance engineering, and the modeling and evaluation techniques supporting them. This edition of the workshop attracted 38 submissions, whose authors we wish to thank for their interest in...
This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2...
|
cena:
195,42 zł |
 |
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
ISBN: 9783540289555 / Angielski / Miękka / 2005 / 286 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. The "Int- national School on Foundations of Security Analysis and Design" (FOSAD, see http: //www.sti.uniurb.it/events/fosad/)has been one of the foremost events - tablishedwiththegoalofdisseminatingknowledgeinthiscriticalarea, especially for young researchers approaching the ?eld and graduate...
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing numb...
|
cena:
175,72 zł |
 |
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 6-10, 2023
ISBN: 9783031660207 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
156,32 zł |
 |
User-Centric Networking: Future Perspectives
ISBN: 9783319052175 / Angielski / Twarda / 2014 / 368 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme. ULOOP is focused on the robust, secure, and autonomic deployment of user-centric wireless networks. Contributions by ULOOP partners as well as invited tutorials by international experts in the field. The expected impact is to increase awareness to user-centric networking in terms, e.g., of business opportunities and quality of experience, and to present adequate technology to sustain the growth of user-friendly wireless architectures. Throughout the...
This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme. ULOOP is...
|
cena:
195,42 zł |
 |
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio
ISBN: 9783642136771 / Angielski / Miękka / 2010 / 169 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to...
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer...
|
cena:
195,42 zł |
 |
User-Centric Networking: Future Perspectives
ISBN: 9783319379937 / Angielski / Miękka / 2016 / 368 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme.ULOOP is focused on the robust, secure, and autonomic deployment of user-centric wireless networks.
This work represents a milestone for the "ULOOP User-centric Wireless Local Loop" project funded by the EU IST Seventh Framework Programme.ULOOP is f...
|
cena:
195,42 zł |
 |
Foundations of Security Analysis and Design VII: Fosad 2012 / 2013 Tutorial Lectures
ISBN: 9783319100814 / Angielski / Miękka / 2014 / 282 str. Termin realizacji zamówienia: ok. 20 dni roboczych. FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia or industry, interested to approach the field, investigate open problems, and follow priority lines of research.
This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of... FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in compute...
|
cena:
187,64 zł |
 |
A Process Algebraic Approach to Software Architecture Design
ISBN: 9781447157663 / Angielski / Miękka / 2014 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., 154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is...
Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit...
|
cena:
195,42 zł |
 |
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
ISBN: 9783642230813 / Angielski / Miękka / 2011 / 275 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The FOSAD symposia are a vital means of disseminating cutting-edge developments in computer network security. This collection features revised versions of nine lectures given at FOSAD tutorials by some of the world's leading researchers in the field.
The FOSAD symposia are a vital means of disseminating cutting-edge developments in computer network security. This collection features revised version...
|
cena:
195,42 zł |
 |
A Process Algebraic Approach to Software Architecture Design
ISBN: 9781848002227 / Angielski / Twarda / 2009 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., 154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is...
Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit...
|
cena:
195,42 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
