Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/114008365

Modelling distributed systems

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/114008365#Topic/information_theory
http://experiment.worldcat.org/entity/work/data/114008365#Topic/processament_electronic_de_dades_processament_distribuit
http://experiment.worldcat.org/entity/work/data/114008365#Topic/styresystemer
http://experiment.worldcat.org/entity/work/data/114008365#Topic/verteiltes_system
http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebre_informatique_distribuee_systeme_informatique_verification
http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallel_processing_electronic_computers
http://experiment.worldcat.org/entity/work/data/114008365#Topic/computer_science
http://experiment.worldcat.org/entity/work/data/114008365#Topic/verifikation
http://id.loc.gov/authorities/subjects/sh85042293
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_repartie
http://id.worldcat.org/fast/1765704
http://experiment.worldcat.org/entity/work/data/114008365#Topic/abstrakter_datentyp
http://experiment.worldcat.org/entity/work/data/114008365#Topic/paralelismo_informatica
http://id.worldcat.org/fast/1124185
http://experiment.worldcat.org/entity/work/data/114008365#Topic/szamitastechnika_rendszerszervezes
http://id.loc.gov/authorities/subjects/sh85078117
http://experiment.worldcat.org/entity/work/data/114008365#Topic/logic_design
http://id.worldcat.org/fast/1052928
http://experiment.worldcat.org/entity/work/data/114008365#Topic/toegepaste_informatica
http://experiment.worldcat.org/entity/work/data/114008365#Topic/protocole_de_reseau_d_ordinateurs
http://experiment.worldcat.org/entity/work/data/114008365#Topic/folyamatszervezes_szamitogep_alkalmazasa
http://experiment.worldcat.org/entity/work/data/114008365#Topic/programmes_paralleles_logiciels
http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallel_programs_computer_programs_verification
http://experiment.worldcat.org/entity/work/data/114008365#Topic/mathematisches_modell_verteilte_datenverarbeitung
http://experiment.worldcat.org/entity/work/data/114008365#Topic/programmes_paralleles_logiciels_verification
http://experiment.worldcat.org/entity/work/data/114008365#Topic/electronic_books
http://experiment.worldcat.org/entity/work/data/114008365#Topic/wiskunde
http://id.loc.gov/authorities/subjects/sh85097826
http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebre_informatique_distribuee_processus_stochastiques
http://experiment.worldcat.org/entity/work/data/114008365#Topic/mathematische_logica
http://id.loc.gov/authorities/subjects/sh2007100982
http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebraische_spezifikation
http://experiment.worldcat.org/entity/work/data/114008365#Topic/mathematical_logic_and_formal_languages
http://experiment.worldcat.org/entity/work/data/114008365#Topic/traitement_reparti
http://experiment.worldcat.org/entity/work/data/114008365#Topic/verification_formelle
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_modele_mathematique
http://id.loc.gov/authorities/subjects/sh87007398
http://experiment.worldcat.org/entity/work/data/114008365#Topic/computer_informatica_automatisering
http://id.loc.gov/authorities/subjects/sh85066289
http://experiment.worldcat.org/entity/work/data/114008365#Topic/computer_networks
http://experiment.worldcat.org/entity/work/data/114008365#Topic/theory_of_computation
http://id.worldcat.org/fast/804890
http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebra
http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebra_data_processing
http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebre_informatique_distribuee_systeme_informatique_specification
http://experiment.worldcat.org/entity/work/data/114008365#Topic/processament_en_paral_lel_ordinadors
http://experiment.worldcat.org/entity/work/data/114008365#Topic/nebenlaufigkeit
http://id.worldcat.org/fast/1002045
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatica
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_methode_formelle_informatique
http://experiment.worldcat.org/entity/work/data/114008365#Topic/logics_and_meanings_of_programs
http://id.worldcat.org/fast/906987
http://id.worldcat.org/fast/872451
http://experiment.worldcat.org/entity/work/data/114008365#Topic/software_engineering
http://id.worldcat.org/fast/973149
http://experiment.worldcat.org/entity/work/data/114008365#Topic/prozessalgebra
http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallelisme_informatique
http://id.loc.gov/authorities/subjects/sh2006001440
http://experiment.worldcat.org/entity/work/data/114008365#Topic/verteiltes_system_algebraische_spezifikation_verifikation_prozessalgebra_abstrakter_datentyp_nebenlaufigkeit
http://experiment.worldcat.org/entity/work/data/114008365#Topic/verteilte_datenverarbeitung_mathematisches_modell
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_modelisation
http://experiment.worldcat.org/entity/work/data/114008365#Topic/theoretische_informatica
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique
http://id.loc.gov/authorities/subjects/sh89003285
http://experiment.worldcat.org/entity/work/data/114008365#Topic/computerarchitectuur_operating_systems
http://experiment.worldcat.org/entity/work/data/114008365#Topic/programmeren_informatica
http://experiment.worldcat.org/entity/work/data/114008365#Topic/modelisation_mathematique
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatica_proceso_distribuido
http://experiment.worldcat.org/entity/work/data/114008365#Topic/symbolic_and_algebraic_manipulation
http://experiment.worldcat.org/entity/work/data/114008365#Topic/logica
http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_type_de_donnees_abstraites
http://experiment.worldcat.org/entity/work/data/114008365#Topic/electronic_data_processing_distributed_processing

