topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 107
 |
A Logical Approach to Discrete Math
ISBN: 9780387941158 / Angielski / Twarda / 1993 / 516 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we...
This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basi...
|
cena:
323,53 |
 |
The Design and Analysis of Algorithms
ISBN: 9780387976877 / Angielski / Twarda / 1991 / 322 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utive fall semesters from '88 to '90. The course serves a dual purpose: to cover core material in algorithms for graduate students in computer science preparing for their PhD qualifying exams, and to introduce theory students to some advanced topics in the design and analysis of algorithms. The material is thus a mixture of core and advanced topics. At first I meant these notes to supplement and not supplant a textbook, but over the three years they...
These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utive f...
|
cena:
444,86 |
 |
On a Method of Multiprogramming
ISBN: 9781441931795 / Angielski / Miękka / 2010 / 370 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to ...
|
cena:
606,65 |
 |
Program Construction: International Summer School
ISBN: 9783540092513 / Angielski / Miękka / 1979 / 654 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
190,06 |
 |
Globalization, Economic Growth and Innovation Dynamics
ISBN: 9783642085154 / Angielski / Miękka / 2010 / 198 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In the new global economy, more countries have opened up to international competition and rapid capital flows. However, in the triad the process of globalization is rather asymmetric. With a rising role of multinational companies there are favorable prospects for higher global growth and economic catching-up, respectively. Theoretical analysis suggests key ingredients of sustained growth, but there is also a new concept of a long-term equilibrium income gap in which convergence is rather unlikely. The analysis also picks up European and US labor market issues in the context of economic...
In the new global economy, more countries have opened up to international competition and rapid capital flows. However, in the triad the process of gl...
|
cena:
404,42 |
 |
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics
ISBN: 9783540186571 / Angielski / Miękka / 1987 / 148 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the...
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and wher...
|
cena:
202,19 |
 |
PORTAL Language Description
ISBN: 9783540189602 / Angielski / Miękka / 1988 / 204 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
202,19 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
