DSpace Home
→
Browsing by Subject

Browsing by Subject "005.1015113 23"

Now showing items 1-20 of 80

A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella.

Lindley, Sam. editor.; McBride, Conor. editor.; Trinder, Phil. editor.; Sannella, Don. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been ...
A Polynomial Translation of Mobile Ambients into Safe Petri Nets [electronic resource] : Understanding a Calculus of Hierarchical Protection Domains / by Susanne G bel.

G bel, Susanne. author.; SpringerLink (Online service) (Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016., 2016)

The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation ...
Algebraic Informatics [electronic resource] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti.

Maletti, Andreas. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully ...
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.

Karydis, Ioannis. editor.; Sioutas, Spyros. editor.; Triantafillou, Peter. editor.; Tsoumakos, Dimitrios. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, in September 2015 in conjunction ...
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi.

Bansal, Nikhil. editor.; Finocchi, Irene. editor.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015., 2015)

This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015. The 86 revised full papers presented together ...
Application and Theory of Petri Nets and Concurrency [electronic resource] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari.

Devillers, Raymond. editor.; Valmari, Antti. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool ...
Application and Theory of Petri Nets and Concurrency [electronic resource] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel Moldt.

Kordon, Fabrice. editor.; Moldt, Daniel. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with ...
Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.

van der Aalst, Wil. editor.; Best, Eike. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with ...
Applied Logic for Computer Scientists [electronic resource] : Computational Deduction and Formal Proofs / by Mauricio Ayala-Rinc n, Fl vio L. C. de Moura.

Ayala-Rinc n, Mauricio. author.; de Moura, Fl vio L. C. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, ...
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

Kroening, Daniel. editor.; Păsăreanu, Corina S. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 ...
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.

Kroening, Daniel. editor.; Păsăreanu, Corina S. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 ...
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.

Chaudhuri, Swarat. editor.; Farzan, Azadeh. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full ...
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan.

Chaudhuri, Swarat. editor.; Farzan, Azadeh. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full ...
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / edited by Rupak Majumdar, Viktor Kunčak.

Majumdar, Rupak. editor.; Kunčak, Viktor. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 ...
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak.

Majumdar, Rupak. editor.; Kunčak, Viktor. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 ...
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

Koornneef, Floor. editor.; van Gulijk, Coen. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers ...
Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, J r mie Guiochet, Friedemann Bitsch.

Skavhaug, Amund. editor.; Guiochet, J r mie. editor.; Bitsch, Friedemann. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers ...
Computer Safety, Reliability, and Security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.

Tonetta, Stefano. editor.; Schoitsch, Erwin. editor.; Bitsch, Friedemann. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and ...
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

Koornneef, Floor. editor.; van Gulijk, Coen. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September ...
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, J r mie Guiochet, Erwin Schoitsch, Friedemann Bitsch.

Skavhaug, Amund. editor.; Guiochet, J r mie. editor.; Schoitsch, Erwin. editor.; Bitsch, Friedemann. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. ...

Now showing items 1-20 of 80

Search DSpace

Advanced Search

Browse

All of DSpace

Browsing by Subject "005.1015113 23"

Browsing by Subject "005.1015113 23"

Search DSpace

Browse

All of DSpace

My Account