http://schema.org/author

http://worldcat.org/entity/person/id/2632254392

http://schema.org/contributor

http://worldcat.org/entity/person/id/2721410935
http://worldcat.org/entity/person/id/2632254392

http://schema.org/creator

http://worldcat.org/entity/person/id/2632254392

http://schema.org/genre

"Electronic books"@en
"Electronic books"
"Ressources Internet"

http://schema.org/name

"Modelling distributed systems"@en
"Modelling distributed systems"
"Modelling Distributed Systems"
"Modelling distributed systems [e-book]"
"Modelling distributed systems : with 7 tables"

http://schema.org/workExample

http://www.worldcat.org/oclc/255907354
http://www.worldcat.org/oclc/781035985
http://www.worldcat.org/oclc/635318810
http://www.worldcat.org/oclc/612747305
http://www.worldcat.org/oclc/812138781
http://www.worldcat.org/oclc/486866908
http://www.worldcat.org/oclc/172976997
http://www.worldcat.org/oclc/804178829
http://www.worldcat.org/oclc/318296829
http://www.worldcat.org/oclc/213094292
http://www.worldcat.org/oclc/602406827
http://www.worldcat.org/oclc/909609089
http://www.worldcat.org/oclc/896265832
http://www.worldcat.org/oclc/896077814
http://www.worldcat.org/oclc/300263854
http://www.worldcat.org/oclc/901648416
http://www.worldcat.org/oclc/470941340

Abstrakter Datentyp.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Abstrakter Datentyp."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/abstrakter_datentyp

algebra.

rdf:type
http://schema.org/Topic
schema:name
"algebra."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebra

Algebra Data processing.

rdf:type
http://schema.org/Topic
schema:name
"Algebra Data processing."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebra_data_processing

Algebraische Spezifikation.

rdf:type
http://schema.org/Topic
schema:name
"Algebraische Spezifikation."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebraische_spezifikation

algèbre informatique distribuée processus stochastiques.

rdf:type
http://schema.org/Topic
schema:name
"algèbre informatique distribuée processus stochastiques."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebre_informatique_distribuee_processus_stochastiques

algèbre informatique distribuée système informatique - spécification.

rdf:type
http://schema.org/Topic
schema:name
"algèbre informatique distribuée système informatique - spécification."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebre_informatique_distribuee_systeme_informatique_specification

algèbre informatique distribuée système informatique - vérification.

rdf:type
http://schema.org/Topic
schema:name
"algèbre informatique distribuée système informatique - vérification."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/algebre_informatique_distribuee_systeme_informatique_verification

Computer. Informatica. Automatisering.

