Cel mai mare catalog de cărți din România · Prețuri actualizate zilnic

Introducere in teoria limbajelor de programare de Gilles Dowek

Computere si it Stiinte

Introducere in teoria limbajelor de programare

Jean-Jacques Levy, Gilles Dowek

Editura Matrix Rom Format Tipărită ISBN 9789737558923

Preț

15

99

lei

1. Termi si relatii2. Limbajul PCF3. De la evaluare la interpretare4. Compilarea5. PCF-ul cu tipuri6. Inferente de tipuri7. Referinte si atribuiri8. Recorduri si obiecte9. Epilog

Computere si it

Computer si internet fara profesor, Acces si Powerpoint, Vol. 8

Computer si internet fara profesor, Acces si Powerpoint, Vol. 8

Elemente de baza ale programarii in C

Elemente de baza ale programarii in C

Internetul

Programare logica si sisteme expert. Aplicatii Visual Prolog si Exsys

Programare logica si sisteme expert. Aplicatii Visual Prolog si Exsys

Manualul Network+ pentru administrarea si depanarea retelelor (CD inclus)

Manualul Network+ pentru administrarea si depanarea retelelor (CD inclus)

Calculatoare personale. Arhitectura, functionare si interconectare

Calculatoare personale. Arhitectura, functionare si interconectare

Programarea jocurilor in Visual basic (CD inclus)

Programarea jocurilor in Visual basic (CD inclus)

Programarea calculatoarelor

Programarea calculatoarelor

C++ - fara mistere - Ghid pentru autodidacti

C++ - fara mistere - Ghid pentru autodidacti

Sisteme de management de cunostinte. Concepte, studii de caz

Sisteme de management de cunostinte. Concepte, studii de caz

Crearea unui site Web cu Flash 8

Crearea unui site Web cu Flash 8

Surse si modele de zgomot din electronica, optoelectronica si comunicatii

Surse si modele de zgomot din electronica, optoelectronica si comunicatii

MySQL. Utilizarea si administrarea bazelor de date MySQL

MySQL. Utilizarea si administrarea bazelor de date MySQL

Interactiunea conversationala in sistemele colaborative pe Web

Interactiunea conversationala in sistemele colaborative pe Web

Retele de calculatoare - ghidul incepatorului

Retele de calculatoare - ghidul incepatorului

Baze de date. Indrumar de laborator

Baze de date. Indrumar de laborator

Antispam, virusi, pop-up (include CD)

Antispam, virusi, pop-up (include CD)

Notiuni aplicate de inginerie a sistemelor de programe

Notiuni aplicate de inginerie a sistemelor de programe

Programarea jocurilor pentru adolescenti (CD inclus)

Programarea jocurilor pentru adolescenti (CD inclus)

Algoritmi de prelucrare paralela

Algoritmi de prelucrare paralela

Modelarea datelor. Ghidul incepatorului

Modelarea datelor. Ghidul incepatorului

Ghid practic de testare si evaluare a unor tehnici de compresie a datelor

Ghid practic de testare si evaluare a unor tehnici de compresie a datelor

Javascript fara mistere. Ghid pentru autodidacti

Javascript fara mistere. Ghid pentru autodidacti

Beyond the limits of modern processors

Beyond the limits of modern processors

Totul despre Windows Vista

Totul despre Windows Vista

Proiectarea si verificarea aplicatiilor distribuite

Proiectarea si verificarea aplicatiilor distribuite

Cand Google sfideaza dreptul. Pledoarie pentru un internet transparent si de calitate

Cand Google sfideaza dreptul. Pledoarie pentru un internet transparent si de calitate

Optimization Algorithms for Non-Linear Series Models with applications to 3D Human Motion Analysis in Video

Optimization Algorithms for Non-Linear Series Models with applications to 3D Human Motion Analysis in Video

Java fara mistere. Ghid pentru autodidacti

Java fara mistere. Ghid pentru autodidacti

Realitatea virtuala

Realitatea virtuala

Vezi toate cărțile Computere si it »

Stiinte

Tehnica reglarii automate

Tehnica reglarii automate

170 de probleme de geometrie

170 de probleme de geometrie

Itinerar elementar in algebra superioara

Itinerar elementar in algebra superioara

Energia solara termica si fotovoltaica

Energia solara termica si fotovoltaica

Instrumente software pentru ingineria mecanica

Instrumente software pentru ingineria mecanica

Bazele mecanicii fluidelor

Bazele mecanicii fluidelor

Aparate termice

Aparate termice

Software in ingineria mecanica. Aplicatii in Matlab

Software in ingineria mecanica. Aplicatii in Matlab

Tehnologia fabricarii si repararii materialului rulant de cale ferata

