» książki » Computers - Computer Science
topmenu
 |
Introducing Software Verification with Dafny Language: Proving Program Correctness
ISBN: 9781484279779 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so you'll learn the concept of computation and software verification. Then, apply these...
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some...
|
cena:
127,12 |
 |
Iphoneography: How to Create Inspiring Photos with Your Smartphone
ISBN: 9781484217566 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces you to professional photography and composition principles, tricks and techniques of iphoneography, photosharing, and more.
Do you have a smartphone with you right now? If you do, along with this book, you've got everything you need to make amazing photography. The first three chapters of the book use digital photography history to give you an overview of the capabilities that you can employ, and the remainder of the book is focused on hands on techniques of iphoneography so that you are getting professional results. This title uses the iPhone and iPhone apps... This book introduces you to professional photography and composition principles, tricks and techniques of iphoneography, photosharing, and more.
Do... |
cena:
127,12 |
 |
Schaum's Outline of Fundamentals of Computing with C++
ISBN: 9780070308688 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This powerful study tool is the best tutor you can have if you want top grades and thorough understanding of the fundamentals of computing with C++, the computing language taught at 83% of all colleges. This student-friendly study guide leads you step-by-step through the entire computer science course, giving you 420 problems with fully worked solutions and easy-to-follow examples for every new topic. You get complete explanations of data abstraction, recursion, Standard C++ container classes, searching, sorting algorithms, and other complex concepts, simplified and illustrated so they're...
This powerful study tool is the best tutor you can have if you want top grades and thorough understanding of the fundamentals of computing with C++, t...
|
cena:
127,17 |
 |
Mathematics and Technology
ISBN: 9780387692159 / Angielski / Twarda / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Of what use is mathematics? Hasn t everything in mathematics already been disc- ered? Thesearenaturalquestionsoftenaskedbyundergraduates. Theanswersprovided by their professors are often quite brief. Most university courses, pressed for time and rigidly structured, o?er little opportunity to present and study actual applications and real-world examples. Evenmorehigh-schoolstudentsaskthesamequestionswithmoreinsistence. Tea- ers in these schools generally work under even tighter constraints than university prof- sors. If they are able to competently respond to these questions it is probably...
Of what use is mathematics? Hasn t everything in mathematics already been disc- ered? Thesearenaturalquestionsoftenaskedbyundergraduates. Theanswerspr...
|
cena:
127,26 |
 |
Mathematics and Technology
ISBN: 9781441924070 / Angielski / Miękka / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Of what use is mathematics? Hasn t everything in mathematics already been disc- ered? Thesearenaturalquestionsoftenaskedbyundergraduates. Theanswersprovided by their professors are often quite brief. Most university courses, pressed for time and rigidly structured, o?er little opportunity to present and study actual applications and real-world examples. Evenmorehigh-schoolstudentsaskthesamequestionswithmoreinsistence. Tea- ers in these schools generally work under even tighter constraints than university prof- sors. If they are able to competently respond to these questions it is probably...
Of what use is mathematics? Hasn t everything in mathematics already been disc- ered? Thesearenaturalquestionsoftenaskedbyundergraduates. Theanswerspr...
|
cena:
127,26 |
 |
Fashionable Technology : The Intersection of Design, Fashion, Science and Technology
ISBN: 9783990432259 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this compact introduction to the theory and application of electronic textiles and wearable technology, practical applications are explained in detail and clarified by many illustrations. Unpublished projects by many designers and companies are included.
In this compact introduction to the theory and application of electronic textiles and wearable technology, practical applications are explained in det...
|
cena:
127,27 |
 |
Sicherheit in Kommunikationsnetzen
ISBN: 9783486720167 / Niemiecki / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fast taglich werden neue Angriffe auf IT-Systeme bekannt, bei denen sensible Daten entwendet werden. Das vorliegende Buch vermittelt die wesentlichen Grundlagen und Technologien, die zur Absicherung von Computernetzwerken benotigt werden. Stets legen die Autoren dabei Wert auf eine verstandliche Darstellung, die - soweit moglich - auf abstrakte Modelle und formalen Notationen verzichtet. Zu jedem Kapitel werden Aufgaben zur Kontrolle von Wissensstand und Verstandnis angeboten.
Fast taglich werden neue Angriffe auf IT-Systeme bekannt, bei denen sensible Daten entwendet werden. Das vorliegende Buch vermittelt die wesentlichen ...
|
cena:
127,27 |
 |
Erfolg
ISBN: 9783486256161 / Niemiecki / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wer will nicht effizient arbeiten und entscheiden? Prof. Nagel hat auf dem Hintergrund 30jahriger Erfahrung bewahrte Erfolgstechniken, Ubersichten, Anregungen, Checklisten zusammengestellt und durch eigene Erfahrungen erganzt. Das Spektrum reicht von Methoden des Zeitmanagements uber optimale Gestaltung von Gruppenarbeit bis zu Hinweisen fur den Lernerfolg. Anhand von 15 Tests konnen Sie Ihre Personlichkeitsstruktur erstellen und lernen so Ihre Starken und Schwachen besser kennen und einzuordnen.
Wer will nicht effizient arbeiten und entscheiden? Prof. Nagel hat auf dem Hintergrund 30jahriger Erfahrung bewahrte Erfolgstechniken, Ubersichten, An...
|
cena:
127,27 |
 |
Klausurvorbereitung Zur Einführung in Die Informatik: Aufgaben Zur Praktischen Und Technischen Informatik
ISBN: 9783486731804 / Niemiecki / Twarda / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Vorlesungen zur praktischen und technischen Informatik gehoren zum Pflichtprogramm eines jeden Informatikstudenten. Die Aufgabensammlung bietet uber 200 Ubungsaufgaben aus 8 Semestern. Sie ist die ideale Erganzung zu den Kapiteln zur praktischen und technischen Informatik der "Einfuhrung in die Informatik" von Prof. Gumm und Prof. Sommer. Mit ausfuhrlich vorgerechneten Beispielaufgaben wird in jedes Themengebiet eingefuhrt. Zu den zahlreichen Aufgaben gibt es Losungen zur Kontrolle. Klausuren am Ende eines jeden Themenbereichs erlauben eine optimale Prufungsvorbereitung.
Vorlesungen zur praktischen und technischen Informatik gehoren zum Pflichtprogramm eines jeden Informatikstudenten. Die Aufgabensammlung bietet uber 2...
|
cena:
127,27 |
 |
Mensch-Maschine-Interaktion
ISBN: 9783486716214 / Niemiecki / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses kompakte Grundlagen-Lehrbuch orientiert sich in Inhalt und Aufbau an einer einfuhrenden Vorlesung zum Thema Mensch-Maschine-Interaktion und lehnt sich an das von der Association for Computing Machinery (ACM) vorgeschlagene Dieses kompakte Grundlagen-Lehrbuch orientiert sich in Inhalt und Aufbau an einer einfuhrenden Vorlesung zum Thema Mensch-Maschine-Interaktion und ... |
cena:
127,27 |
 |
Informatik
ISBN: 9783110496864 / Niemiecki / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die praktische Informatik lebt vom Ausprobieren verschiedener Losungswege, dem Experimentieren mit Programmkonstrukten und Algorithmen, und allgemein vom "Selbermachen." Darauf baut das didaktische Konzept des Buchs auf: Anhand einer Vielzahl an Aufgaben kann der Student die prasentierten Konzepte selbst erfahren, mit Ihnen arbeiten und so die eigentlichen Probleme der Informatik wirklich verstehen.
Die praktische Informatik lebt vom Ausprobieren verschiedener Losungswege, dem Experimentieren mit Programmkonstrukten und Algorithmen, und allgemein ...
|
cena:
127,27 |
 |
Passing the Ict Skills Test
ISBN: 9780857252562 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All trainee teachers hoping to gain Qualified Teacher Status (QTS) need to pass a computerised ICT skills test. The test is designed to ensure all those qualifying as teachers have a sound grasp of fundamental ICT skills such as databases, word processing and the Internet and can apply these in their work both in and out of the classroom.
This text outlines the test requirements and explains the basic subject knowledge essential to completing the test. The fourth edition is fully updated to comply with the latest TDA standards and includes new self-assessment questions.
All trainee teachers hoping to gain Qualified Teacher Status (QTS) need to pass a computerised ICT skills test. The test is designed to ensure all tho...
|
cena:
127,29 |
 |
AI for Healthcare Robotics
ISBN: 9781032061283 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
 |
AI for Scientific Discovery
ISBN: 9781032124841 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: 1-3 dni roboczych AI for Scientific Discovery provides an accessible introduction to the wide-ranging applications of artificial intelligence technologies in scientific research and discovery across the full breadth of scientific disciplines.
AI for Scientific Discovery provides an accessible introduction to the wide-ranging applications of artificial intelligence technologies in scientific...
|
108,20 |
 |
Educating Girls: Practice and Research
ISBN: 9781138051171 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
 |
AI for Learning
ISBN: 9781032039213 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
 |
AI for the Sustainable Development Goals
ISBN: 9781032044064 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
 |
AI for School Teachers
ISBN: 9781032037714 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
 |
AI for Radiology
ISBN: 9780367627256 / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
 |
AI for Cars
ISBN: 9780367565190 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
127,29 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
