M-Solid Varieties of Algebras
ISBN: 9781489996626 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on M-solid varieties of semirings and semigroups. The book aims to develop the theory of M-solid varieties as a system of mathematical discourse that is applicable in several concrete situations. It applies the general theory to two classes of algebraic structures, semigroups and semirings. Both these varieties and their subvarieties play an important role in computer science. A... M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational theory of univers... |
|
cena:
389,98 zł |
Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Revised Selected Papers
ISBN: 9783319148052 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Si...
|
|
cena:
156,01 zł |
Practical Common LISP
ISBN: 9781430211617 / Angielski / Miękka / 501 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Lisp is often thought of as an academic language, but it need not be. This is the first book that introduces Lisp as a language for the real world. Practical Common Lisp presents a thorough introduction to Common Lisp, providing you with an overall understanding of the language features and how they work. Over a third of the book is devoted to practical examples, such as the core of a spam filter and a web application for browsing MP3s and streaming them via the Shoutcast protocol to any standard MP3 client software (e.g., iTunes, XMMS, or WinAmp). In other "practical"... Lisp is often thought of as an academic language, but it need not be. This is the first book that introduces Lisp as a language for the real world.... |
|
cena:
292,48 zł |
Practical Ocaml
ISBN: 9781430211945 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Objective Caml (OCaml) is an open source programming language that allows you to utilize both functional and object-oriented programming. Sporting features such as a robust object system, type safety, and an expansive standard library, OCaml is a language that encourages pragmatic solutions instead of dogmatic ones. Boasting performance on par with the likes of C/C++, and having compilers available for a variety of platforms, including Windows, Unix, Linux, and Mac OS X, enterprise developers should consider adding this powerful language to their repertoire. Written for experienced... Objective Caml (OCaml) is an open source programming language that allows you to utilize both functional and object-oriented programming. Sporting ... |
|
cena:
292,48 zł |
Revenue Management am Beispiel von Airline Revenue Management
ISBN: 9783638646673 / Niemiecki / Miękka / 40 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: gut, Universitat zu Koln (Seminar fur WI und OR), Veranstaltung: Hauptseminar zum Operations Research, 18 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Ziel des Revenue Managements ist es, durch den Einsatz von Methoden des Operations Research zusatzliche Erlospotentiale, die sich insbesondere aus unterschiedlichen Preisbereitschaften der Kunden ergeben, moglichst weitgehend auszunutzen. Die Grundidee des Revenue Management ist dabei die folgende: man mochte heute etwas nicht zu einem...
Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: gut, Universitat zu Koln (Seminar fur WI und OR), Veranstaltu...
|
|
cena:
193,44 zł |
Der 'Gläserne Mensch'
ISBN: 9783640858811 / Niemiecki / Miękka / 36 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Allgemeines, Note: 1,3, Carl von Ossietzky Universitat Oldenburg, Veranstaltung: Seminar: Ethische Fragen der Informatik, 22 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Abstract Dieses Referat soll klaren wie Datenschutz in Deutschland bewertet werden kann. Die Grundaussage oder -frage stellt sich bereits im Titel: "Der glaserne Mensch." Um eine Bewertung des Lesers zu ermoglichen werden Rechtsprechung und konkrete Datenerhebungen besprochen. Daruber hinaus wird basierend auf den Erkenntnissen ein ethischer...
Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Allgemeines, Note: 1,3, Carl von Ossietzky Universitat Oldenburg, Veranstaltung: Seminar: ...
|
|
cena:
184,43 zł |
Test und Bewertung eines betriebswirtschaftlichen Anwendungssoftware-Systems
ISBN: 9783640859627 / Niemiecki / Miękka / 34 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Hochschule Niederrhein in Monchengladbach (-), Sprache: Deutsch, Abstract: In unserer heutigen Gesellschaft ist der Einsatz von Computersystemen nicht mehr wegzudenken. Im Gegenteil: Computersysteme dringen mehr und mehr in alle Bereiche unseres Lebens vor. Fur den Betrieb von Computern kommt dabei der Software eine Schlusselrolle zu. Sie ist, durch den Mikroprozessoreinsatz bedingt, ein wesentlicher Bestandteil industrieller Produkte und Anlagen, ein unverzichtbares Hilfsmittel in der Verwaltung, in...
Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Hochschule Niederrhein in Monchengladbach (-), Sprache: ...
|
|
cena:
178,11 zł |
Entwicklung eines Werkzeugs zur Modellierung von Geschäftsprozessen: Mikropolitische Analyse von Prozessen und Problemen des Qualitätsmanagements
ISBN: 9783656457343 / Niemiecki / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diplomarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 2,0, Otto-Friedrich-Universitat Bamberg, Sprache: Deutsch, Abstract: Diese Arbeit fasst 2 sehr unterschiedliche Themen zusammen: 1. Geschaftsprozessmodellierung mit der Entwicklung einer Beispielapplikation in Visio 2. Mikropolitik Diese Themen wurden unter dem Gesichtspunkt des Qualitatsmanagements vereint. Nach nunmehr 3 Jahren Berufserfahrung kann ich sagen, dass der mikropolitische Ansatz ein realistischer und nutzlicher Ansatz fur die Sichtweise auf die Prozesse einer Organisation ist. Ich halte es...
Diplomarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 2,0, Otto-Friedrich-Universitat Bamberg, Sprache: Deutsch, Abs...
|
|
cena:
319,70 zł |
VB Scripting for CATIA V5: How to Program CATIA Macros
ISBN: 9781506169514 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Are you tired of repeating those same time-consuming CATIA processes over and over? Worn out by thousands of mouse clicks? Don't you wish there were a better way to do things? What if you could rid yourself those hundreds of headaches by teaching yourself how to program macros while impressing your bosses and coworkers in the process? VB Scripting for CATIA V5 is the most complete guide to teach you how to write macros for CATIA V5 Through a series of example codes and tutorials you'll learn how to unleash the full power and potential of CATIA V5. No programming experience is required This...
Are you tired of repeating those same time-consuming CATIA processes over and over? Worn out by thousands of mouse clicks? Don't you wish there were a...
|
|
cena:
284,58 zł |
Process Assessment and Improvement: A Practical Guide
ISBN: 9781489993304 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through process assessment, combined with people factors such as organizational culture and team-based improvement. Originally published in 2004 as the first practical guide to the emerging ISO/IEC 15504 standard, this second edition presents an updated version of process assessments and includes new risk methods. The book covers three major business reasons for process assessment: setting Target Profiles, Process Capability Determination, and Process... Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through proces... |
|
cena:
585,00 zł |
Mastering Scientific Computing with R
ISBN: 9781783555253 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
264,50 zł |
Database e linguaggio SQL: Imparare in breve tempo le nozioni fondamentali sui database e a lavorare con il linguaggio SQL
ISBN: 9781507897423 / Włoski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Questo libro spiega i concetti di base per progettare database, con particolare riferimento al modello relazionale. Dopo una panoramica dei DBMS presenti sul mercato, si prendono in esame la storia e la sintassi del linguaggio SQL, fornendo numerosi esempi pratici ed esercizi secondo l'approccio tipico dell'analista informatico. Nel libro si fa riferimento alle implementazioni del linguaggio SQL e delle sue funzioni nei DBMS piu famosi come Oracle, SQL Server, MySQL e PostgreSQL."
Questo libro spiega i concetti di base per progettare database, con particolare riferimento al modello relazionale. Dopo una panoramica dei DBMS prese...
|
|
cena:
121,75 zł |
Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softw
ISBN: 9783662466629 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length. This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Co... |
|
cena:
187,22 zł |
Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783662466681 / Angielski / Miękka / 838 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions. This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held... |
|
cena:
389,98 zł |
Transactions on Aspect-Oriented Software Development XII
ISBN: 9783662467336 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 12th in the Transactions on...
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniqu...
|
|
cena:
194,97 zł |
Perspectives of System Informatics: 9th International Ershov Informatics Conference, Psi 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selec
ISBN: 9783662468227 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions.
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, ...
|
|
cena:
194,97 zł |
Descriptive Tools for Electronic Processing of Dictionary Data: Studies in Computational Lexicography. Mit Einer Deutschen Zusammenfassung / Avec Un R
ISBN: 9783484309203 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With Summaries in German & French.
With Summaries in German & French.
|
|
cena:
479,28 zł |
NASA Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, Usa, April 27-29, 2015, Proceedings
ISBN: 9783319175232 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development;... This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in A... |
|
cena:
194,97 zł |
Design and Implementation of the Mtx Operating System
ISBN: 9783319175744 / Angielski / Twarda / 539 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete source code and working sample systems are used to exhibit the techniques discussed. The book contains many new materials on the design and use of parallel algorithms in SMP. Complete coverage on... This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like s... |
|
cena:
467,99 zł |
Python for Arcgis
ISBN: 9783319183978 / Angielski / Twarda / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming skills for automating GIS analysis. Over 200 sample Python scripts and 175 classroom-tested exercises reinforce the learning objectives. Readers will learn to: Write and run Python in the ArcGIS Python Window, the PythonWin IDE, and the PyScripter IDE Work with Python syntax and data types Call ArcToolbox tools, batch process GIS datasets, and manipulate map documents using the arcpy package Read and modify proprietary and ASCII text GIS data Parse...
This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming ski...
|
|
cena:
428,99 zł |