rdf:type
http://schema.org/Topic
schema:name
"Computer. Informatica. Automatisering."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/computer_informatica_automatisering

Computer networks.

rdf:type
http://schema.org/Topic
schema:name
"Computer networks."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/computer_networks

Computer science.

rdf:type
http://schema.org/Topic
schema:name
"Computer science."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/computer_science

Computerarchitectuur. Operating systems.

rdf:type
http://schema.org/Topic
schema:name
"Computerarchitectuur. Operating systems."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/computerarchitectuur_operating_systems

Electronic books.

rdf:type
http://schema.org/Topic
schema:name
"Electronic books."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/electronic_books

Electronic data processing Distributed processing.

rdf:type
http://schema.org/Topic
schema:name
"Electronic data processing Distributed processing."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/electronic_data_processing_distributed_processing

Folyamatszervezés számítógép alkalmazása.

rdf:type
http://schema.org/Topic
schema:name
"Folyamatszervezés számítógép alkalmazása."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/folyamatszervezes_szamitogep_alkalmazasa

informatica.

rdf:type
http://schema.org/Topic
schema:name
"informatica."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatica

Informática Proceso distribuido.

rdf:type
http://schema.org/Topic
schema:name
"Informática Proceso distribuido."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatica_proceso_distribuido

Information theory.

rdf:type
http://schema.org/Topic
schema:name
"Information theory."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/information_theory

Informatique.

rdf:type
http://schema.org/Topic
schema:name
"Informatique."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique

informatique distribuée méthode formelle (informatique)

rdf:type
http://schema.org/Topic
schema:name
"informatique distribuée méthode formelle (informatique)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_methode_formelle_informatique

informatique distribuée modèle mathématique.

rdf:type
http://schema.org/Topic
schema:name
"informatique distribuée modèle mathématique."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_modele_mathematique

informatique distribuée modélisation.

rdf:type
http://schema.org/Topic
schema:name
"informatique distribuée modélisation."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_modelisation

informatique distribuée type de données abstraites.

rdf:type
http://schema.org/Topic
schema:name
"informatique distribuée type de données abstraites."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_distribuee_type_de_donnees_abstraites

Informatique répartie.

rdf:type
http://schema.org/Topic
schema:name
"Informatique répartie."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/informatique_repartie

Logic design.

rdf:type
http://schema.org/Topic
schema:name
"Logic design."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/logic_design

logica.

rdf:type
http://schema.org/Topic
schema:name
"logica."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/logica

Logics and Meanings of Programs.

rdf:type
http://schema.org/Topic
schema:name
"Logics and Meanings of Programs."
"Logics and Meanings of Programs"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/logics_and_meanings_of_programs

Mathematical Logic and Formal Languages.

rdf:type
http://schema.org/Topic
schema:name
"Mathematical Logic and Formal Languages."
"Mathematical Logic and Formal Languages"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/mathematical_logic_and_formal_languages

Mathematische logica.

rdf:type
http://schema.org/Topic
schema:name
"Mathematische logica."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/mathematische_logica

Mathematisches Modell Verteilte Datenverarbeitung.

rdf:type
http://schema.org/Topic
schema:name
"Mathematisches Modell Verteilte Datenverarbeitung."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/mathematisches_modell_verteilte_datenverarbeitung

Modélisation mathématique.

rdf:type
http://schema.org/Topic
schema:name
"Modélisation mathématique."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/modelisation_mathematique

Nebenläufigkeit.

rdf:type
http://schema.org/Topic
schema:name
"Nebenläufigkeit."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/nebenlaufigkeit

Paralelismo (Informática)

rdf:type
http://schema.org/Topic
schema:name
"Paralelismo (Informática)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/paralelismo_informatica

Parallel processing (Electronic computers)

rdf:type
http://schema.org/Topic
schema:name
"Parallel processing (Electronic computers)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallel_processing_electronic_computers

Parallel programs (Computer programs) Verification.

rdf:type
http://schema.org/Topic
schema:name
"Parallel programs (Computer programs) Verification."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallel_programs_computer_programs_verification