Tehnologia fabricarii si repararii materialului rulant de cale ferata

Elemente de proiectare tehnologica si management in fabricatia produselor din constructia de masini

Elemente de proiectare tehnologica si management in fabricatia produselor din constructia de masini

Calitatea serviciilor de telecomunicatii

Calitatea serviciilor de telecomunicatii

Elemente de mecanica teoretica si analitica

Elemente de mecanica teoretica si analitica

Monitorizarea si controlul factorilor de mediu

Monitorizarea si controlul factorilor de mediu

Protocoale si arhitecturi pentru retele de senzori wireless

Protocoale si arhitecturi pentru retele de senzori wireless

Geometria curbelor si suprafetelor. Teorie si aplicatii

Geometria curbelor si suprafetelor. Teorie si aplicatii

Amenajari si sisteme de utilitati urbane

Amenajari si sisteme de utilitati urbane

Tehnica marilor viteze in transportul feroviar

Tehnica marilor viteze in transportul feroviar

Placi circulare si inelare, gofrate si perforate

Placi circulare si inelare, gofrate si perforate

Sisteme de masurare cu traductoare

Sisteme de masurare cu traductoare

Modern Approaches in Microelectronics Design Projects

Modern Approaches in Microelectronics Design Projects

Implicatii termoenergetice ale schimbarii combustibililor in instalatiile de clincherizare

Implicatii termoenergetice ale schimbarii combustibililor in instalatiile de clincherizare

Teoria probabilitatilor. Curs scurt si comentarii stiintifico-metodice (traducere din lb rusa)

Teoria probabilitatilor. Curs scurt si comentarii stiintifico-metodice (traducere din lb rusa)

Probleme de combinatorica elementara. Numarare, grafuri, jocuri

Probleme de combinatorica elementara. Numarare, grafuri, jocuri

Mecanisme de defectare ale componentelor electronice

Mecanisme de defectare ale componentelor electronice

Materiale compozite

Materiale compozite

Actionari electrice cu logica cablata. Pornirea motoarelor asincrone trifazate

Actionari electrice cu logica cablata. Pornirea motoarelor asincrone trifazate

Marile cataclisme terestre

Marile cataclisme terestre

Proiectarea circuitelor integrate digitale folosind limbajul Verilog

Proiectarea circuitelor integrate digitale folosind limbajul Verilog

Ciocnirea Lumilor

Ciocnirea Lumilor

Ghid pentru intocmirea documentatiilor tehnico-economice la proiectele de instalatii in constructii

Ghid pentru intocmirea documentatiilor tehnico-economice la proiectele de instalatii in constructii

Vezi toate cărțile Stiinte »

Cele mai vândute cărți

Femei in stiinta

Femei in stiinta

Sarcina zi de zi

Sarcina zi de zi

Creta - incepe calatoria

Creta - incepe calatoria

Tinuturile pustii

Tinuturile pustii

Trezeste uriasul din tine

Trezeste uriasul din tine

Ghidul de viata al optimistului inteligent

Ghidul de viata al optimistului inteligent

Exuvii

Transilvania - Romania - Transylvania

Transilvania - Romania - Transylvania

Despre toate, pe scurt

Despre toate, pe scurt

Cea mai frumoasa poveste

Cea mai frumoasa poveste

Comunicarea eficienta cu copiii - Ed. a IV-a

Comunicarea eficienta cu copiii - Ed. a IV-a

Istoria Romanilor - Cronologie

Istoria Romanilor - Cronologie

Istoria Transilvaniei

Istoria Transilvaniei

Lectii de franceza

Lectii de franceza

Ocheanul de ambra

Ocheanul de ambra

Jurnalul unui bebelus

Jurnalul unui bebelus

Harta Maramures, Crisana si Banat 1751

Harta Maramures, Crisana si Banat 1751

Filozofia ca mod de viata

Filozofia ca mod de viata

Cimitirul animalelor

Cimitirul animalelor

Queer. Istorii Ilustrate

Queer. Istorii Ilustrate

Anne. Invatatoare in Avonlea

Anne. Invatatoare in Avonlea

Mai bun decat parintii tai

Mai bun decat parintii tai

Cum platim pentru greselile stramosilor

Cum platim pentru greselile stramosilor

Pistolarul. Seria Turnul Intunecat. Vol.1

Pistolarul. Seria Turnul Intunecat. Vol.1

Nu scuzelor! Puterea autodisciplinei

Nu scuzelor! Puterea autodisciplinei

Tata bogat, tata sarac. Ed.5

Tata bogat, tata sarac. Ed.5

Cand infloresc macii

Cand infloresc macii

Matematica. Standard

Matematica. Standard

O noua speranta

O noua speranta