Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computer Science Logic

15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Science Logic Laurent Fribourg
Libristo-code: 01563752
Uitgeverij Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Volledige beschrijving
? points 249 b
102.86 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Fit fur... - Deutschprufung fur Jugendliche Carmen Cristache / Boek Gebonden (paperback)
common.buy 39.40 €
Du bist mein dunkelstes Ich Nagler Felicitas Nagler / Boek Gebonden (paperback)
common.buy 11.81 €
Compliance als Chefsache Nicola Schmidt / Boek Gebonden (paperback)
common.buy 40.11 €
Voordelig
Oftalmología y Acupuntura, estudio experimental Joelson Cavalcanti / Boek Gebonden (paperback)
common.buy 47.79 €
Vollstaendiges Namen- Und Sachregister Zu Schlosser's Geschichte, Fuenfte Auflage Friedrich Christoph Schlosser / Boek Gebonden (paperback)
common.buy 19.29 €
El Cordero de Isaias Pedro Caldern De La Barca / Boek Gebonden (paperback)
common.buy 15.55 €
Das Buch der Stille Sara Maitland / Boek Gebonden (harde band)
common.buy 22.32 €
Genealogie de la Maison d'Anglars En Limousin Et En Auvergne DE RIBIER-L / Boek Gebonden (paperback)
common.buy 15.55 €

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Science Logic
Auteur Laurent Fribourg
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 628
EAN 9783540425540
ISBN 3540425543
Libristo-code 01563752
Uitgeverij Springer, Berlin
Gewicht 875
Afmetingen 155 x 235 x 32

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Analog Signal Processing Peter B. Aronhime / Boek Gebonden (harde band)
common.buy 119.54 €
Symmetry and Combinatorial Enumeration in Chemistry Shinsaku Fujita / Boek Gebonden (paperback)
common.buy 75.58 €
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Boek Gebonden (paperback)
common.buy 14.34 €
The Mouse Princess 2: A Race Against Time: The Adventures of Dredge and Sledge: This year, Two unlikely heroes will emerge from unexpected p Simon Kang / Boek Gebonden (paperback)
common.buy 10.30 €
Collected Schizophrenias Esme Wang / Boek Gebonden (paperback)
common.buy 14.84 €
Infectious Diseases - A Geographic Guide 2e ESKILD PETERSEN / Boek Gebonden (paperback)
common.buy 104.07 €
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Boek Gebonden (harde band)
common.buy 226.65 €
Chip Dude From Outer Space Sandi Johnson / Boek Gebonden (paperback)
common.buy 13.03 €
Box In The Attic & Other Stories A M Burrage / E-book Adobe ePub DRM
common.buy 14.14 €
TOP
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Boek Gebonden (harde band)
common.buy 43.85 €
Christmas Coloring Book for Kids Ages 4-8: 50 Christmas Coloring Pages for Kids K Imagine Education / Boek Gebonden (paperback)
common.buy 7.67 €
Its A Bugs World Baby Professor / Boek Gebonden (paperback)
common.buy 11.31 €
Oversight of the Federal Communications Commission United States Congress / Boek Gebonden (paperback)
common.buy 22.02 €
A Moment of War Laurie Lee / Boek Gebonden (paperback)
common.buy 14.84 €
African Safari Planning Map Mark W. Nolting / Drukwerk Kaart
common.buy 11.51 €
Walking Erling Kagge / Boek Gebonden (paperback)
common.buy 10.80 €
Harry Potter Paper Models Moira Squier / Schrijfwaren Schrijfwaren
common.buy 19.39 €
How To Be a Stoic Epictetus / Boek Gebonden (paperback)
common.buy 7.87 €
Legal Framework for Delivery of Public Private Partnership Projects MARY SHEHU MOHAMMED / Boek Gebonden (paperback)
common.buy 68.40 €
Design Principles for Photography Jeremy Webb / Boek Gebonden (harde band)
common.buy 226.65 €
Art Activities ROSIE HORE / Boek Gebonden (paperback)
common.buy 11.31 €
ETF Investing for Market Wizards! Warren Bell / Boek Gebonden (paperback)
common.buy 18.68 €
Dance With The Devil Laura Shenton / Boek Gebonden (paperback)
common.buy 19.29 €
Astea Renee Greene / Boek Gebonden (paperback)
common.buy 7.67 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken