» książki » Computers - Programming - Compilers
topmenu
 |
C Programming: The Essentials for Engineers and Scientists
ISBN: 9781461271611 / Angielski / Miękka / 479 str. Termin realizacji zamówienia: ok. 5-8 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:
264,71 |
 |
Programming and Meta-Programming in Scheme
ISBN: 9781461272434 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive first course in Scheme, covering all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. Although the primary goal is to teach students to program in Scheme, this will be suitable for anyone taking a general programming principles course. Each chapter is divided into three sections: core, appendix, and problems. Most essential topics are covered in the core section, but it is assumed that most students will read the appendices and solve most of the problems - all of which require short Scheme procedures. As well as...
A comprehensive first course in Scheme, covering all of its major features: abstraction, functional programming, data types, recursion, and semantic p...
|
cena:
203,61 |
 |
Compiler Technology: Tools, Translators and Language Implementation
ISBN: 9781461377849 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.
The focus of Compiler Technology: Tools, Translators and Language Implementation is to enable quick development of analysis tools. Both lexical scanner and parser generator tools are provided... Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...
|
cena:
610,90 |
 |
Probleme Und Lösungen Mit Turbo-PROLOG: Logikaufgaben Sortierprogramme Auswerfen Von Datenbanken Variationen Von Bäumen
ISBN: 9783528045647 / Niemiecki / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog (eigentlich: PROgrammation LOGique, meist als PROgramming in LOGic gedeutet) wurde 1970 bis 1972 von der Forschungsgruppe GIA (Groupe d'Intelligence Artificielle) der Universitat Aix-Marseille unter der Leitung von Alain Colmerauer entwickelt und 1973 erstmalig auch implementiert. Grossere Bedeutung erhielt Prolog durch die Arbeiten von Robert Ko walski an der Universitat Edinburgh ab 1974, der zusammen mit Harry Barrow vom Stanford Research Institute (Kalifornien) durch eine Imple mentierung auf einer DEC-IO einen grundlegenden Standard setzte. Diese Edinburgh-Version findet sich...
Prolog (eigentlich: PROgrammation LOGique, meist als PROgramming in LOGic gedeutet) wurde 1970 bis 1972 von der Forschungsgruppe GIA (Groupe d'Intelli...
|
cena:
209,31 |
 |
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
ISBN: 9783642380877 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in...
|
cena:
203,61 |
 |
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
ISBN: 9783642388828 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
This text constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in...
|
cena:
187,35 |
 |
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ISBN: 9783642389153 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions.
This text constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 20...
|
cena:
187,35 |
 |
Safe and Secure Software Reuse: 13th International Conference on Software Reuse, Icsr 2013, Pisa, Italy, June 18-20, 2013, Proceedings
ISBN: 9783642389764 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends.
This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy,...
|
cena:
203,61 |
 |
Programming in PROLOG: Using the ISO Standard
ISBN: 9783540006787 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the... Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Pr... |
cena:
285,06 |
 |
Generic and Indexed Programming
ISBN: 9783642322013 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects lectures from the Spring 2010 School on Generic and Indexed Programming. Includes coverage showing how the forces of genericity and indexing balance each other, simultaneously promoting and controlling generality in programming.
This book collects lectures from the Spring 2010 School on Generic and Indexed Programming. Includes coverage showing how the forces of genericity and...
|
cena:
187,35 |
 |
Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ISBN: 9783642415777 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementation of language processing applications. This theme should be interpreted inclusively: it includes contributions from linguistics, computer science, psycholinguistics and related areas, with a particular interest in interdisciplinary perspectives. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling,...
The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementat...
|
cena:
187,35 |
 |
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceed
ISBN: 9783319030760 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 201...
|
cena:
203,61 |
 |
dBASE IV ™: Programmieranleitung für die Arbeit mit einem relationalen Datenbanksystem
ISBN: 9783528146795 / Niemiecki / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In der kommerziellen und administrativen Datenverarbeitung werden in zuneh mendem Ma6e Datenbanksysteme bei der Verwaltung und Auswertung von Datenbestanden eingesetzt. Dabei werden bevorzugt relationale Datenbanksy sterne verwendet, da bei diesen Systemen die Datenspeicherung unabhangig von der jeweils durchzufUhrenden Verarbeitung erfolgen kann. Dieses Buch stellt den Leistungsumfang des relationalen Datenbanksystems dBASE IV (ein Produkt der Firma Ashton-Tate) vor, das auf Mikrocomputern zum Einsatz kommt. Als Vorbereitung fUr die Anwendung dieses Systems wird gezeigt, wie Datenbestande...
In der kommerziellen und administrativen Datenverarbeitung werden in zuneh mendem Ma6e Datenbanksysteme bei der Verwaltung und Auswertung von Datenbes...
|
cena:
209,31 |
 |
Trends in Functional Programming: 16th International Symposium, Tfp 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ISBN: 9783319391090 / Angielski / Miękka / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2...
|
cena:
171,07 |
 |
Testing Software and Systems: 27th Ifip Wg 6.1 International Conference, Ictss 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015,
ISBN: 9783319259444 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in S...
|
cena:
203,61 |
 |
A Guide to Modula-2
ISBN: 9781461293491 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful programming language that was introduced in 1970 by Niklaus Wirth. During the 1970's Pascal became the most widely taught programming language and it gained acceptance in science and industry. In 1980 Dr. Wirth released the Modula-2 program- ming language. Modula-2 is an evolution of Pascal. It improves on the successes of Pascal while adding the MODULE - a tool for ex- pressing the relations between the major parts of programs. In ad- dition Modula-2...
Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful progra...
|
cena:
203,61 |
 |
Applications of Logic Databases
ISBN: 9781461359265 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
cena:
610,90 |
 |
Programmierprinzipien in Basic Und Pascal: Mit 12 Basic- Und 13 Pascal-Programmen
ISBN: 9783528042585 / Niemiecki / Miękka / 60 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sto t man auf eine besonders elegante Formulierung eines Algorithmus, so fragt man sich meist, wie der Autor auf die entsprechende Programmieridee gekommen ist. Mustert man eine Vielzahl von Algorithmen genauer, so erkennt man, d es etwa ein Dutzend grund legender Programmiertechniken gibt. Im vorliegenden Band sollen daher einige solche Pro grammierprinzipien wie - Top-down-Prinzip - Rekursion - Iteration - Backtracking-Verfahren - Teile-und-Herrsche-Prinzip - Greedy-Algorithmen vorgestellt werden. Thre Realisierung wird an Hand von 25 vollstandigen BASIC-und Pascal-Programmen diskutiert....
Sto t man auf eine besonders elegante Formulierung eines Algorithmus, so fragt man sich meist, wie der Autor auf die entsprechende Programmieridee gek...
|
cena:
209,31 |
 |
Die Wissensrepräsentationssprache Ops5: Sprachbeschreibung Und Einführung in Die Regelorientierte Programmierung
ISBN: 9783528044985 / Niemiecki / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Zur EntwicklungWissensbasierter Systeme stehen inzwischen unterschiedliche Werkzeuge zur VerfUgung. Eines dieser Werkzeuge ist O}>S5, das speziell zur Erstellung regelbasierter Systeme dient. Es hat schon seit llingerem den Weg aus den Entwicklungslaboratorien gefunden und wurde fUr erfolgreich eingesetzte Experten systeme verwendet. Auch in der Bundesrepublik hat es Verbreitung in Universitliten und Unternehmen gefunden. Ein Lehrbuch in deutscher Sprache, wie es sie fUr Sprachen wie Pascal oder FORTRAN in breiter Auswahl gibt, existierte fUr OPS5 jedoch bislang nicht. Als die Autoren Anfang...
Zur EntwicklungWissensbasierter Systeme stehen inzwischen unterschiedliche Werkzeuge zur VerfUgung. Eines dieser Werkzeuge ist O}>S5, das speziell zur...
|
cena:
209,31 |
 |
Lotus 1-2-3: Schritt Für Schritt
ISBN: 9783528045319 / Niemiecki / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Immer mehr Rechner werden an Arbeitsplatzen in Verwaltung, Wirtschaft und bei Selbst standigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines Rechners verlocken, so wird es doch fur viele Anwender schwierig, ihre eigenen Probleme zu losen. Viele stehen vor der Frage, ob sie eine der vielen Programmiersprachen lernen sollten oder fur teures Geld ihre individuellen Probleme programmieren lassen mussen. Das hier beschriebene Werkzeug Lotus 1-2-3 ist idealerweise dazu geeignet, ohne den Umweg uber das Beherrschen einer Programmiersprache die eigenen Aufgaben schnell und effizient losen...
Immer mehr Rechner werden an Arbeitsplatzen in Verwaltung, Wirtschaft und bei Selbst standigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines...
|
cena:
190,12 |
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
