» książki » Computers - Languages - General
topmenu
 |
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revis
ISBN: 9783642297083 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed...
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Infor...
|
cena:
203,61 |
 |
Runtime Verification: Second International Conference, RV 2011, San Francisco, Usa, September 27-30, 2011, Revised Selected Papers
ISBN: 9783642298592 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions,...
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, hel...
|
cena:
203,61 |
 |
Programmieren in APL
ISBN: 9783110057249 / Niemiecki / Twarda / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
472,70 |
 |
Höhere FORTRAN-Programmierung
ISBN: 9783110082265 / Niemiecki / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Harald Siebert studierte Philosophie in Augsburg, Munchen und an der Sorbonne. In Paris und Berlin promovierte er in Wissenschaftsgeschichte. Er wurde 2007 mit dem Nachwuchspreis der International Academy of the History of Science ausgezeichnet."
Harald Siebert studierte Philosophie in Augsburg, Munchen und an der Sorbonne. In Paris und Berlin promovierte er in Wissenschaftsgeschichte. Er wurde...
|
cena:
472,70 |
 |
Einführung in das Programmieren in BASIC
ISBN: 9783110082272 / Niemiecki / Twarda / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
472,70 |
 |
Object, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
ISBN: 9783642305603 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012.
Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Pragu...
|
cena:
203,61 |
 |
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ISBN: 9783642307287 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
|
cena:
203,61 |
 |
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System
ISBN: 9783642309816 / Angielski / Miękka / 439 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.
This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of ...
|
cena:
203,61 |
 |
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings
ISBN: 9783642310560 / Angielski / Miękka / 766 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 26th European Conference on "Object-Oriented Programming, ECOOP 2012", held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses.
This book constitutes the refereed proceedings of the 26th European Conference on "Object-Oriented Programming, ECOOP 2012", held in Beijing, China, i...
|
cena:
203,61 |
 |
Learning Processing: A Beginner's Guide to Programming Images, Animation, and Interaction
ISBN: 9780123944436 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learning Processing, Second Edition, is a friendly start-up guide to Processing, a free, open-source alternative to expensive software and daunting programming languages. Requiring no previous experience, this book is for the true programming beginner. It teaches the basic building blocks of programming needed to create cutting-edge graphics applications including interactive art, live video processing, and data visualization. Step-by-step examples, thorough explanations, hands-on exercises, and sample code, supports your learning curve. A unique lab-style manual, the book... Learning Processing, Second Edition, is a friendly start-up guide to Processing, a free, open-source alternative to expensive software and ... |
cena:
199,45 |
 |
Date on Database: Writings 2000-2006
ISBN: 9781430243083 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now available in paperback--
Date on Database: Writings 2000-2006 captures the thoughts of widely known and respected relational database pioneer C. J. Date. Known for his tenacious defense of relational theory in its purest form, Date tackles many topics that are important to database professionals, including the difference between model and implementation, data integrity, data redundancy, deviations in SQL from the relational model, and much more.Date clearly and patiently explains where many of today's products and practices go wrong, and illustrates some... Now available in paperback--
Date on Database: Writings 2000-2006 captures the thoughts of widely known and respected relational database... |
cena:
178,96 |
 |
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012,
ISBN: 9783642307928 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events.
Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012,...
|
cena:
203,61 |
 |
Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
ISBN: 9783642314759 / Angielski / Twarda / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. The initial planning for Exascale already started when the first Petaflop system was delivered. Many challenges need to be addressed to reach the necessary performance. Scalability, energy...
The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools an...
|
cena:
407,25 |
 |
Programming Multi-Agents Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
ISBN: 9783642319143 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fast-track conference proceedings State-of-the-art research Up-to-date results
Fast-track conference proceedings State-of-the-art research Up-to-date results
|
cena:
187,35 |
 |
Einführung in das Programmieren, II: Programmieren in einer Assemblersprache
ISBN: 9783110009262 / Niemiecki / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
472,70 |
 |
Programmieren in ALGOL 68
ISBN: 9783110049787 / Niemiecki / Twarda / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
472,70 |
 |
Natural Language Generation Systems
ISBN: 9781461283744 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a natural way. Generation systems supply the sophisticated knowledge about natural languages that must come into play when one needs to use wordings that will overpower techniques based only on symbolic string manipulation techniques. Topics covered in this volume include discourse theory, mechanical translation, deliberate writing, and revision. Natural Language Generation Systems contains contributions by leading...
Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts ...
|
cena:
203,61 |
 |
Model Construction with Gpss-FORTRAN Version 3
ISBN: 9781461291404 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
407,25 |
 |
The Simulator Gpss-FORTRAN Version 3
ISBN: 9781461291411 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. GPSS-FORTRAN is a simulator for the simulation of discrete, continuous, and combined models. Provides a reference for GPSS-FORTRAN Version 3 and illustrates the use of the lan- guage by numerous examples.
GPSS-FORTRAN is a simulator for the simulation of discrete, continuous, and combined models. Provides a reference for GPSS-FORTRAN Version 3 and illus...
|
cena:
407,25 |
 |
The Synthesizer Generator: A System for Constructing Language-Based Editors
ISBN: 9781461396253 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular languages. The book is intended for those with an interest in software tools and in methods for building interactive systems. It is a must for people who are using the Syn thesizer Generator to build editors because it provides extensive discussions of how to write editor specifications. The book should also be valuable for people who are building specialized editors "by hand," without using an editor generating tool. The need to manage the...
This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular la...
|
cena:
203,61 |
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
