wyszukanych pozycji: 11
Confessions: A spiritual journey of love, forgiveness, healing, self-help and a tribute to the paranormal that inspired ALUR
ISBN: 9781468055702 / Angielski / Miękka / 2012 / 106 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. A riveting collection of essays and poems based on a spiritual journey of self-reflection. Inspired by the spirit guide that made her presence known to ALUR, the words are testament to the wonders of the muses from the other side.
A riveting collection of essays and poems based on a spiritual journey of self-reflection. Inspired by the spirit guide that made her presence known t...
|
|
cena:
27,41 zł |
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
ISBN: 9783540202233 / Angielski / Miękka / 2003 / 378 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip. This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, U... |
|
cena:
194,52 zł |
Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings
ISBN: 9783540223429 / Angielski / Miękka / 2004 / 556 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA ...
|
|
cena:
389,09 zł |
The Journey for Inclusive Education in the Indian Sub-Continent
ISBN: 9780415988766 / Angielski / Twarda / 2009 / 316 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Despite national and international commitments to Education for All, and the Millennium Development Goals to assure universal primary education by 2015, over 90% of children with disabilities remain excluded from regular education in countries of the south. This book describes a three decade-long change initiative in India to enable children with disabilities to move from segregation and exclusion to inclusive education, and draws lessons for confronting global exclusion. It examines the barriers to inclusion of children with disabilities in the Indian sub-continent, estimated at 4% of the... Despite national and international commitments to Education for All, and the Millennium Development Goals to assure universal primary education by ... |
|
cena:
779,55 zł |
FREE WILL from Lockdown: A Multiverse Love Story
ISBN: 9798887330341 / Angielski / Miękka / 2022 / 120 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
41,13 zł |
Hybrid Systems III: Verification and Control
ISBN: 9783540611554 / Angielski / Miękka / 1996 / 619 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor... This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers Unive...
|
|
cena:
389,09 zł |
Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings
ISBN: 9783540212591 / Angielski / Miękka / 2004 / 674 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998), Nijmegen, TheNetherlands(1999), Pittsburgh, USA(2000), Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003)....
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March ...
|
|
cena:
389,09 zł |
Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 1996. Proceedings
ISBN: 9783540614746 / Angielski / Miękka / 1996 / 479 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.
The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on... This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ,...
|
|
cena:
194,52 zł |
The Journey for Inclusive Education in the Indian Sub-Continent
ISBN: 9780415654500 / Angielski / Miękka / 2012 / 316 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Despite national and international commitments to Education for All, and the Millennium Development Goals to assure universal primary education by 2015, over 90% of children with disabilities remain excluded from regular education in countries of the south. This book describes a three decade-long change initiative in India to enable children with disabilities to move from segregation and exclusion to inclusive education, and draws lessons for confronting global exclusion. It examines the barriers to inclusion of children with disabilities in the Indian sub-continent, estimated at 4% of the...
Despite national and international commitments to Education for All, and the Millennium Development Goals to assure universal primary education by 201...
|
|
cena:
270,19 zł |
Effect of Algal based Coconut Biodiesel on CI Engine Characteristics : Microalgae biomass as a valuable Additive with Coconut biodiesel for better Compression Ignition Engine Characteristics
ISBN: 9786200240958 / Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
283,37 zł |
Handbook of Networked and Embedded Control Systems
ISBN: 9780817632397 / Angielski / Twarda / 2005 / 822 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Thishandbookwasmotivatedinpartbyourexperience(andthatofothers)in performing research and in teaching about networked and embedded control systems (NECS) as well as in implementing such systems. Although NECS along with the technologies that enable them have become ubiquitous, there are few, if any, sources where a student, researcher, or developer can gain a su?ciently broad view of the subject. Oftentimes, the needed information is scattered in articles, websites, and speci?cation sheets. Such di?culties are perhaps to be expected, given the relative newness of the subject and the diversity...
Thishandbookwasmotivatedinpartbyourexperience(andthatofothers)in performing research and in teaching about networked and embedded control systems (NEC...
|
|
cena:
1089,52 zł |