Kapitza rüdiger (4 Ergebnisse)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,70
EUR 11,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 242 pages. 9.25x6.25x0.75 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,68
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. Ubiquitous Services and Applications.- RESTful Integration of Heterogeneous Devices in Pervasive Environments.- Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems.- Grid Computing.- Validating Evolutionary Algorithms on Volunteer.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,78
EUR 62,04 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Neuware - In2010theInternationalFederatedConferenceonDistributedComputingTe- niques (DisCoTec) tookplacein Amsterdam,during June 7-9. It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging… from theoretical foundations to formal speci cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and servicesthatarerelatedtothelatesttrendstowardsbridgingthephysical/virtual worlds based on exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci cation, testing and veri cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences. On the rst day Joe Armstrong (Eri- son Telecom AB) gave a keynote speech on Erlang-style concurrency, and on the second day Gerard Holzmann (Jet Propulsion Laboratory, USA) discussed the question Formal Software Veri cation: How Close Are We . On the third and last day Joost Roelands (Director of Development Netlog) presented the problem area of distributed social data.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 60,57
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