Parallélisme (informatique)

rdf:type
http://schema.org/Topic
schema:name
"Parallélisme (informatique)"
"Parallélisme (Informatique)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/parallelisme_informatique

Processament electrònic de dades Processament distribuït.

rdf:type
http://schema.org/Topic
schema:name
"Processament electrònic de dades Processament distribuït."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/processament_electronic_de_dades_processament_distribuit

Processament en paral·lel (Ordinadors)

rdf:type
http://schema.org/Topic
schema:name
"Processament en paral·lel (Ordinadors)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/processament_en_paral_lel_ordinadors

programmeren (informatica)

rdf:type
http://schema.org/Topic
schema:name
"programmeren (informatica)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/programmeren_informatica

Programmes parallèles (Logiciels)

rdf:type
http://schema.org/Topic
schema:name
"Programmes parallèles (Logiciels)"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/programmes_paralleles_logiciels

Programmes parallèles (Logiciels) Vérification.

rdf:type
http://schema.org/Topic
schema:name
"Programmes parallèles (Logiciels) Vérification."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/programmes_paralleles_logiciels_verification

Protocole de réseau d'ordinateurs.

rdf:type
http://schema.org/Topic
schema:name
"Protocole de réseau d'ordinateurs."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/protocole_de_reseau_d_ordinateurs

Prozessalgebra.

rdf:type
http://schema.org/Topic
schema:name
"Prozessalgebra."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/prozessalgebra

Software engineering.

rdf:type
http://schema.org/Topic
schema:name
"Software engineering."
"software engineering."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/software_engineering

styresystemer

rdf:type
http://schema.org/Topic
schema:name
"styresystemer"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/styresystemer

Symbolic and Algebraic Manipulation.

rdf:type
http://schema.org/Topic
schema:name
"Symbolic and Algebraic Manipulation."
"Symbolic and Algebraic Manipulation"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/symbolic_and_algebraic_manipulation

Számítástechnika rendszerszervezés.

rdf:type
http://schema.org/Topic
schema:name
"Számítástechnika rendszerszervezés."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/szamitastechnika_rendszerszervezes

Theoretische informatica.

rdf:type
http://schema.org/Topic
schema:name
"Theoretische informatica."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/theoretische_informatica

Theory of Computation.

rdf:type
http://schema.org/Topic
schema:name
"Theory of Computation."
"Theory of Computation"

http://experiment.worldcat.org/entity/work/data/114008365#Topic/theory_of_computation

toegepaste informatica.

rdf:type
http://schema.org/Topic
schema:name
"toegepaste informatica."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/toegepaste_informatica

Traitement réparti.

rdf:type
http://schema.org/Topic
schema:name
"Traitement réparti."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/traitement_reparti

Vérification formelle.

rdf:type
http://schema.org/Topic
schema:name
"Vérification formelle."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/verification_formelle

Verifikation.

rdf:type
http://schema.org/Topic
schema:name
"Verifikation."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/verifikation

Verteilte Datenverarbeitung Mathematisches Modell.

rdf:type
http://schema.org/Topic
schema:name
"Verteilte Datenverarbeitung Mathematisches Modell."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/verteilte_datenverarbeitung_mathematisches_modell

Verteiltes System.

rdf:type
http://schema.org/Topic
schema:name
"Verteiltes System."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/verteiltes_system

Verteiltes System Algebraische Spezifikation Verifikation Prozessalgebra Abstrakter Datentyp Nebenläufigkeit.

rdf:type
http://schema.org/Topic
schema:name
"Verteiltes System Algebraische Spezifikation Verifikation Prozessalgebra Abstrakter Datentyp Nebenläufigkeit."

http://experiment.worldcat.org/entity/work/data/114008365#Topic/verteiltes_system_algebraische_spezifikation_verifikation_prozessalgebra_abstrakter_datentyp_nebenlaufigkeit

wiskunde.

rdf:type
http://schema.org/Topic
schema:name
"wiskunde."