wyszukanych pozycji: 12
Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12
ISBN: 9781475762990 / Angielski / Miękka / 2013 / 486 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t'wo IFIP TC 2 Working Groups 2.2 Formal Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been organizing these conferences every four years for over twenty years. The aim of such Working Conferences organized by IFIP Working Groups is to bring together leading scientists in a given area of computer science. Participation is by invitation only. As a result, these conferences distinguish...
This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is orga...
|
|
cena:
783,57 zł |
Programming Methodology: A Collection of Articles by Members of Ifip Wg2.3
ISBN: 9781461263173 / Angielski / Miękka / 2011 / 437 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming methodology that have helped define the field and give it direction. It is hoped that the scientist in the field will find the volume useful as a reference, while the scientist in neighboring fields will find it useful in seriously acquainting himself with important ideas in programming methodology. The advanced student can also study it-either in a course or by himself -in order to learn significant material that may not appear in texts for some...
This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming me...
|
|
cena:
195,87 zł |
The Science of Programming
ISBN: 9780387964805 / Angielski / Miękka / 1987 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions...
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a pr...
|
|
cena:
352,59 zł |
Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12
ISBN: 9780412837609 / Angielski / Twarda / 1998 / 486 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t'wo IFIP TC 2 Working Groups 2.2 Formal Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been organizing these conferences every four years for over twenty years. The aim of such Working Conferences organized by IFIP Working Groups is to bring together leading scientists in a given area of computer science. Participation is by invitation only. As a result, these conferences distinguish...
This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is orga...
|
|
cena:
783,57 zł |
Multimedia Introduction to Programming Using Java
ISBN: 9780387226811 / Angielski / Miękka / 2004 / 556 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This bookanchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive... This bookanchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containi... |
|
cena:
195,87 zł |
A Logical Approach to Discrete Math
ISBN: 9781441928351 / Angielski / Miękka / 2010 / 516 str. Termin realizacji zamówienia: ok. 20 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:
195,87 zł |
Programming in the 1990s: An Introduction to the Calculation of Programs
ISBN: 9780387973821 / Angielski / Miękka / 1990 / 265 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by "induction": features of some famous programming languages are given operational meaning (e.g. a loop "goes round and round"), a number of examples are shown, and by induction, we are asked to develop other programs, often radically different from the ones we've seen. Basically we are taught to guess our programs, and then to patch up our guesses. Our errors are given the cute name of "bugs." Fixing them becomes puzzle-solving, as does finding tricks that exploit or...
Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by "induction": features ...
|
|
cena:
195,87 zł |
C Programming: The Essentials for Engineers and Scientists
ISBN: 9780387986326 / Angielski / Twarda / 1999 / 479 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve typical scientific and engineering problems. It is a learning-by-doing book, with many examples and exercises, and lays a foundation of scientific programming concepts and techniques that will prove valuable for those who might eventually move on to another language. Written for undergraduates who are familiar with computers and typical applications but are new to programming.
This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve ty...
|
|
cena:
391,77 zł |
A Logical Approach to Discrete Math
ISBN: 9780387941158 / Angielski / Twarda / 1993 / 516 str. Termin realizacji zamówienia: ok. 20 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:
293,82 zł |
The Design and Analysis of Algorithms
ISBN: 9780387976877 / Angielski / Twarda / 1991 / 322 str. Termin realizacji zamówienia: ok. 20 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:
391,77 zł |
Globalization, Economic Growth and Innovation Dynamics
ISBN: 9783642085154 / Angielski / Miękka / 2010 / 198 str. Termin realizacji zamówienia: ok. 20 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:
391,77 zł |
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics
ISBN: 9783540186571 / Angielski / Miękka / 1987 / 148 str. Termin realizacji zamówienia: ok. 20 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:
195,87 zł |