phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

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
Nakladatelství Springer, Berlin, listopadu 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Solo Leveling, Vol. 2 Chugong / Brožovaná
common.buy 421 Kč
All about Weather: A First Weather Book for Kids / Brožovaná
common.buy 167 Kč
Sex Tips for Gay Guys Dan Anderson / Brožovaná
common.buy 479 Kč
Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Brožovaná
common.buy 1 106 Kč
The Miracle on Garfield Avenue Kristina Stark / Brožovaná
common.buy 302 Kč
The Philosophers, 1 DVD William Yeh / DVD
common.buy 249 Kč
Theatre of Nepal and the People Who Make It Carol C. Davis / Pevná
common.buy 2 936 Kč
Language, Culture, Computation: Computing - Theory and Technology Nachum Dershowitz / Brožovaná
common.buy 1 681 Kč
Připravujeme
Literature of China in the Twentieth Century Bonnie S. McDougall / Pevná
common.buy 1 578 Kč
Tourism and Trails Stephen W. Boyd / Brožovaná
common.buy 1 229 Kč
Why Europe does not need a constitution Hans Christian Siller / Brožovaná
common.buy 1 121 Kč
US-amerikanische Erzählkunst 1990-2000. Franz Link / Brožovaná
common.buy 1 843 Kč
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Brožovaná
common.buy 2 605 Kč
Mord ist ihre Leidenschaft J. D. Robb / Brožovaná
common.buy 273 Kč
Mathematical Foundations Of Parallel Computing V.V. Voevodin / Pevná
common.buy 3 762 Kč
Works of Charles Darwin: Vol 12: A Monograph on the Sub-Class Cirripedia (1854), Vol II, Part 1 Charles Darwin / Pevná
common.buy 3 229 Kč

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.

Informace o knize

Plný název Logical Foundations of Computer Science
Autor Yu. V. Matiyasevich, Anil Nerode
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 397
EAN 9783540581406
ISBN 3540581405
Libristo kód 05274393
Nakladatelství Springer, Berlin
Váha 1
Rozměry 216 x 279 x 21

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet