» książki » Computers - Programming - General
 |
Coordination Models and Languages: 12th International Conference, COORDINATION 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings
ISBN: 9783642134135 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010.
Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, ...
|
cena:
205,02 |
 |
Handbook on Agent-Oriented Design Processes
ISBN: 9783642399749 / Angielski / Twarda / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To deal with the flexible architectures and evolving functionalities of complex modern systems, the agent metaphor and agent-based computing are often the most appropriate software design approach. As a result, a broad range of special-purpose design processes has been developed in the last several years to tackle the challenges of these specific application domains. In this context, in early 2012 the IEEE-FIPA Design Process Documentation Template SC0097B was defined, which facilitates the representation of design processes and method fragments through the use of standardized templates,... To deal with the flexible architectures and evolving functionalities of complex modern systems, the agent metaphor and agent-based computing are of... |
cena:
410,09 |
 |
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, Lpnmr 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ISBN: 9783642405631 / Angielski / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge...
This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held i...
|
cena:
205,02 |
 |
Logic, Rationality, and Interaction: 4th International Workshop, Lori 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ISBN: 9783642409479 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop...
This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the...
|
cena:
205,02 |
 |
Learn to Program with Visual Basic 2010 Express
ISBN: 9780982734902 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introductory text on Visual Basic using the freely downloadable Visual Basic 2010 Express Edition. The easiest technical book you'll ever read. Open it up and see for yourself. Join Professor Smiley's Visual Basic.Net class as he teaches essential skills in programming, coding and more. Using a student-instructor conversational format, this book starts at the very beginning with crucial programming fundamentals. You'll quickly learn how to identify customer needs so you can create an application that achieves programming objectives---just like experienced programmers. By identifying clear...
An Introductory text on Visual Basic using the freely downloadable Visual Basic 2010 Express Edition. The easiest technical book you'll ever read. Ope...
|
cena:
149,80 |
 |
Systems Development Methods for the Next Century
ISBN: 9780306456930 / Angielski / Twarda / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of an August 1997 conference addressing issues facing academia and industry when specifying, developing, managing, and improving software systems. Some topics include object-oriented information technologies, modeling of dynamics of cooperative work arrangements, user participation in in
Proceedings of an August 1997 conference addressing issues facing academia and industry when specifying, developing, managing, and improving software ...
|
cena:
414,80 |
 |
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
ISBN: 9783540213666 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. After Ole-Johan s retirement at the beginning of the new millennium, some of us had thought and talked about making a Festschrift in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees...
After Ole-Johan s retirement at the beginning of the new millennium, some of us had thought and talked about making a Festschrift in his honor. When D...
|
cena:
205,02 |
 |
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
ISBN: 9783540574798 / Niemiecki / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere...
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd...
|
cena:
114,80 |
 |
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings
ISBN: 9783540616306 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.
The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency. This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in...
|
cena:
205,02 |
 |
Ludwig Wittgenstein: His Place in the Development of Semantics
ISBN: 9789027700292 / Angielski / Twarda / 62 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Various students of general linguistics and semantics quote and discuss Wittgenstein, among others, OGDEN and RICHARDS (1960), ULLMANN (1951, 1962), PAGLIARO (1952, 1957), WELLS (1960), REGNELL (1960) and 1 ZIFF (1960). For the most part however they quote the Tractatus and not 2 the Philosophical Investigations; not all of them consider the most important ideas in the Tractatus but often discuss marginal points; above all they often make the discussion of Wittgenstein's ideas secondary to the development of their own thought. It should be added, moreover, that these students are exceptions....
Various students of general linguistics and semantics quote and discuss Wittgenstein, among others, OGDEN and RICHARDS (1960), ULLMANN (1951, 1962), P...
|
cena:
410,09 |
 |
Softwarezuverlässigkeit
ISBN: 9783110122275 / Niemiecki / Twarda / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
475,99 |
 |
Einführung in systemnahe Programmierung
ISBN: 9783110124668 / Niemiecki / Twarda / 371 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
475,99 |
 |
