wyszukanych pozycji: 106
![]() |
Sat-Based Scalable Formal Verification Solutions
ISBN: 9780387691664 / Angielski / Twarda / 2007 / 330 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for... Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devote... |
cena:
579,64 zł |
![]() |
Late Light: WINNER OF THE RICHARD JEFFERIES AWARD FOR NATURE WRITING
ISBN: 9781786581419 / Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych. 'Late Light brings the refreshing perspective of someone who goes from seeing England as a foreign place to someone who deeply studies its secret wonders. An astonishing read.' - Amy Liptrot, The Outrun This is a book about falling in love with vanishing things Late Light is the story of Michael Malay's own journey, an Indonesian Australian making a home for himself in England and finding strange parallels between his life and the lives of the animals he examines. Mixing natural history with memoir, this book explores the mystery of our animal neighbours, in all their richness and...
'Late Light brings the refreshing perspective of someone who goes from seeing England as a foreign place to someone who deeply studies its secret wond...
|
cena:
112,75 zł |
![]() |
A taste of Functional Programming in Scala
ISBN: 9781547018949 / Angielski / Miękka / 2017 / 262 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
43,22 zł |
![]() |
The Case of Mistress Mary Hampson: Her Story of Marital Abuse and Defiance in Seventeenth-Century England
ISBN: 9780804790550 / Angielski / Miękka / 2014 / 176 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The centerpiece of The Case of Mistress Mary Hampson is the autobiographical narrative of a 17th-century woman in an abusive and violent marriage. Composed at a time when marital disharmony was in vogue with readers and publishers, it stands out from comparable works, usually single broadsheets. In her own words, Mary recounts various dramatic and stressful episodes from her decades-long marriage to Robert Hampson and her strategies for dealing with it. The harrowing tale contains scenes of physical abuse, mob violence, abandonment, flight, and destitution. It also shows moments of...
The centerpiece of The Case of Mistress Mary Hampson is the autobiographical narrative of a 17th-century woman in an abusive and violent marria...
|
cena:
102,90 zł |
![]() |
Anne Clifford's Autobiographical Writing, 1590-1676
ISBN: 9781526117885 / Angielski / Miękka / 2018 / 336 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Lady Anne Clifford (15901676) was a prominent noble woman in the seventeenth century. During her long life she experienced the courts of Elizabeth, James and Charles I. She fought a decades long battle to secure her inheritance of the Clifford lands of the north, providing a spirited and legally robust defense of her rights despite the opposition of powerful men, including James I. She eventually inherited the Clifford lands, and she describes her subsequent struggles to reclaim her authority in these lands still mired in the civil wars. Her autobiographies reveal her joys and griefs within a...
Lady Anne Clifford (15901676) was a prominent noble woman in the seventeenth century. During her long life she experienced the courts of Elizabeth, Ja...
|
cena:
132,30 zł |
![]() |
Love Beyond Repair
ISBN: 9798649272155 / Angielski / Miękka / 2020 / 200 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
64,79 zł |
![]() |
Legal Regulation of Private Actors in Outer Space: India's Role
ISBN: 9780367344016 / Angielski / Twarda / 2019 / 294 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
678,70 zł |
![]() |
The Drunk Bird Chronicles
ISBN: 9789389231915 / Angielski / Miękka / 2019 / 400 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
115,21 zł |
![]() |
Kalki Evian: The Ring of Khaoriphea
ISBN: 9781625261885 / Angielski / Miękka / 2015 / 316 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
64,79 zł |
![]() |
The Case of Mistress Mary Hampson: Her Story of Marital Abuse and Defiance in Seventeenth-Century England
ISBN: 9780804786287 / Angielski / Twarda / 2014 / 176 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The centerpiece of The Case of Mistress Mary Hampson is the autobiographical narrative of a 17th-century woman in an abusive and violent marriage. Composed at a time when marital disharmony was in vogue with readers and publishers, it stands out from comparable works, usually single broadsheets. In her own words, Mary recounts various dramatic and stressful episodes from her decades-long marriage to Robert Hampson and her strategies for dealing with it. The harrowing tale contains scenes of physical abuse, mob violence, abandonment, flight, and destitution. It also shows moments of... The centerpiece of The Case of Mistress Mary Hampson is the autobiographical narrative of a 17th-century woman in an abusive and violent mar... |
cena:
452,47 zł |
![]() |
Sat-Based Scalable Formal Verification Solutions
ISBN: 9781441943415 / Angielski / Miękka / 2010 / 330 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for... Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devote... |
cena:
425,06 zł |
![]() |
Just My Type
ISBN: 9798643934806 / Angielski / Miękka / 2020 / 124 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
43,18 zł |
![]() |
Seraphim Sky
ISBN: 9780595274475 / Angielski / Miękka / 2003 / 276 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. "Seraphim Sky" is a fast-moving mystical adventure of sea, space, and the human spirit. In 1985, before the Space Shuttles "Challenger" and "Columbia" were tragically lost, Mike St. Pierre, a Navy intelligence officer and NASA astronaut, reaches beyond himself. He and his crewmates nearly lose their lives in space and yet this allows him an experience of flight that transcends his own body and the Earth. In the far reaches of the universe, in the depth of his own soul, and in the love of a tragically sad but beautiful woman, Mike finds answers to the mysteries of the universe, feels the...
"Seraphim Sky" is a fast-moving mystical adventure of sea, space, and the human spirit. In 1985, before the Space Shuttles "Challenger" and "Columbia"...
|
cena:
65,65 zł |
![]() |
Nanocosmeceuticals: Innovation, Application, and Safety
ISBN: 9780323910774 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 18-20 dni roboczych. |
cena:
779,25 zł |
![]() |
Seraphim Sky
ISBN: 9780595656776 / Angielski / Twarda / 2003 / 276 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. "Seraphim Sky" is a fast-moving mystical adventure of sea, space, and the human spirit. In 1985, before the Space Shuttles "Challenger" and "Columbia" were tragically lost, Mike St. Pierre, a Navy intelligence officer and NASA astronaut, reaches beyond himself. He and his crewmates nearly lose their lives in space and yet this allows him an experience of flight that transcends his own body and the Earth. In the far reaches of the universe, in the depth of his own soul, and in the love of a tragically sad but beautiful woman, Mike finds answers to the mysteries of the universe, feels the...
"Seraphim Sky" is a fast-moving mystical adventure of sea, space, and the human spirit. In 1985, before the Space Shuttles "Challenger" and "Columbia"...
|
cena:
106,81 zł |
![]() |
Naked Words (a Peace of Me)
ISBN: 9781090283382 / Angielski / Miękka / 2019 / 166 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
64,79 zł |
![]() |
Artificial Intelligence for Managers: Leverage the Power of AI to Transform Organizations & Reshape Your Career (English Edition)
ISBN: 9789389898385 / Angielski / Miękka / 2020 / 180 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
129,43 zł |
![]() |
The Figure of the Animal in Modern and Contemporary Poetry
ISBN: 9783030099794 / Angielski / Miękka / 2018 / 256 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
347,77 zł |
![]() |
Pattern Recognition and Machine Intelligence: 9th International Conference, PReMI 2021, Kolkata, India, December 15–18, 2021, Proceedings
ISBN: 9783031126994 / Angielski / Miękka / 2024 Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2021, held in December 2021. Due to COVID-19 pandemic the conference was held virtually.
This book constitutes the refereed proceedings of the 9th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2021, held i...
|
cena:
466,70 zł |
![]() |
Perception and Machine Intelligence: First Indo-Japan Conference, PerMIn 2012, Kolkata, India, January 12-13, 2011, Proceedings
ISBN: 9783642273865 / Angielski / Miękka / 2012 / 400 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the First Indo-Japanese conference on Perception and Machine Intelligence, PerMIn 2012, held in Kolkata, India, in January 2012. The 41 papers, presented together with 1 keynote paper and 3 plenary papers, were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections named perception; human-computer interaction; e-nose and e-tongue; machine intelligence and application; image and video processing; and speech and signal processing.
This book constitutes the proceedings of the First Indo-Japanese conference on Perception and Machine Intelligence, PerMIn 2012, held in Kolkata, Indi...
|
cena:
193,19 zł |