Programming Languages and Systems: 8th European Symposium on Programming, Esop'99 Held as Part of the Joint European Conferences on Theory and Practic
ISBN: 9783540656999 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of...
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activ...
|
|
cena:
194,52 zł |
Prozessübergreifendes Projektmanagement: Grundlagen Erfolgreicher Projekte
ISBN: 9783540223887 / Niemiecki / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Projektmanagement ist in Zeiten von enger werdenden Projektbudgets und Projektzeitplanen eine zunehmende Herausforderung geworden. Die Autoren geben wertvolle Hilfestellungen in Krisensituationen und zeigen auf, wie von Anfang an eine durchgangige Linie in ein Projekt gebracht wird. Ferner werden die diversen Schnittstellen zu den unterschiedlichen Disziplinen im Software Engineering aufgezeigt. Ein weiterer Schwerpunkt des Buches ist der konkrete Einsatz eines Werkzeuges, das den gesamten Prozess aus Sicht des Projektleiters steuert. Weitere Themen sind Berichtswesen, Krisenmanagement,... Projektmanagement ist in Zeiten von enger werdenden Projektbudgets und Projektzeitplanen eine zunehmende Herausforderung geworden. Die Autoren gebe... |
|
cena:
109,07 zł |
Parallel MATLAB for Multicore and Multinode Computers
ISBN: 9780898716733 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first book on parallel MATLAB and the first parallel computing book focused on the design, code, debug, and test techniques required to quickly produce efficient parallel programs. MATLAB is currently the dominant language of technical computing with one million users worldwide, many of whom can benefit from the increased power offered by inexpensive multicore and multinode parallel computers. MATLAB is an ideal environment for learning about parallel computing, allowing the user to focus on parallel algorithms instead of the details of implementation. This book is a reference for...
This is the first book on parallel MATLAB and the first parallel computing book focused on the design, code, debug, and test techniques required to qu...
|
|
cena:
268,73 zł |
Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications
ISBN: 9789048134847 / Angielski / Twarda / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dynamically Reconfigurable Systems is the first ever to focus on the emerging field of Dynamically Reconfigurable Computing Systems. While programmable logic and design-time configurability are well elaborated and covered by various texts, this book presents a unique overview over the state of the art and recent results for dynamic and run-time reconfigurable computing systems. Reconfigurable hardware is not only of utmost importance for large manufacturers and vendors of microelectronic devices and systems, but also a very attractive technology for smaller and medium-sized... Dynamically Reconfigurable Systems is the first ever to focus on the emerging field of Dynamically Reconfigurable Computing Systems. While programm... |
|
cena:
389,09 zł |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 16th European Pvm/Mpi Users' Group Meeting, Espoo, Finland, September 7-10,
ISBN: 9783642037696 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The current trend in the state-of-the-art infrastructure for computational s- ence is dominated by two concepts: multicore processors and a massive number ofprocessorsinsupercomputers.Thenumberofcoresinprocessorshasincreased rapidly in last few years and this has driven the number of processors in the supercomputers to new scales. As the scale of the supercomputers increases so doesthedominanceofmessagepassingbetweenprocessors.TheEuroPVM/MPI conferenceseries is the premier researcheventfor high-performanceparallelp- gramminginthemessage-passingparadigm.Applicationsusingparallelmessa- passing...
The current trend in the state-of-the-art infrastructure for computational s- ence is dominated by two concepts: multicore processors and a massive nu...
|
|
cena:
194,52 zł |
Bare-Bones R: A Brief Introductory Guide
ISBN: 9781412980418 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offering a user friendly introduction to R software
-A terrific intro book I'll recommend it to any class I teach in which I use R.- This text provides a practical, hands-on introduction to the elements of R and R Commander. Assuming no background in computer programming, author Thomas P. Hogan guides the novice in using these valuable tools for statistical analysis. The book walks the reader through steps for downloading and then works through examples of basic statistical processing.... Offering a user friendly introduction to R software
-A terrific intro book I'll recommend it to any class I teach i... |
|
cena:
171,22 zł |
Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
ISBN: 9783642029585 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2 7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized ?rst on a bi-annual basis mostly and since 1996 on...
This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of...
|
|
cena:
194,52 zł |
A Knowledge-Based Approach to Program Understanding
ISBN: 9780792396055 / Angielski / Twarda / 119 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized...
Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. ...
|
|
cena:
389,09 zł |
Learn Professional Programming Skill in C++ Programming Language
ISBN: 9781483666532 / Angielski / Twarda / 816 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
189,80 zł |
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
ISBN: 9783642030338 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and...
Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- pu...
|
|
cena:
194,52 zł |
Ecoop 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings
ISBN: 9783642030123 / Angielski / Miękka / 631 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of ECOOP 2009 Thanks to the local organizersfor working hard on arranging the conference - with the hard work they put in, it was a great success. Thanks to Sophia Drossopoulou for her dedicated work as PC Chair in assembling a ?ne scienti?c program including forward-looking keynotes, and for her e?orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting. I would also like to thank James Noble for taking the time and e?ort to write up last year's banquet speech so that it could be included in this year's...
Welcome to the proceedings of ECOOP 2009 Thanks to the local organizersfor working hard on arranging the conference - with the hard work they put in,...
|
|
cena:
389,09 zł |
Case-Based Reasoning Research and Development: 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
ISBN: 9783642029974 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Case-Based Reasoning (ICCBR) is the p- eminent international meeting on case-based reasoning (CBR). ICCBR 2009 (http: //www.iccbr.org/iccbr09/)was the eighth in this series of biennial - ternationalconferenceshighlightingthemostsigni?cantcontributionstothe?eld of CBR. The conference took place during July 20-23, 2009 in Seattle, Wa- ington, USA. Previous ICCBR conferences have been held in Belfast, Northern Ireland, UK (2007), Chicago, USA (2005), Trondheim, Norway (2003), Vanc- ver, Canada (2001), Seeon, Germany (1999), Providence, Rhode Island, USA (1997),...
The International Conference on Case-Based Reasoning (ICCBR) is the p- eminent international meeting on case-based reasoning (CBR). ICCBR 2009 (http: ...
|
|
cena:
194,52 zł |
Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos
ISBN: 9783642024627 / Angielski / Miękka / 505 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. John Mylopoulos has made ground-breaking contributions to three areas of computer science: arti?cial intelligence, information systems and software - gineering. His contributions have been celebrated on multiple occasions. First, Misha Missiko? organized a one-day symposium on conceptual modeling on June 17, 2003, inVelden, Austria, tocelebrateJohn's60thbirthday.Second, JohnTsotsos led the organization of a day of celebrations on June 27th, 2009 in Toronto, Canada, on the occasionof John's retirementfrom the Departmentof Computer Science of the University of Toronto. This book grew out of our...
John Mylopoulos has made ground-breaking contributions to three areas of computer science: arti?cial intelligence, information systems and software - ...
|
|
cena:
194,52 zł |
A Tight, Practical Integration of Relations and Functions
ISBN: 9783540666448 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs.
This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative... As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with differe...
|
|
cena:
194,52 zł |
Fm'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Pr
ISBN: 9783540665878 / Angielski / Miękka / 940 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM 99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These...
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range o...
|
|
cena:
389,09 zł |
Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings
ISBN: 9783540434771 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINworkshopwasastand-aloneevent, later workshopshavebeenorganizedasmoreorlesscloselya?liatedeventswithlarger conferences, in particular with CAV (1996),...
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the ...
|
|
cena:
194,52 zł |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings
ISBN: 9783540424642 / Angielski / Miękka / 818 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001.
The 68 revised full papers presented together with three invited papers were carefully reviewed and selected from over a hundred submissions. The book offers topical sections on decision theory, partially observable Markov decision processes, decision-making, coherent probabilities, Bayesian networks, learning causal networks, graphical representation of uncertainty, imprecise... This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, E...
|
|
cena:
389,09 zł |
Functional and Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
ISBN: 9783540417392 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
This text constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japa...
|
|
cena:
194,52 zł |
Computer - Human Interaction in Symbolic Computation
ISBN: 9783211828434 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts of the world. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable. The author was very glad he attended the workshop. * In thinking back over the conference and in...
The well attended March 1994 HIse workshop in Amsterdam was a very lively con ference which stimulated much discussion and human-human interaction. As...
|
|
cena:
389,09 zł |
Molecular Light Scattering and Optical Activity
ISBN: 9780521121378 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ranging from the physics of elementary particles to the structure of viruses, the subject matter of this book stresses the importance of optical activity and chirality in modern science and will be of interest to a wide range of scientists. Using classical and quantum methods with a strong emphasis on symmetry principles, the volume develops the theory of varied optical activity and related phenomena from the perspective of molecular scattering of polarized light. First Edition Hb (1983): 0-521-24602-4
Ranging from the physics of elementary particles to the structure of viruses, the subject matter of this book stresses the importance of optical activ...
|
|
cena:
372,72 zł |