![]() |
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990
ISBN: 9783642762765 / Angielski / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology. Firstly, it consists of the proceedings of the "Symposium on Computational Logic" - held on the occasion of the 7th ESPRIT Conference Week in November 1990 - whose organisation was inspired by the work of Basic Research Action 3012 (COMPULOG). This is a consortium which has attracted world-wide interest, with requests for collaboration throughout Europe,...
This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams c...
|
cena:
404,42 |
![]() |
Gks in Der Praxis
ISBN: 9783642782756 / Niemiecki / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch richtet sich an Leser, die Anwendungsprogramme mit zweidimensionaler Graphik auf Basis der GKS-Norm entwickeln wollen. GKS hat sp tere Graphik-Standards stark beeinflu t und ist als zweidimensionale Programmschnittstelle nach wie vor aktuell. Viele graphische Anwendungsprogramme verdanken ihre Langlebigkeit und Portierbarkeit GKS. Sie wurden h ufig auf speziellen Graphik-Terminals entwickelt und laufen heute - mit Hilfe aktualisierter GKS-Implementierungen - auf Workstations und X-Terminals. Die zweite Auflage wurde vollst ndig berarbeitet. Zus tzlich zur FORTRAN-Sprachschale...
Dieses Buch richtet sich an Leser, die Anwendungsprogramme mit zweidimensionaler Graphik auf Basis der GKS-Norm entwickeln wollen. GKS hat sp tere Gra...
|
cena:
207,85 |
![]() |
Distributed Systems: Software Design and Implementation
ISBN: 9783642786143 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of this book is to make the reader famliar with software engineering for distributed systems. Software engineering is a valuable discipline in the develop ment of software. The reader has surely heard of software systems completed months or years later than scheduled with huge cost overruns, systems which on completion did not provide the performance promised, and systems so catastrophic that they had to be abandoned without ever doing any useful work. Software engi neering is the discipline of creating and maintaining software; when used in con junction with more general methods...
The purpose of this book is to make the reader famliar with software engineering for distributed systems. Software engineering is a valuable disciplin...
|
cena:
202,19 |
![]() |
Edi-Knigge: Elektronischer Datenaustausch Am Beispiel Der Ausschreibung, Vergabe Und Abrechnung (Ava) Von Bauleistungen
ISBN: 9783642794032 / Niemiecki / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In Zukunft wird bei Bauprojekten der ffentlichen Hand der elektronische Datenaustausch (EDI = Electronic Data Interchange) vorgeschrieben werden. Dieses Buch ist zun chst eine Einf hrung in EDI und eine Anleitung f r den Umgang mit UN/edifact, einem weit verbreiteten und von den Baubeh rden im Ausschreibung-Vergabe-Abrechnung-Verfahren bevorzugten Datenaustauschformats. Durch den Einsatz von Telekommunikationssystemen lassen sich die AVA-Abl ufe schlanker und effizienter gestalten. F r die Kommunikationsf higkeit verschiedener Systeme sorgt eine Standard-Schnittstelle, das...
In Zukunft wird bei Bauprojekten der ffentlichen Hand der elektronische Datenaustausch (EDI = Electronic Data Interchange) vorgeschrieben werden. Dies...
|
cena:
207,85 |
![]() |
Programmieren in SmallTalk Mit Visualworks(r): SmallTalk -- Nicht Nur Für Anfänger
ISBN: 9783642794759 / Niemiecki / Miękka / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. VisualWorks ist ein Software-Entwicklungssystem, das auf der Technik der objektorientierten Programmierung (OOP) und der Programmiersprache Smalltalk basiert und mittlerweile auf vielen leistungsfahigen Kleinrechnern und Workstations verfugbar ist.
Das Buch vermittelt dem Leser anhand vieler Beispiele, Ubungsaufgaben und Losungen schrittweise die Kenntnisse fur die Programmierung in Smalltalk mit VisualWorks. Sowohl Programmieranfanger als auch Umsteiger von prozeduralen Programmiersprachen auf OOP konnen mit Hilfe dieses Buches selbst Smalltalk-Anwendungen erstellen und vorgegebene... VisualWorks ist ein Software-Entwicklungssystem, das auf der Technik der objektorientierten Programmierung (OOP) und der Programmiersprache Smalltalk ...
|
cena:
207,85 |
![]() |
Datenübertragung. Nachrichtentechnik in Datenfernverarbeitungssystemen: Band 2: Einrichtungen Und Systeme
ISBN: 9783642810879 / Niemiecki / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der vorliegende Band II Einrichtungen und Systeme des Werkes Daten iibertragung - Nachrichtentechnik in Datenfernverarbeitungssystemen enthiiJt eine Darstellung der technischen Mittel fUr den Datentransport auf elektrischem Wege; er schlieBt damit an den Band I Grundlagen an, in dem die fiir die Dateniibertragung bedeutsamen nachrichtentechni schen Grundbegriffe und' Voraussetzungen zusammengestellt sind. 1m Vordergrund der Betrachtungen stehen die Dateniibertragungs einrichtungen selbst. Besonderer Wert wurde auf die Darstellung solcher Merkmale und Eigenschaften gelegt, welche fiir den...
Der vorliegende Band II Einrichtungen und Systeme des Werkes Daten iibertragung - Nachrichtentechnik in Datenfernverarbeitungssystemen enthiiJt eine D...
|
cena:
151,15 |
![]() |
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
ISBN: 9783642819544 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general...
"Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be...
|
cena:
404,42 |
![]() |
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970
ISBN: 9783642819575 / Angielski / Miękka / 637 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program...
"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the fir...
|
cena:
404,42 |
![]() |
Datenübertragung Technik Der Daten- Und Textkommunikation: Band I - Grundlagen
ISBN: 9783642819735 / Niemiecki / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seit dem Erseheinen der ersten Auflage der beiden Bande des Werkes Dateniibertragung hat die Teehnik der Ubermittlung von Information in digitaler Form einige wesentliehe Fortsehritte gemaeht. AuBerdem hat sieh der Einsatzbereieh dieser Teehnik deutlieh erweitert. Er er streekt sieh nieht mehr nur auf Datenfernverarbeitungssysteme, sondern diese Technik ist auch als Grundlage der sieh immer mehr entfaltenden Textkommunikation und der Festbildkommunikation von waehsender Bedeutung; sogar die Ubertragung von Sprache gesehieht in zuneh mendem Umfang mit digitalen Signalen. So ersehien es...
Seit dem Erseheinen der ersten Auflage der beiden Bande des Werkes Dateniibertragung hat die Teehnik der Ubermittlung von Information in digitaler For...
|
cena:
151,15 |
![]() |
Software Engineering Und Prototyping: Eine Konstruktionslehre Für Administrative Softwaresysteme
ISBN: 9783642955204 / Niemiecki / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Als erste Monographie im deutschsprachigen Raum vermittelt das vorliegende Buch eine Konstruktionslehre des Software Engineering uber den gesamten Lebenszyklus eines Softwareproduktes. Wahrend Software-Technologie ublicherweise in Hochschulen oder Softwarehausern entsteht, wird hier eine Technologie dargestellt, die bei Anwendern entstanden ist. Nur Anwender sind in grossem Stil mit dem gesamten Lebenszyklus von Software konfrontiert, da sie uber 50% ihres DV-Personals fur die Wartung der investierten Software einsetzen mussen. Es wird ein neues, objekt-orientiertes Vorgehensmodell fur die...
Als erste Monographie im deutschsprachigen Raum vermittelt das vorliegende Buch eine Konstruktionslehre des Software Engineering uber den gesamten Leb...
|
cena:
151,15 |
![]() |
Die Software-Krise Und Ihre Macher
ISBN: 9783642956775 / Niemiecki / Miękka / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software wird auch heute im wesentlichen noch so hergestellt wie vor 20 Jahren, die erzielten Produktivit{ts- und Qualit{tsverbesserungen sind eher bescheiden. Deshalb und wegen des allgemein beklagten "Anwendungsstaus" - der Bedarf an neuer Anwendungssoftware }bersteigt bei weitem die Verf}gbarkeit - spricht man von einer weltweiten Software-Krise. Hinzu kommt, da insbesondere die deutsche Software-Industrie bisher wenig Erfolg in der weltweiten Vermarktung ihrer Produktion hat. Entgegen g{ngiger Expertenmeinung macht der Autor deutlich, da die vielzitierte Software-Krise vor allem auf...
Software wird auch heute im wesentlichen noch so hergestellt wie vor 20 Jahren, die erzielten Produktivit{ts- und Qualit{tsverbesserungen sind eher be...
|
cena:
151,15 |
![]() |
Evaluierung des Content Management Systems eZ Publish
ISBN: 9783656993841 / Niemiecki / Miękka / 98 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studienarbeit aus dem Jahr 2007 im Fachbereich Informatik - Software, Note: 1, Mediadesign Hochschule fur Design und Informatik GmbH Berlin, Sprache: Deutsch, Abstract: Aufgabe dieser Dokumentation ist es, das Content Management System eZ Publish, sowohl aus theoretischer als auch aus praktischer Sichtweise, vorzustellen. Aus diesem Grund ist ein komplettes Kapitel dem praktischen Arbeiten mit eZ Publish gewidmet. Der Abschnitt 2 gibt einen kurzen Systemuberblick mit einigen allgemeinen Informationen wie z. B. den zum Tragen kommenden Lizenzmodellen oder den Voraussetzungen zum technischen...
Studienarbeit aus dem Jahr 2007 im Fachbereich Informatik - Software, Note: 1, Mediadesign Hochschule fur Design und Informatik GmbH Berlin, Sprache: ...
|
cena:
273,24 |
![]() |
Development of Trading Systems using Genetic Programming with a Case Study
ISBN: 9783869432038 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diploma Thesis from the year 2007 in the subject Computer Science - Programming, grade: 1.7, University of Hamburg, language: English, abstract: In this thesis Genetic Progrmming is used to create trading systems for the EUR/USD foreign exchange market using intraday data. In addition to the exchange rates several moving averages are used as inputs. The developed evolutionary algorithm extends the framework ECJ. The created trading systems are being evaluated by a fitness function that consists of a trading simulation. Genetic operators have been adapted to support "node weights." By using...
Diploma Thesis from the year 2007 in the subject Computer Science - Programming, grade: 1.7, University of Hamburg, language: English, abstract: In th...
|
cena:
265,19 |
![]() |
Requirements Engineering and Management for Software Development Projects
ISBN: 9781461453765 / Angielski / Twarda / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development including engineering, computer science and management activities. It is the first book to cover all aspects of requirements management in software development projects. This book introduces the understanding of the requirements, elicitation and gathering, requirements analysis, verification and validation of the requirements, establishment of requirements, different methodologies in brief, requirements traceability and change management among...
Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development in...
|
cena:
202,19 |
![]() |
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
ISBN: 9783642327582 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. ...
|
cena:
202,19 |
![]() |
Coalgebraic Methods in Computer Science: 11th International Workshop, Cmcs 2012, Colocated with Etaps 2012, Tallinn, Estonia, March 31 -- April 1, 201
ISBN: 9783642327834 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 201...
|
cena:
202,19 |
![]() |
Business Process Management: 10th International Conference, Bpm 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings
ISBN: 9783642328848 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 10th International Conference on Business Process Management, BPM 2012, held in Tallinn, Estonia, in September 2012. The 17 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 126 submissions. The book also features two keynote lectures which were given at the conference. The papers are organized in topical sections named: process quality; conformance and compliance; BPM applications; process model analysis; BPM and the cloud; requirements and performance; process mining; and refactoring and...
This book constitutes the proceedings of the 10th International Conference on Business Process Management, BPM 2012, held in Tallinn, Estonia, in Sept...
|
cena:
202,19 |
![]() |
Development of Distributed Systems from Design to Application and Maintenance
ISBN: 9781466626478 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the continued research of distributed systems and technologies, the ability to have mixed technologies work together is crucial for the development of many types of society systems. Development of Distributed Systems from Design to Application and Maintenance is a collection of research on the strategies used in the design and development of distributed systems applications. Including research from traditional and emerging areas of applied distributed systems, this book covers theories, practices, and encourages future development for researchers, practitioners, and industry...
With the continued research of distributed systems and technologies, the ability to have mixed technologies work together is crucial for the developme...
|
cena:
993,96 |
![]() |
Mikrocomputerfibel: Vom 8-Bit-Chip Zum Grundsystem
ISBN: 9783528041830 / Niemiecki / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wer sich in der Ausbildung, im Beruf oder als Amateur mit Mikrocomputern und damit auch mit Mikroprozessoren befasst, steht vor zwei Problemen: Problem 1: Die sehr grosse Verzahnung der vom Ursprung her wesensfremden Gebiete hardware und software. Problem 2: Das unubersichtliche, ungenormte Nebeneinander vieler Computersysteme. Dieses einfuhrende Lehrbuch begegnet diesen Problemen mit einer Konzeption, wie sie so konsequent unseres Wissens bisher noch nicht verwirklicht wurde: Das Buch behandelt hard- und software gleichwertig von den Grundlagen her auf bauend. Dies wurde dadurch moglich,...
Wer sich in der Ausbildung, im Beruf oder als Amateur mit Mikrocomputern und damit auch mit Mikroprozessoren befasst, steht vor zwei Problemen: Proble...
|
cena:
207,85 |
![]() |
Effektiv Programmieren mit Turbo Pascal 5.0/5.5
ISBN: 9783528046361 / Niemiecki / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Turbo Pascal ist seit langem die Standardsprache fUr die Programmierung von Mikrocomputern. Durch die Versionen 5, .0 und 5.5 ist Turbo Pascal ein profes sionelles Entwicklungswerkzeug geworden. Z.B. gehOren zu den neuen Fea tures die Uberschreitung der 64 KB-Grenze, die strenge Modularisierung durch die Unit-Struktur, die UnterstUtzung der IEEE-Gleitpunktzahlenformate und die 8087 Emulation, das wiederaufgenommene Overlay-Konzept, der eingebaute Quellcode-Debbuger sowie die neuen Moglichkeiten der objektorientierten Programmierung. Dieses Buch ist nicht fUr den unerfahrenen Pascal-Anwender...
Turbo Pascal ist seit langem die Standardsprache fUr die Programmierung von Mikrocomputern. Durch die Versionen 5, .0 und 5.5 ist Turbo Pascal ein pro...
|
cena:
207,85 |