![]() |
Computers Helping People with Special Needs: 13th International Conference, Icchp 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part I
ISBN: 9783642315213 / Angielski / Miękka / 723 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 7382 and 7383 constiutes the refereed proceedings of the 13th International Conference on Computers Helping People with Special Needs, ICCHP 2012, held in Linz, Austria, in July 2012. The 147 revised full papers and 42 short papers were carefully reviewed and selected from 364 submissions. The papers included in the first volume are organized in the following topical sections: universal learning design; putting the disabled student in charge: user focused technology in education; access to mathematics and science; policy and service provision; creative design for...
The two-volume set LNCS 7382 and 7383 constiutes the refereed proceedings of the 13th International Conference on Computers Helping People with Specia...
|
cena:
201,72 zł |
![]() |
Computers Helping People with Special Needs: 13th International Conference, Icchp 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II
ISBN: 9783642315336 / Angielski / Miękka / 683 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 7382 and 7383 constitutes the refereed proceedings of the 13th International Conference on Computers Helping People with Special Needs, ICCHP 2012, held in Linz, Austria, in July 2012. The 147 revised full papers and 42 short papers were carefully reviewed and selected from 364 submissions. The papers included in the second volume are organized in thefollowing topical sections: portable and mobile systems in assistive technology; assistive technology, HCI and rehabilitation; sign 2.0: ICT for sign language users: information sharing, interoperability, user-centered...
The two-volume set LNCS 7382 and 7383 constitutes the refereed proceedings of the 13th International Conference on Computers Helping People with Speci...
|
cena:
201,72 zł |
![]() |
Automata, Languages, and Programming: 39th International Colloquium, Icalp 2012, Warwick, Uk, July 9-13, 2012, Proceedings, Part II
ISBN: 9783642315848 / Angielski / Miękka / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Pr...
|
cena:
201,72 zł |
![]() |
Automata, Languages, and Programming: 39th International Colloquium, Icalp 2012, Warwick, Uk, July 9-13, 2012, Proceedings, Part I
ISBN: 9783642315930 / Angielski / Miękka / 860 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Pr...
|
cena:
201,72 zł |
![]() |
Developments in Language Theory: 16th International Conference, Dlt 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
ISBN: 9783642316524 / Angielski / Miękka / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012.
Constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in Aug...
|
cena:
201,72 zł |
![]() |
Arithmetic of Finite Fields: 4th International Workshop, Waifi 2012, Bochum, Germany, July 16-19, 2012, Proceedings
ISBN: 9783642316616 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012.
Constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July...
|
cena:
185,62 zł |
![]() |
Combinatorial Optimization and Applications: 6th International Conference, Cocoa 2012, Banff, Ab, Canada, August 5-9, 2012, Proceedings
ISBN: 9783642317699 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012.
Constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012.
|
cena:
201,72 zł |
![]() |
Service-Oriented Computing - ICSOC 2011 Workshops: ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
ISBN: 9783642318740 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 2011 ICSOC Workshops consisting of 5 scientific satellite events, organized in 4 tracks: workshop track (WESOA 2011; NFPSLAM-SOC 2011), PhD symposium track, demonstration track, and industry track; held in conjunction with the 2011 International Conference on Service-Oriented Computing (ICSOC), in Paphos, Greece, December 2011. The 39 revised papers presented together with 2 introductory descriptions address topics such as software engineering services; the management of service level agreements; Web services and service...
This book constitutes the thoroughly refereed proceedings of the 2011 ICSOC Workshops consisting of 5 scientific satellite events, organized in 4 trac...
|
cena:
201,72 zł |
![]() |
Information Security and Cryptology - Icisc 2011: 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers
ISBN: 9783642319112 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed conference proceedings of the 14th International Conference on Information Security and Cryptology, held in Seoul, Korea, in November/December 2011. The 32 revised full papers presented were carefully selected from 126 submissions during two rounds of reviewing. The conference provides a forum for the presentation of new results in research, development, and applications in the field of information security and cryptology. The papers are organized in topical sections on hash function, side channel analysis, public key cryptography, network and...
This book constitutes the thoroughly refereed conference proceedings of the 14th International Conference on Information Security and Cryptology, held...
|
cena:
201,72 zł |
![]() |
Advances in Cryptology -- CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings
ISBN: 9783642320088 / Angielski / Miękka / 888 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in August 2012. The 48 revised full papers presented were carefully reviewed and selected from 225 submissions. The volume also contains the abstracts of two invited talks. The papers are organized in topical sections on symmetric cryptosystems, secure computation, attribute-based and functional encryption, proofs systems, protocols, hash functions, composable security, privacy, leakage and side-channels, signatures, implementation analysis,...
This book constitutes the refereed proceedings of the 32nd Annual International Cryptology Conference, CRYPTO 2012, held in Santa Barbara, CA, USA, in...
|
cena:
201,72 zł |
![]() |
Hybrid Learning: 5th International Conference, Ichl 2012, Guangzhou, China, August 13-15, 2012, Proceedings
ISBN: 9783642320170 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Hybrid Learning, ICHL 2012, held in Guangzhou, China, in August 2012. The 32 contributions presented in this volume were carefully reviewed and selected from numerous submissions. In addition two keynote talks are included in this book. The topics covered are computer supported collaborative learning, experiences in hybrid learning, electronic learning, pedagogical and psychological issues, hybrid learning systems, and organizational frameworks for hybrid learning.
This book constitutes the refereed proceedings of the 5th International Conference on Hybrid Learning, ICHL 2012, held in Guangzhou, China, in August ...
|
cena:
201,72 zł |
![]() |
Combinatorial Optimization: Second International Symposium, Isco 2012, Athens, Greece, 19-21, Revised Selected Papers
ISBN: 9783642321467 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present original research on all aspects of combinatorial optimization, ranging from mathematical foundations and theory of algorithms to computational studies and practical applications.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 20...
|
cena:
201,72 zł |
![]() |
Decision Support Systems – Collaborative Models and Approaches in Real Environments: Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December
ISBN: 9783642321900 / Angielski / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in London and Paris, in June and November 2011, respectively. The workshop themes were "Decision Support Systems" and "Collaborative Decision Making." The 11 papers were selected from 52 submissions and are representative of the current research in these fields. They address challenges such as conceptual models, software specification and simulation, collaborative requirements specification, as well as...
This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Suppor...
|
cena:
185,62 zł |
![]() |
A Proof Theory for Description Logics
ISBN: 9781447140016 / Angielski / Miękka / 106 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. This book introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). It argues that such systems improve the extraction of computational content from DLs proofs for explanation purposes.
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. This...
|
cena:
201,72 zł |
![]() |
Nordic Contributions in Is Research: Third Scandinavian Conference on Information Systems, Scis 2012, Sigtuna, Sweden, August 17-20, 2012, Proceedings
ISBN: 9783642322693 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the refereed proceedings of the Third Scandinavian Conference on Information Systems (SCIS), held in Sigtuna, Sweden, in August 2012.The digitization of modern society's information and communication structures has fundamentally changed our everyday life, economy, business, and society. How can information systems research as an academic yet pragmatic discipline contribute to designing the interactive society? The Scandinavian IS tradition with its emphasis on engaged scholarship, action research, and socially embedded design has a lot to contribute to this discussion.... This book contains the refereed proceedings of the Third Scandinavian Conference on Information Systems (SCIS), held in Sigtuna, Sweden, in August ... |
cena:
185,62 zł |
![]() |
The Art of Distributed Applications: Programming Techniques for Remote Procedure Calls
ISBN: 9781461277538 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Powerful networked workstations are adding a new dimension to the world of computing. Programmers are challenged to write applications that exploit the speed and parallelism of such distributed systems, programs that take advantage of the networking and communication features of high-speed workstations. John Corbin, a senior engineer in Sun's networking group, bases his approach on RPC (Remote Procedure Call), a technique for programming communication processes in UNIX environments. A professional reference book as well as a textbook on RPC programming techniques, The Art of Distributed...
Powerful networked workstations are adding a new dimension to the world of computing. Programmers are challenged to write applications that exploit th...
|
cena:
403,47 zł |
![]() |
Issues in Software Engineering Education: Proceedings of the 1987 SEI Conference on Software Engineering Education, Held in Monroeville, Paris, April
ISBN: 9781461396161 / Angielski / Miękka / 595 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume combines the proceedings of the 1987 SEI Conference on Software Engineering Education, held in Monroeville, Pennsylvania on April 30 and May 1, 1987, with the set of papers that formed the basis for that conference. The conference was sponsored by the Software Engineering Institute (SEI) of Carnegie-Mellon University. SEI is a federally-funded research and development center established by the United States Department of Defense to improve the state of software technology. The Education Division of SEI is charged with improving the state of software engineering education. This is...
This volume combines the proceedings of the 1987 SEI Conference on Software Engineering Education, held in Monroeville, Pennsylvania on April 30 and M...
|
cena:
403,47 zł |
![]() |
Understanding SGML and XML Tools: Practical Programs for Handling Structured Text
ISBN: 9781468467130 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Understanding SGML and XML Tools: Practical Programs for Handling Structured Text is a practical guide to implementing SGML and XML with precise procedures for making the most of the wide range of tools available. Programs are introduced in the context of the life cycle of a document, from creation, through validation, on-line display, searching and database, to printed delivery and repository storage. Understanding SGML and XML Tools includes extensive examples of the tools discussed, showing the various output stages and the methods for producing them, as well as tips and tricks for getting...
Understanding SGML and XML Tools: Practical Programs for Handling Structured Text is a practical guide to implementing SGML and XML with precise proce...
|
cena:
201,72 zł |
![]() |
Real-Time Integration Methods for Mechanical System Simulation
ISBN: 9783642761614 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the edited versions of lectures and selected contributed papers presented at the NATO Advanced Research Workshop on Real-Time Integration Methods For Mechanical System Simulation, held in Snowbird, Utah, August 7-11, 1989. The Institute was attended by 42 participants from 9 countries, including leading mathematicians and engineers from universities, research institutions, and industry. The majority of participants presented either invited or contributed papers during the Institute, and everyone participated in lively discussions on scientific aspects of the program. The...
This book contains the edited versions of lectures and selected contributed papers presented at the NATO Advanced Research Workshop on Real-Time Integ...
|
cena:
605,23 zł |
![]() |
Business System Management and Engineering: From Open Issues to Applications
ISBN: 9783642324383 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The next generation of Business Process Management (BPM) methods and tools will support the development of a new generation of service-enabled applications that change and evolve over time. The trend is moving from relatively stable, organization-specific applications to dynamic ones supporting business processes. This book is an outcome of the International Workshop on Business System Management and Engineering (BSME 2010), held in Malaga, Spain, in June/July 2010, in conjunction with the TOOLS 2010 federated conferences and under the aegis of the EU Network of Excellence on Service Software...
The next generation of Business Process Management (BPM) methods and tools will support the development of a new generation of service-enabled applica...
|
cena:
185,62 zł |