![]() |
The Definitive Guide to Sqlite
ISBN: 9781430211662 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When I first began coding SQLite in the spring of 2000, I never imagined that it would be so enthusiastically received by the programming community. Today, there are millions and millions of copies of SQLite running unnoticed inside computers and gadgets made by hundreds of companies from around the world. You have probably used SQLite before without realizing it. SQLite might be inside your new cell phone or MP3 player or in the set-top box from your cable company. At least one copy of SQLite is probably found on your home computer; it comes built in on Apple's Mac OS X and on most versions...
When I first began coding SQLite in the spring of 2000, I never imagined that it would be so enthusiastically received by the programming community. T...
|
cena:
264,09 |
![]() |
Distributed Algorithms for Message-Passing Systems
ISBN: 9783642437434 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents core concepts and algorithms of distributed computing, covering distributed graph algorithms; logical time and global states; mutual exclusion and resource allocation; high-level communication abstractions;distributed shared memory and more.
This book presents core concepts and algorithms of distributed computing, covering distributed graph algorithms; logical time and global states; mutua...
|
cena:
264,09 |
![]() |
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings
ISBN: 9783319708478 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in N...
|
cena:
264,09 |
![]() |
Lectures on Runtime Verification: Introductory and Advanced Topics
ISBN: 9783319756318 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Pro React 16
ISBN: 9781484244500 / Angielski / Miękka / 745 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Formal Techniques for Distributed Objects, Components, and Systems: 40th Ifip Wg 6.1 International Conference, Forte 2020, Held as Part of the 15th In
ISBN: 9783030500856 / Angielski / Miękka / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Computational Thinking: A Perspective on Computer Science
ISBN: 9789811638473 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Fundamentals of Quantum Programming in Ibm's Quantum Computers
ISBN: 9783030635855 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Languages and Compilers for Parallel Computing: 33rd International Workshop, Lcpc 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers
ISBN: 9783030959524 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Computer Safety, Reliability, and Security: 41st International Conference, Safecomp 2022, Munich, Germany, September 6-9, 2022, Proceedings
ISBN: 9783031148347 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.
The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical... This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took pla...
|
cena:
264,09 |
![]() |
Learning Java: A Test-Driven Approach
ISBN: 9783031666377 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
264,09 |
![]() |
Interoperability in eGovernment through Cross-Ontology Semantic Web Service Composition
ISBN: 9783640942794 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
265,24 |
![]() |
UML - User Mode Linux: Ausbruch aus User Mode Linux
ISBN: 9783640337033 / Niemiecki / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bachelorarbeit aus dem Jahr 2007 im Fachbereich Informatik - Software, Note: 1, Fachhochschule Oberosterreich Standort Hagenberg (Computer- und Mediensicherheit), Sprache: Deutsch, Abstract: User-Mode-Linux ist eine Software, die sowohl in die Bereiche Benutzerprogramme, als auch Betriebssysteme zugeordnet werden kann. UML ist der Kategorie der Systemvirtualisierung zuzuordnen, dessen Funktionalitat sich von weiteren Virtualiserungstechnologien stark unterscheidet. Eine UML- Instanz wird vom Benutzer in einem Hostsystem als Benutzerprogramm gestartet und ohne Root-Privilegien am Hostsystem...
Bachelorarbeit aus dem Jahr 2007 im Fachbereich Informatik - Software, Note: 1, Fachhochschule Oberosterreich Standort Hagenberg (Computer- und Medien...
|
cena:
265,24 |
![]() |
Cloud-Computing: Kollaborationslösungen in der Public Cloud und Softwareplattformen für Private Clouds
ISBN: 9783656444442 / Niemiecki / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diplomarbeit aus dem Jahr 2012 im Fachbereich Informatik - Angewandte Informatik, Note: 1,3, Universitat Siegen, Sprache: Deutsch, Abstract: Ein wichtiger IT-Trend der vergangenen und wohl auch der kommenden Jahre ist Cloud-Computing. Nach einer Umfrage des BITKOM in der ITK-Branche, belegt Cloud-Computing zum dritten Mal in Folge den Spritzenplatz der wichtigsten Technologie- und Markttrends. Der Umsatz alleine in Deutschland betragt im Jahr 2012 5,3 Milliarden Euro. Dies stellt gegenuber dem Vorjahr eine Steigerung um 47 % dar. Bis 2016 soll der Markt vorrausichtlich auf 17 Milliarden Euro...
Diplomarbeit aus dem Jahr 2012 im Fachbereich Informatik - Angewandte Informatik, Note: 1,3, Universitat Siegen, Sprache: Deutsch, Abstract: Ein wicht...
|
cena:
265,24 |
![]() |
¿Cómo favorecer el Proceso de Enseñanza Aprendizaje en la Educación Primaria?: Softareas para favorecer el Proceso de Enseñanza Aprendizaje en la escu
ISBN: 9783656472278 / Hiszpański / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tesis de Maestria del ano 2013 en eltema Ciencias de la computacion - Aplicada, Nota: Excelente, Materia: 2012-2013, Idioma: Espanol, Resumen: En la investigacion se aborda un problema presentado en la practica pedagogica sobre como favorecer la elaboracion de softareas para su uso en el proceso de ensenanza aprendizaje, donde se toma como contenido los ejercicios basicos de adicion y sustraccion con sobrepaso en la escuela primaria Carlos Manuel de Cespedes, del municipio Cacocum. Para ello se proporciona un material docente que contiene Softareas. Las mismas estan encaminadas, desde un...
Tesis de Maestria del ano 2013 en eltema Ciencias de la computacion - Aplicada, Nota: Excelente, Materia: 2012-2013, Idioma: Espanol, Resumen: En la i...
|
cena:
265,24 |
![]() |
Relay Nodes in Big-Data Wireless Sensor Networks
ISBN: 9783656845003 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scientific Essay from the year 2014 in the subject Computer Science - Programming, grade: A, Jawaharlal Nehru University (Guru Nanak college of institutions and technology), course: CSE, language: English, abstract: Wireless Sensor Networks (WSNs) are increasingly used in data-intensive applications such as micro-climate monitoring, precision agriculture, and audio/video surveillance. A key challenge faced by data-intensive WSNs is to transmit all the data generated within an application's lifetime to the base station despite the fact that sensor nodes have limited power supplies. We propose...
Scientific Essay from the year 2014 in the subject Computer Science - Programming, grade: A, Jawaharlal Nehru University (Guru Nanak college of instit...
|
cena:
265,24 |
![]() |
Entwurfsmuster: Design Patterns in Der Objektorientierten Softwaretechnik
ISBN: 9783642636325 / Niemiecki / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
265,63 |
![]() |
Programmentwicklung Und Verifikation
ISBN: 9783211818671 / Niemiecki / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die entscheidenden Argumente fur die Korrektheit eines Programms konnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuhrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fur die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhangig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an...
Die entscheidenden Argumente fur die Korrektheit eines Programms konnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden,...
|
cena:
265,80 |
![]() |
Moderne C++ Programmierung: Klassen, Templates, Design Patterns
ISBN: 9783642214288 / Niemiecki / Twarda / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C++ ist eine objektorientierte Programmiersprache neben der Objektorientierung gewinnt aber die generische Programmierung zunehmend an Bedeutung. Das Buch liefert eine fundierte Darstellung des modernen Programmdesigns in C++ gemass dem ANSI- bzw. dem ISO-Standard. Der Autor behandelt zunachst die grundlegenden Sprachelemente von C++, dann erlautert er detailliert die klassische objektorientierte Modellierung sowie die modernen Techniken der generischen oder aspektorientierten Programmierung mittels Templates und Design Patterns."
C++ ist eine objektorientierte Programmiersprache neben der Objektorientierung gewinnt aber die generische Programmierung zunehmend an Bedeutung. Das ...
|
cena:
265,80 |
![]() |
Formalisieren Und Beweisen: Logik Für Informatiker
ISBN: 9783528147570 / Niemiecki / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzahlt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach " Der Computer rechnet und rechnet und gibt schliesslich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an," schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung...
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzahlt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ei...
|
cena:
265,80 |