» książki » Computers - Languages - General
topmenu
 |
Sysml for Systems Engineering: A Model-Based Approach
ISBN: 9781849196512 / Angielski / Twarda / 952 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a practical guide on how best to apply systems modelling using the latest version of the SysML to real projects and businesses.
SysML is a tailored version of the unified modelling language (UML) that meets the needs of today's systems engineering professional. This second edition of SysML for Systems Engineering provides a thorough introduction to the language and considers how best to apply it to projects and businesses using model-based systems engineering (MBSE). This new edition of this popular text has been fully updated to reflect SysML 1.3, the... This is a practical guide on how best to apply systems modelling using the latest version of the SysML to real projects and businesses.
Sys... |
cena:
562,80 |
 |
Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings
ISBN: 9783642336089 / Angielski / Miękka / 187 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012. The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining.
This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France,...
|
cena:
187,35 |
 |
Wissensbasiertes Case: Theoretische Analyse Empirische Untersuchung Entwicklung Eines Prototyps
ISBN: 9783528052980 / Niemiecki / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Infolge der zunehmenden Komplexitat rechnergestutzter betrieblicher Informations systeme bei gleichzeitig gestiegenen Qualitatsanforderungen sind in den letzten Jah ren verstarkt Bemuhungen zur Automatisierung des Software-Entwicklungsprozes ses zu verzeichnen. Die unter dem Schlagwort "Computer Aided Software Enginee ring (CASE)" entwickelten Methoden und Werkzeuge haben jedoch in der Praxis die teilweise sehr hohen Erwartungen bislang nicht erfullt. Eine wesentliche Ursache hierfur ist die Tatsache, dass die gegenwartigen CASE-Werkzeuge zwar die Durch fuhrung administrativer Tatigkeiten des...
Infolge der zunehmenden Komplexitat rechnergestutzter betrieblicher Informations systeme bei gleichzeitig gestiegenen Qualitatsanforderungen sind in d...
|
cena:
209,31 |
 |
Programmieren Mit C++ Version 3: Eine Anleitung Für Studium Und Praxis
ISBN: 9783528053246 / Niemiecki / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch ist eine Einftihrung in C++-Version 3. Es wendet sich an alle, die den Einstieg in eine sehr zukunftstrachtige Programmiersprache im Selbststudium betreiben wollen. Zum anderen bietet dieses Buch denjenigen, die die AT&T C++-Versionen 1.2 und 2.0 bereits kennen, die Moglichkeit, die neueste Version 3 in kurzer Zeit zu erlernen. Zusatzlich dient dieses Buch u.a. durch den Anhang und das ausfUhrliche Register als schnelles Nachschlagewerk fUr praktische Probleme und ist durch seinen Autbau (mit Aufgaben und ausfUhrlichen MusterlOsungen) als Lehrbuch geeignet. Der Inhalt samt der...
Dieses Buch ist eine Einftihrung in C++-Version 3. Es wendet sich an alle, die den Einstieg in eine sehr zukunftstrachtige Programmiersprache im Selbs...
|
cena:
209,31 |
 |
Einführung Von Cscw-Systemen in Organisationen: Tagungsband Der D-Cscw' 94
ISBN: 9783528054496 / Niemiecki / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. diesem Zusammenhang zu diskutierenden und analysierenden Punkte ergeben sich in allen Phasen des Einfiihrnngsprozesses: Ziele der Einftihrung und damit verbundene Probleme, z.B. Integration in ein betriebliches Zielsystem, Messung des Zielerreichungsgrades; Workflow- und ProzeBanalyse in den relevanten Bereichen; Strategien der Einftihrnng von CSCW -Systemen; Autbau- und ablauforganisatorische Auswirkungen der Einfiihrnng; Werkzeuge und Hilfsmittel zur Einftihrung von Systemen der eomputerun terstiitzten Gruppenarbeit. Neben einer Reihe von theoretisehen Aspekten der Einfiihrnng sollte aueh...
diesem Zusammenhang zu diskutierenden und analysierenden Punkte ergeben sich in allen Phasen des Einfiihrnngsprozesses: Ziele der Einftihrung und dami...
|
cena:
209,31 |
 |
Das Vieweg Latex-Buch: Eine Praxisorientierte Einführung
ISBN: 9783528151454 / Niemiecki / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,31 |
 |
Algorithmic Language and Program Development
ISBN: 9783642618093 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather with their commonalities. The task of formal program develop It allows classifying ment proved to be the ideal frame for demonstrating this unity. concepts and distinguishing fundamental notions from notational features; and it leads immediately to a systematic disposition. This approach is supported by didactic, practical, and theoretical considerations. The clarity of the structure of a...
The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the d...
|
cena:
203,61 |
 |
Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments
ISBN: 9783642640551 / Angielski / Miękka / 629 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them. Application systems invariably involve the long-term storage of data over months or years. Much unnecessary complexity obstructs the construction of these systems when conventional databases, file systems, operating systems, communication systems, and programming languages are used. This complexity limits the sophistication of the systems that can be built, generates operational and usability problems, and...
Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the ...
|
cena:
515,17 |
 |
Digital Assassination: Protecting Your Reputation, Brand, or Business Against Online Attacks
ISBN: 9781250013699 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Two leading reputation experts reveal how the internet is being used to destroy brands, reputations and even lives, and how to fight back. Two top media experts recount vivid tales of character attacks, provide specific advice on how to counter them, and how to turn the tables on the... Two leading reputation experts reveal how the internet is being used to destroy brands, reputations and even lives, and how to fight back. |
cena:
90,28 |
 |
Mensch & Computer 2013 - Workshopband: 13. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien
ISBN: 9783486778557 / Niemiecki / Miękka / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mensch & Computer ist die jahrliche Tagung des Fachbereichs Mensch-Computer-Interaktion der Gesellschaft fur Informatik (GI) und die fuhrende Veranstaltung zu diesem Thema im deutschsprachigen Raum. Hier treffen sich Personen aus Wissenschaft und Praxis, um neueste Forschungsergebnisse zu diskutieren, Erfahrungen auszutauschen und neue Produkte und Methoden kennen zu lernen. Die Tagung bietet Einblicke in die Entwicklungen in den Bereichen Usability, User Experience, Mensch-Computer-Interaktion und Gestaltung interaktiver Medien. Die Fachtagung Mensch & Computer 2013 in Bremen steht unter dem...
Mensch & Computer ist die jahrliche Tagung des Fachbereichs Mensch-Computer-Interaktion der Gesellschaft fur Informatik (GI) und die fuhrende Veransta...
|
cena:
515,70 |
 |
Mensch & Computer 2013 - Tagungsband: 13. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien
ISBN: 9783486778564 / Niemiecki / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mensch & Computer ist die jahrliche Tagung des Fachbereichs Mensch-Computer-Interaktion der Gesellschaft fur Informatik (GI) und die fuhrende Veranstaltung zu diesem Thema im deutschsprachigen Raum. Hier treffen sich Personen aus Wissenschaft und Praxis, um neueste Forschungsergebnisse zu diskutieren, Erfahrungen auszutauschen und neue Produkte und Methoden kennen zu lernen. Die Tagung bietet Einblicke in die Entwicklungen in den Bereichen Usability, User Experience, Mensch-Computer-Interaktion und Gestaltung interaktiver Medien. Die Fachtagung Mensch & Computer 2013 in Bremen steht unter dem...
Mensch & Computer ist die jahrliche Tagung des Fachbereichs Mensch-Computer-Interaktion der Gesellschaft fur Informatik (GI) und die fuhrende Veransta...
|
cena:
451,21 |
 |
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
ISBN: 9783642342806 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics,...
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, N...
|
cena:
203,61 |
 |
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ISBN: 9783642344060 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011.
Constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional La...
|
cena:
187,35 |
 |
Rewriting Logic and Its Applications: 9th International Workshop, Wrla 2012, Held as a Satellite Event of Etaps 2012, Tallinn, Estonia, March 24-25, 2
ISBN: 9783642340048 / Angielski / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and...
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRL...
|
cena:
187,35 |
 |
Ubiquitous Information Technologies and Applications: Cute 2012
ISBN: 9789400758568 / Angielski / Twarda / 914 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service-oriented and Web Service Computing, Embedded Hardware and Image Processing and Multimedia.
Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications t...
|
cena:
814,55 |
 |
Scientific Data Analysis Using Jython Scripting and Java
ISBN: 9781447125815 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by the primary developer of the jHepWork data analysis framework, this practical book, complete with dozens of code snippets, is a reliable reference source that enables readers to lay the foundation for data-analysis applications using Java scripting.
Written by the primary developer of the jHepWork data analysis framework, this practical book, complete with dozens of code snippets, is a reliable re...
|
cena:
203,61 |
 |
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
ISBN: 9783642346903 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in A...
|
cena:
203,61 |
 |
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
ISBN: 9783642351815 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in ...
|
cena:
203,61 |
 |
Iterating Infusion: Clearer Views of Objects, Classes, and Systems
ISBN: 9781430251040 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Iterating Infusion: Clearer Views of Objects, Classes, and Systems is a one-of-a-kind book, not dependent on any single technology. Rather, it provides a way to integrate the most efficient techniques from a variety of programming methods, in a manner that makes designing and programming software look easy.
Iterating Infusion presents comprehensive tools for you to best manage and work with object orientation. These include simplified fundamental concepts, popular language comparisons, advanced designing strategies, a broad usage progression, thorough design notations... Iterating Infusion: Clearer Views of Objects, Classes, and Systems is a one-of-a-kind book, not dependent on any single technology. Rather, i...
|
cena:
170,86 |
 |
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ISBN: 9783642356315 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering...
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held...
|
cena:
203,61 |
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
