wyszukanych pozycji: 8
![]() |
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, Ussr, July 3-8, 1989, Proceedings
ISBN: 9783540512370 / Angielski / Miękka / 1989 / 292 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations,...
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organi...
|
cena:
202,66 |
![]() |
Muskelaufbau Ernährung: Enthalten 3 Bonus: Ernährungstabellen entsprechend Ihrer Blutgruppe, effektivere Diätpläne zum Aufbau von Muskelmasse
ISBN: 9798215120200 / Niemiecki / Miękka / 2022 / 182 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
86,98 |
![]() |
Noah's adventures with Grandma Jill and Grandpa Al: Grandma Jill and Grandpa Al visit three year old Noah and spend time with him in the city.
ISBN: 9781712630815 / Angielski / Miękka / 2019 / 28 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
40,75 |
![]() |
Mathematics for Computer Science
ISBN: 9781680921229 / Angielski / Miękka / 2017 / 1010 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
186,63 |
![]() |
Mathematics for Computer Science
ISBN: 9781680921212 / Angielski / Twarda / 2017 / 1010 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
213,16 |
![]() |
Bakelite Corporation V. Frischer & Co U.S. Supreme Court Transcript of Record with Supporting Pleadings
ISBN: 9781270093176 / Angielski / Miękka / 2011 / 48 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
112,62 |
![]() |
Probability and Statistics: French-Chinese Meeting - Proceedings of the Wuhan Meeting
ISBN: 9789810216504 / Angielski / Twarda / 1993 / 272 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
415,60 |
![]() |
Mathematics for Computer Science
ISBN: 9789888407064 / Angielski / Twarda / 2017 / 988 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating... This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as... |
cena:
310,76 |