phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Logical Foundations of Computer Science

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logical Foundations of Computer Science Yu. V. Matiyasevich
Libristo kód: 05274393
Nakladateľstvo Springer, Berlin, november 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... Celý popis
? points 154 b
61.56 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Solo Leveling, Vol. 2 Chugong / Brožovaná
common.buy 22.33 €
All about Weather: A First Weather Book for Kids / Brožovaná
common.buy 5.65 €
Sex Tips for Gay Guys Dan Anderson / Brožovaná
common.buy 17.08 €
Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Brožovaná
common.buy 41.84 €
The Philosophers, 1 DVD William Yeh / DVD
common.buy 9.70 €
The Miracle on Garfield Avenue Kristina Stark / Brožovaná
common.buy 11.01 €
Theatre of Nepal and the People Who Make It Carol C. Davis / Pevná
common.buy 107.46 €
US-amerikanische Erzählkunst 1990-2000. Franz Link / Brožovaná
common.buy 69.95 €
Why Europe does not need a constitution Hans Christian Siller / Brožovaná
common.buy 40.73 €
Works of Charles Darwin: Vol 12: A Monograph on the Sub-Class Cirripedia (1854), Vol II, Part 1 Charles Darwin / Pevná
common.buy 123.63 €
Mord ist ihre Leidenschaft J. D. Robb / Brožovaná
common.buy 11.21 €
Mathematical Foundations Of Parallel Computing V.V. Voevodin / Pevná
common.buy 141.63 €
Language, Culture, Computation: Computing - Theory and Technology Nachum Dershowitz / Brožovaná
common.buy 61.56 €
PRIPRAVUJEME
Literature of China in the Twentieth Century Bonnie S. McDougall / Pevná
common.buy 59.84 €
Tourism and Trails Stephen W. Boyd / Brožovaná
common.buy 46.60 €
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Brožovaná
common.buy 89.66 €

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.

Informácie o knihe

Celý názov Logical Foundations of Computer Science
Autor Yu. V. Matiyasevich, Anil Nerode
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1994
Počet strán 397
EAN 9783540581406
ISBN 3540581405
Libristo kód 05274393
Nakladateľstvo Springer, Berlin
Váha 1
Rozmery 216 x 279 x 21

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet