Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Topos, un modèle pour l'informatique

Sites bien structurés

Limba francezăfranceză
Carte Carte broșată
Carte Topos, un modèle pour l'informatique Elena Sendroiu
Codul Libristo: 24545549
Editura Presses Académiques Francophones, noiembrie 2013
Partie 1 fournit des procédures de calcul/vérification de limites et colimites d'ontologies, modélis... Descrierea completă
? points 184 b
405.30 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Marvel Must-Have: Avengers - Age of Ultron Bryan Hitch / Carte Copertă tare
common.buy 189.68 lei
Las aventuras de Sherlock Holmes ARTHUR CONAN DOYLE / Carte Carte broșată
common.buy 59.11 lei
The Two Towers (Media Tie-In): The Lord of the Rings: Part Two Tolkien / Carte Carte broșată
common.buy 44.63 lei
G SECRETOS 3 DESPIERTA A LA BESTIA HICKMAN / Carte Copertă tare
common.buy 178.26 lei
Powerful Literacy in the Montessori Classroom Natasha Feinberg / Carte Copertă tare
common.buy 547.78 lei
Sm?lands historia Lennart Johansson / Carte Carte broșată
common.buy 130.80 lei
EUROPEAN FOLK AND DANCE TUNES -ENSEMBLE DE PARTITIONS KLAUS BUHE Materiale tipărite Note muzicale
common.buy 92.80 lei
L'ESQUERRA AGONICA BALAGUER / Carte Carte broșată
common.buy 136.94 lei
Amanda and the Lost Time (Turkish English Bilingual Book for Kids) Kidkiddos Books / Carte Copertă tare
common.buy 154.33 lei
Top
Brutal Prince Sophie Lark / Carte Carte broșată
common.buy 57.40 lei
Natural and Artificial Duck Culture (1914) James Rankin / Carte Carte broșată
common.buy 127.09 lei
Mosses of the Northern Forest Jerry Jenkins / Carte Carte broșată
common.buy 103.96 lei
Selbstständig in Teilzeit Nadine Luck / Carte Carte broșată
common.buy 121.60 lei
Effective Threat Intelligence: Building and running an intel team for your organization James Dietle / Carte Carte broșată
common.buy 59.11 lei
Living in the Global Society Roberto Papini / Carte Carte broșată
common.buy 240.71 lei
Big Data, Datafizierung Und Digitale Artefakte Stefan Iske / Carte Carte broșată
common.buy 324.26 lei
LAS ALMAS PERDIDAS BALLESTEROS / Carte Copertă tare
common.buy 56.50 lei
Kája Mařík 1 Felix Háj / Carte Copertă tare
common.buy 42.02 lei
Synthese und Charakterisierung von heterozyklischen Verbindungen Ramesh K Kanpariya / Carte Carte broșată
common.buy 305.56 lei
Zlomené ¿et¿zy Demelza Carlton / Carte Carte broșată
common.buy 100.04 lei
Data Science First: Using Language Models in AI-En abled Applications Hawkins / Carte Carte broșată
common.buy 333.21 lei
50 Recetas Todo Sobre los Huevos / Carte Carte broșată
common.buy 134.12 lei
Pocahontas Heather Schwartz / Carte Carte broșată
common.buy 61.73 lei
Top
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 4 Hirohiko Araki / Carte Copertă tare
common.buy 112.81 lei

Partie 1 fournit des procédures de calcul/vérification de limites et colimites d'ontologies, modélise des données en langage interne d'un topos (la sémantique du langage interne est exprimée dans un contexte informatique), démontre que tout calcul logique/arithmétique est une flèche d'un topos, propose une solution à la formalisation des fichiers en langage interne du topos libre et détaille des aspects d'un éditeur universel prenant en charge le type des données. Partie 2 modélise un objet de Goguen comme une donnée de type faisceau sur un site en considérant un topos comme un système de types, propose une procédure pour engendrer des topologies de Grothendieck à partir de la catégorie de base, définit les sites bien structurés approprié à l'informatique, présente une procédure optimale de validation de faisceaux et construit un nouveau foncteur faisceau associé pour engendrer efficacement des faisceaux à l'aide des familles en vue de coopération, formalise la non-interférence en langage interne du topos des préfaisceaux, fournit aux systèmes répartis: des méthodes d'authentification/cryptage et un schéma de partage de secrets par faisceaux, offre une détection de vulnérabilités

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Topos, un modèle pour l'informatique
Autor Elena Sendroiu
Limba franceză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 584
EAN 9783838171999
Codul Libristo 24545549
Editura Presses Académiques Francophones
Greutatea 790
Dimensiuni 150 x 220 x 30

Categorii

Biography, Literature & Literary studies > Biography & non-fiction prose > Literary essays
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Monographie de la Table de Claude Monfalcon-J-B / Carte Carte broșată
common.buy 60.92 lei
Blu-ray - Vaincre ou Mourir / Videoclip DVD
common.buy 135.83 lei
2019SB Cloyes-.sur-le-Loir.la Chapelle-du-Noyer / Materiale tipărite Hartă
common.buy 98.03 lei
Validation des questionnaires d'évaluation en psychologie Muaweah Alsaleh / Carte Carte broșată
common.buy 180.88 lei
Annales de Chimie Et de Physique... Francois Arago / Carte Carte broșată
common.buy 181.08 lei
Oeuvres Posthumes De Jacques-Henri-Bernardin De Saint-Pierre Louis-Aimã(c) Martin / Carte Copertă tare
common.buy 251.67 lei
P'TIT LOUP - BIBLIOTHÈQUE "MES 7 LIVRES DE LA SEMAINE" Orianne LALLEMAND / Carte Cărți pliante
common.buy 103.35 lei
Introduction à l'humanisme juridique / Carte Carte broșată
common.buy 183.59 lei
Methode Piano Notion Volume 2 Bobby Cyr / Materiale tipărite Note muzicale
common.buy 75.80 lei
Mega Totally Awesome Hidden Pictures Puzzles / Carte Carte broșată
common.buy 91.69 lei
Rapunzel Liliana Perez / Carte Carte broșată
common.buy 52.98 lei
The Stolen Heart Dralyuk Boris / Carte Carte broșată
common.buy 93.60 lei
Computational Intelligence in Healthcare Meenu Gupta / Carte Carte broșată
common.buy 405.30 lei
Suïcidis SA MARILO ALVAREZ / Carte Carte
common.buy 119.14 lei
INCENDIARY: LOS PODERES DE LOS MORIAS CORDOVA / Carte Carte
common.buy 137.84 lei
Ako funguje smetiarske auto? Lara Bryan / Carte Cărți pliante
common.buy 58.91 lei
Venom 5 - Venomův ostrov Donny Cates / Carte Carte broșată
common.buy 64.44 lei
The Psalter in Latin and English Church of England Psalter / Carte Carte broșată
common.buy 143.07 lei
Strength and Fitness Workouts for Horses: 50+ Exercises, Workouts and Fitness Schedules / Carte Copertă tare
common.buy 141.16 lei
Matematika pre štvrtákov Eva Dienerová / Carte Carte broșată
common.buy 44.63 lei
Guía Rápida de Tap: Manual Práctico Para La Adaptación de Intervenciones a Medida Contra La Resistencia a Los Antimicrobianos / Carte Carte broșată
common.buy 158.01 lei
Reinventing Alexander: Myth, Legend, History in Renaissance Italian Art Daniotti Carte Copertă tare
common.buy 766.08 lei
Top
Moon Knight: Black, White & Blood Marvel Various / Carte Carte broșată
common.buy 85.05 lei
Top
The Spider's Mate Tiffany Roberts / Carte Carte broșată
common.buy 240.30 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?