![]() |
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
ISBN: 9783642224379 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011.
The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving,... This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/...
|
cena:
202,19 |
![]() |
solidworks for technology and engineering
ISBN: 9780831134518 / Angielski / Miękka / 900 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Unique and thorough
SolidWorks for Technology and Engineering, Second Edition, provides a comprehensive introduction for students. Little or no prior experience is needed to... Unique and thorough
|
cena:
482,70 |
![]() |
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ISBN: 9783642241291 / Angielski / Miękka / 403 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision,...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third In...
|
cena:
202,19 |
![]() |
Multiagent System Technologies: 8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings
ISBN: 9783642246029 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 9th German Conference on Multiagent System Technologies held in Germany, in October 2011.
Constitutes the proceedings of the 9th German Conference on Multiagent System Technologies held in Germany, in October 2011.
|
cena:
202,19 |
![]() |
Übungsbuch Datenbanksysteme
ISBN: 9783486708233 / Niemiecki / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch "Datenbanksysteme" von Alfons Kemper wurde durch seinen uberragenden didaktischen Aufbau und eine verstandliche Aufbereitung des komplexen Stoffen zu einem absoluten Klassiker im Lehrbuchbereich. Die Autoren geben Ihnen nun ein Ubungsbuch an die Hand, in dem die Losungen zu den im Buch vorgestellten Ubungsaufgaben gezeigt und erklart werden. Umfangreiche Download-Materialien erganzen die Buchinhalte und geben Ihnen die Moglichkeit, den Stoff zu verinnerlichen."
Das Buch "Datenbanksysteme" von Alfons Kemper wurde durch seinen uberragenden didaktischen Aufbau und eine verstandliche Aufbereitung des komplexen St...
|
cena:
149,22 |
![]() |
Open Linked Data, Open Government Data Sets
ISBN: 9783640930586 / Angielski / Miękka / 28 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seminar paper from the year 2011 in the subject Computer Science - Applied, grade: 2,0, University of Koblenz-Landau (Institut fur Wirtschafts- und Verwaltungsinformatik), course: Anwendugnen der Verwaltungsinformatik, language: English, abstract: Since late 2009 there has been a tendency towards a previously unknown openness in providing governmental data to the public. Valuable data sources are opened not only to selected scientists, but everybody who has internet connection available. The following shall be an overview on Open Linked Data, Government Data Sets and how they are made...
Seminar paper from the year 2011 in the subject Computer Science - Applied, grade: 2,0, University of Koblenz-Landau (Institut fur Wirtschafts- und Ve...
|
cena:
152,51 |
![]() |
Adjuvant Therapy for Breast Cancer
ISBN: 9781461417163 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adjuvant treatment is administered prior to or as follow up to surgical procedures for breast cancer. Proven success in using medical therapies allowing for breast conserving procedures or reducing risk of occurrence. Although there has been much progress towards a cure, including the introduction of new targeted therapies, metastasizing cancer remains highly incurable. Adjuvant treatment is administered prior to or as follow up to surgical procedures for breast cancer. Proven success in using medical therapies all... |
cena:
1011,11 |
![]() |
Ein semantisches Netz für die virtuelle Hochschule. Konzeption, Entwicklung, Nutzungskonzepte
ISBN: 9783867466936 / Niemiecki / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diplomarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Note: 2, Evangelische Hochschule Darmstadt, ehem. Evangelische Fachhochschule Darmstadt, Sprache: Deutsch, Abstract: Der theoretische Teil der vorliegenden Arbeit stellt die verschiedenen Aspekte semantischer Netze dar. Dies sind zum einen das Konzept semantischer Netze und zum anderen Nutzungskonzepte allgemeiner Art. Das im praktischen Teil zu verwendende Modellierungswerkzeug K-Infinity der Firma intelligent views GmbH wird beschrieben und auf dessen Besonderheiten im Hinblick auf die Implementierung des...
Diplomarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Note: 2, Evangelische Hochschule Darmstadt, ehem. Evangelische Fachh...
|
cena:
321,53 |
![]() |
Flask Framework Cookbook
ISBN: 9781783983407 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
205,99 |
![]() |
Building on Sugarcrm: Creating Applications the Easy Way
ISBN: 9781449309800 / Angielski / Miękka / 82 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the crowded field of customer relationship management (CRM) systems, SugarCRM stands out not only for its modular design, but also for the ease with which you can develop, customize, and extend your CRM applications. This concise book provides a thorough overview of the development tools and APIs available in SugarCRM 6.2, showing both developers and nondevelopers alike how to use them to build a sample application step-by-step. You'll learn how to bend and twist SugarCRM s extensible MVC framework to create custom applications, including solutions for automating your business... In the crowded field of customer relationship management (CRM) systems, SugarCRM stands out not only for its modular design, but also for the ease ... |
cena:
82,27 |
![]() |
Building Web Applications with ERLANG: Working with Rest and Web Sockets on Yaws
ISBN: 9781449309961 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why choose Erlang for web applications? Discover the answer hands-on by building a simple web service with this book. If you re an experienced web developer who knows basic Erlang, you ll learn how to work with REST, dynamic content, web sockets, and concurrency through several examples. In the process, you ll see first-hand that Erlang is ideal for building business-critical services. Erlang was designed for fault-tolerant, non-stop telecom systems, and building applications with it requires a large set of skills. By the end of the book, you ll have the information you need to build... Why choose Erlang for web applications? Discover the answer hands-on by building a simple web service with this book. If you re an experienced web ... |
cena:
82,27 |
![]() |
Sharepoint für Projektmanager: Unterstützung von Projektleitern durch IT-Systeme
ISBN: 9783640596737 / Niemiecki / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Masterarbeit aus dem Jahr 2009 im Fachbereich Informatik - Angewandte Informatik, Note: 2, Universitat Salzburg (Fachbereich Computerwissenschaften), Sprache: Deutsch, Abstract: Im Laufe eines Projektes werden unterschiedlichste Dokumente erzeugt, die den am Projekt Beteiligten, je nach ihren Aufgaben, in aktueller Form zuganglich sein mussen. Das ist fur groe Projekte nur computergestutzt moglich. Diese Dokumente mussen hinsichtlich ihres Status klar gekennzeichnet sein. Die sich teilweise dynamisch andernden Dokumente werden nicht nur abgelegt, die betroffenen Teammitglieder mussen bei...
Masterarbeit aus dem Jahr 2009 im Fachbereich Informatik - Angewandte Informatik, Note: 2, Universitat Salzburg (Fachbereich Computerwissenschaften), ...
|
cena:
377,86 |
![]() |
Microsoft SharePoint(R) Lösungspaket zur Visualisierung von Geostandorten: Ausbildung zum Fachinformatiker für Anwendungsentwicklung
ISBN: 9783640760237 / Niemiecki / Miękka / 60 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Projektarbeit aus dem Jahr 2010 im Fachbereich Informatik - Software, Note: 1.6, Sprache: Deutsch, Abstract: Im Rahmen einer Losungsentwicklung fur eine Microsoft Sharepoint Plattform war die Aufgabe meiner Projektarbeit die Entwicklung eines Sharepoint Webparts mit Google Maps Funktionalitat auf Grundlage von C# und ASP.NET fur einen Kunden von EVES-IT. Das Webpart soll dem Benutzer ermoglichen die Google Maps Funktionalitat der Visualisierung von ausgewahlten adressbezogenden Standortdaten einer Geokarte aus dem Sharepoint System heraus zu verwenden. Die Visualisierung der Standortdaten...
Projektarbeit aus dem Jahr 2010 im Fachbereich Informatik - Software, Note: 1.6, Sprache: Deutsch, Abstract: Im Rahmen einer Losungsentwicklung fur ei...
|
cena:
203,22 |
![]() |
Planung und Kalkulation eines Notebook-Systems gemäß Kundenauftrag einschl. Anforderungsanalyse, Beratung und Schulung : Externes Projekt
ISBN: 9783640768868 / Niemiecki / Miękka / 28 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Projektarbeit aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: 1, Veranstaltung: Abschlussprufung Sommer 2008, Sprache: Deutsch, Abstract: Eine 54jahrige Kundin ohne IT-Erfahrung mochte ein Notebook erwerben. Der Zugang ins Internet kann nur mit einer WLAN-Losung erfolgen. Dies ist notwendig, da keinerlei technische Voraussetzungen wie z. B. ISDN-DSL vorhanden sind. Die Tochter der Kundin lebt im gleichen Haus und nutzt vorwiegend geschaftlich das eigene Notebook. Unsere Kundin mochte ihre Tochter bei der Arbeit unterstutzen. Aus diesem Grund ist die...
Projektarbeit aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: 1, Veranstaltung: Abschlussprufung Sommer 2008, Sprache: Deut...
|
cena:
152,51 |
![]() |
Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
ISBN: 9783642230585 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011. This book contains the papers that address research from computer science, management information science, service-oriented computing, and technology management.
Constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, i...
|
cena:
202,19 |
![]() |
Electronique Appliquée, Electromécanique Sous Simscape & Simpowersystems (Matlab/Simulink)
ISBN: 9783642242007 / Francuski / Miękka / 664 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cet ouvrage permet d apprendre a utiliser les Outils Simscape et SimpowerSystems pour modeliser et simuler des circuits electroniques, electromecaniques et electronique de puissance. Pour utiliser ces deux outils, la connaissance de MATLAB et SIMULINK est indispensable. Cet ouvrage possedetrois types de chapitres: prise en main de l outil, description des differentes bibliotheques avec quelques applications et enfin chapitre d applications tres utilisees dans les domaines universitaires et industriels."
Cet ouvrage permet d apprendre a utiliser les Outils Simscape et SimpowerSystems pour modeliser et simuler des circuits electroniques, electromecaniqu...
|
cena:
219,22 |
![]() |
Advances in Command, Control and Communication Systems
ISBN: 9780863410949 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes some of the developments in Command, Control and Communication systems.
This book describes some of the developments in Command, Control and Communication systems.
|
cena:
597,98 |
![]() |
Managing Complexity in Software Engineering
ISBN: 9780863411717 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software engineering products are becoming ever more complex, because software is being used in the solution of more technically difficult problems and because the size of software projects continues to grow. A key question for software engineers is how to cope with this complexity. There is no single answer, and software engineers must attack the problem from a number of perspectives. A technical perspective reveals new paradigms for system development, including two paradigms that show particular promise: object-oriented design and formal methods. A management perspective recognises that...
Software engineering products are becoming ever more complex, because software is being used in the solution of more technically difficult problems an...
|
cena:
412,76 |
![]() |
Knowledge Discovery and Data Mining
ISBN: 9780852967676 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book reviews some of the underlying technologies and also some recent applications in a number of fields. In a world increasingly overloaded with data of varying quality, not least via the Internet, computerised tools are becoming useful to -mine- useful data from the mass available.
This book reviews some of the underlying technologies and also some recent applications in a number of fields. In a world increasingly overloaded with...
|
cena:
484,79 |
![]() |
Software and Network Engineering
ISBN: 9783642286698 / Angielski / Twarda / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence - quickly and with a high quality. The intent is to cover the theory, applications, and design methods of computational intelligence, as embedded in the fields of engineering, computer science, physics and life science, as well as the methodologies behind them. The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas of neural networks, connectionist systems, genetic algorithms,... The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence... |
cena:
404,42 |