roveri marco (25 risultati)

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: new. Paperback. This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L'Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,whi ch o?ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condizione: Brand New. 231 pages. 9.50x6.25x0.75 inches. In Stock.

Condizione: New.

Condizione: New.

Condizione: New. In.

Taschenbuch. Condizione: Neu. Neuware - This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,whi ch o ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on soft.vub.ac.be/ase2010/.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium 'From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems .

Softcover. Condizione: Gut. Gebraucht - Gut Verlagsmängelex., XV, 759 p. Also available online. Brosch. This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003. The 53 revised full papers presented together with an invited paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on analytical models, QoS routing, measurements and experimental results, QoS below IP, end-to-end QoS in IP networks, QoS multicast, optical networks, reconfigurable protocols and networks, provision of multimedia services, QoS in multidomain networks, congestion and admission control, and architectures and protocols for QoS provision. For Researchers and professionals.

Condizione: Gut. Zustand: Gut | Seiten: 780 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003. The 53 revised full papers presented together with an invited paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on analytical models, QoS routing, measurements and experimental results, QoS below IP, end-to-end QoS in IP networks, QoS multicast, optical networks, reconfigurable protocols and networks, provision of multimedia services, QoS in multidomain networks, congestion and admission control, and architectures and protocols for QoS provision.

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Condizione: Neu. Quality of Service in Multiservice IP Networks | Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings | Marco Ajmone Marsan (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540006046 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Paperback. Condizione: Brand New. 604 pages. 9.25x6.10x1.26 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003. The 53 revised full papers presented together with an invited paper were carefullyreviewed and selected from 97 submissions. The papers are organized in topical sections on analytical models, QoS routing, measurements and experimental results, QoS below IP, end-to-end QoS in IP networks, QoS multicast, optical networks, reconfigurable protocols and networks, provision of multimedia services, QoS in multidomain networks, congestion and admission control, and architectures and protocols for QoS provision.

Condizione: Used: Good. Occasion - Bon Etat - Quality of service in multiservice ip networks (2003) - Grand Format.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium 'From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems . 604 pp. Englisch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefu.

Condizione: New. Print on Demand.

Condizione: New. PRINT ON DEMAND.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003. The 53 revised full papers presented together with an invited paper were carefullyreviewed and selected from 97 submissions. The papers are organized in topical sections on analytical models, QoS routing, measurements and experimental results, QoS below IP, end-to-end QoS in IP networks, QoS multicast, optical networks, reconfigurable protocols and networks, provision of multimedia services, QoS in multidomain networks, congestion and admission control, and architectures and protocols for QoS provision. 780 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:DataMod 2017 -- 6th International Symposium ¿From Data to Models and Back'; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;MSE 2017 -- 1st Workshop on Microservices: Science and Engineering;CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems¿.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 604 pp. Englisch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. &nbspThis book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003. The 53 revised full papers presented together with an.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003.The 53 revised full papers presented together with an invited paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on analytical models, QoS routing, measurements and experimental results, QoS below IP, end-to-end QoS in IP networks, QoS multicast, optical networks, reconfigurable protocols and networks, provision of multimedia services, QoS in multidomain networks, congestion and admission control, and architectures and protocols for QoS provision.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 780 pp. Englisch.