Methodik des betrieblichen Software-Projektmanagements
ISBN: 9783110134926 / Niemiecki / Twarda / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
649,15 |
 |
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
ISBN: 9783642157837 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2010. The purpose of this workshop series is to gather academic and industrial researchers working on all aspects of performance engineering. This year the workshop was structured around three main areas: system and network p- formance engineering, software performance engineering, and the modeling and evaluation techniques supporting them. This edition of the workshop attracted 38 submissions, whose authors we wish to thank for their interest in...
This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2...
|
cena:
205,02 |
 |
Linux: Konzepte, Kommandos, Oberflächen
ISBN: 9783540008156 / Niemiecki / Twarda / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Hand- und Arbeitsbuch stellt die Konzepte und Anwendungstechniken von Linux vor. Viele Einzelheiten werden zusammenhangend und verstandlich dargestellt. Die Autoren beschreiben die haufig verwendeten Kommandos und Funktionen detailliert und erlautern sie an zahlreichen Beispielen. Damit soll das Werk den Einstieg in Linux und den Umstieg auf Linux erleichtern und dem Benutzer und Administrator als kompaktes Nachschlagewerk bei der taglichen Arbeit am Linux-Rechner dienen. Es werden sowohl die alphanumerische Oberflache als auch die grafischen Oberflachen KDE und GNOME behandelt. Die... Dieses Hand- und Arbeitsbuch stellt die Konzepte und Anwendungstechniken von Linux vor. Viele Einzelheiten werden zusammenhangend und verstandlich ... |
cena:
344,91 |
 |
Software Metrics: Best Practices for Successful It Management
ISBN: 9781931332262 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you have any responsibility for applying measurement to IT Application Development, Application Support or Outsourced Service supply in these areas, this is the book for you You may be the Sponsor of a Software Metrics program, responsible for implementing such a program or part of a Benchmarking initiative. This book can help you avoid the pitfalls inherent in such programs so that you make your program a success. SOFTWARE METRICS: BEST PRACTICES FOR SUCCESSFUL IT MANAGEMENT will give you a comprehensive introduction to the subject area. Beyond this, the book provides a wealth of useful...
If you have any responsibility for applying measurement to IT Application Development, Application Support or Outsourced Service supply in these areas...
|
cena:
198,41 |
 |
Microsoft(r) Excel(r) 2010 Programming by Example: With Vba, XML, and ASP
ISBN: 9781936420032 / Angielski / Miękka / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Microsoft Excel 2010 Programming by Example with VBA, XML and ASP is a practical how-to book on Excel programming, suitable for readers already familiar with the Excel user interface. The book introduces programming concepts via numerous multi-step, illustrated, hands-on exercises. More advanced topics are introduced via custom projects. From recording and editing a macro and writing VBA code to working with XML documents and using classic ASP to access and display data on the Web, this book takes you on a programming journey that will change the way you work with Excel. Completely updated...
Microsoft Excel 2010 Programming by Example with VBA, XML and ASP is a practical how-to book on Excel programming, suitable for readers already famili...
|
cena:
220,46 |
 |
Transitions Before the Transition: Evolution and Stability in the Middle Paleolithic and Middle Stone Age
ISBN: 9781441920362 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern human origins and the fate of the Neanderthals are arguably the most compelling and contentious arenas in paleoanthropology. The much-discussed split between advocates of a single, early emergence of anatomically modern humans in sub-Saharan Africa and supporters of various regional continuity positions is only part of the picture. Equally if not more important are questions surrounding the origins of modern behavior, and the relationships between anatomical and behavioral changes that occurred during the past 200,000 years. Although modern humans as a species may be defined in... Modern human origins and the fate of the Neanderthals are arguably the most compelling and contentious arenas in paleoanthropology. The much-discus... |
cena:
533,13 |
 |
Software Reliability Methods
ISBN: 9781441928764 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better...
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and prese...
|
cena:
205,02 |
 |
Advances in Soft Computing: Engineering Design and Manufacturing
ISBN: 9781849969055 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Soft computing embraces methodologies for the development of intelligent systems that have been successfully applied to a large number of real-word problems. This collection of keynote papers, presented at the 7th On-line World Conference on Soft Computing in Engineering Design and Manufacturing, provides a comprehensive overview of recent advances in fuzzy, neural and evolutionary computing techniques and applications in engineering design and manufacturing. Features: Soft computing embraces methodologies for the development of intelligent systems that have been successfully applied to a large number of real-word... |
cena:
820,22 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
