feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • UB Potsdam  (10)
  • Akad. der Künste
  • Informatik  (10)
  • Programmierung  (10)
  • Lizenziert  (10)
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Fachgebiete(RVK)
Zugriff
  • Lizenziert  (10)
  • 1
    UID:
    b3kat_BV035252621
    Umfang: 1 Online-Ressource (XVII, 446 S. , Ill., graph. Darst.)
    ISBN: 3540620648
    Serie: Lecture notes in computer science 1181
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Informatik ; Model Checking ; Theoretische Informatik ; Programmierung ; Künstliche Intelligenz ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Mehr zum Autor: Bjørner, Dines 1937-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    b3kat_BV035719597
    Umfang: 1 Online-Ressource (IX, 433 S. , Ill., graph. Darst.)
    ISBN: 354057316X , 038757316X
    Serie: Lecture notes in computer science 735
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Softwareentwicklung ; Formalisierung ; Programmierung ; Formale Semantik ; Formale Spezifikationstechnik ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Mehr zum Autor: Bjørner, Dines 1937-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Berlin [u.a.] : Springer
    UID:
    b3kat_BV036033853
    Umfang: 1 Online-Ressource (XII, 246 S.) , graph. Darst.
    ISBN: 3540102566 , 0387102566
    Serie: Lecture notes in computer science 95
    Sprache: Englisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    RVK:
    Schlagwort(e): Programmierung ; Koroutine ; Datenverarbeitung ; Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    b3kat_BV035987853
    Umfang: 1 Online-Ressource (X, 523 S.)
    ISBN: 3540156704 , 0387156704
    Serie: Lecture notes in computer science 197
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Parallelverarbeitung ; Programmierung ; Parallelverarbeitung ; Paralleler Prozess ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    gbv_1649196644
    Umfang: Online-Ressource
    ISBN: 9783540353126
    Serie: Lecture Notes in Computer Science 69
    Inhalt: A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783540092513
    Weitere Ausg.: Buchausg. u.d.T. Program construction Berlin [u.a.] : Springer, 1979 ISBN 354009251X
    Weitere Ausg.: ISBN 038709251X
    Sprache: Englisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Programmierung ; Programmierung ; Programmierung ; Programmierung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Cover
    Mehr zum Autor: Broy, Manfred 1949-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    gbv_595131247
    Umfang: Online-Ressource (X, 523 S.)
    Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540395935
    Serie: Lecture notes in computer science 197
    Inhalt: On the axiomatic treatment of concurrency -- Hierarchical development of concurrent systems in a temporal logic framework -- On the composition and decomposition of assertions -- Process algebra with asynchronous communication mechanisms -- Axioms for memory access in asynchronous hardware systems -- Executing temporal logic programs -- The static derivation of concurrency and its mechanized certification -- Semantic considerations in the actor paradigm of concurrent computation -- The pomset model of parallel processes: Unifying the temporal and the spatial -- Lectures on a calculus for communicating systems -- Concurrent behaviour: Sequences, processes and axioms -- Categories of models for concurrency -- Maximally concurrent evolution of non-sequential systems -- An improved failures model for communicating processes -- Denotational semantics for occam -- Linguistic support of receptionists for shared resources -- Applications of topology to semantics of communicating processes -- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety -- The ESTEREL synchronous programming language and its mathematical semantics -- An implementation model of rendezvous communication -- A fully abstract model of fair asynchrony -- Alternative semantics for McCarthy's amb -- Semantics of networks containing indeterminate operators -- Abstract interpretation and indeterminacy -- The NIL distributed systems programming language: A status report.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 3540156704
    Weitere Ausg.: ISBN 0387156704
    Weitere Ausg.: ISBN 9783540156703
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Seminar on Concurrency (1984 : Pittsburgh, Pa.) Seminar on Concurrency Berlin : Springer, 1985 ISBN 0387156704
    Weitere Ausg.: ISBN 3540156704
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Parallelverarbeitung ; Parallelverarbeitung ; Programmierung ; Paralleler Prozess ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Online-Ressource
    Online-Ressource
    Berlin [u.a.] : Springer
    UID:
    gbv_59513226X
    Umfang: Online-Ressource (XII, 246 S.)
    Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540383789
    Serie: Lecture notes in computer science 95
    Inhalt: Programming with coroutines -- A programming language with coroutines -- The design of the semantics of the language -- The syntax of the language -- The implementation of the language -- Conclusions and further research.
    Anmerkung: Zugl.: Adelaide, Univ., Diss., 1979
    Weitere Ausg.: ISBN 3540102566
    Weitere Ausg.: ISBN 0387102566
    Weitere Ausg.: ISBN 9783540102564
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Marlin, Christopher D. Coroutines Berlin : Springer, 1980 ISBN 3540102566
    Weitere Ausg.: ISBN 0387102566
    Sprache: Englisch
    Fachgebiete: Informatik , Wirtschaftswissenschaften
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Programmierung ; Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    UID:
    gbv_1649191588
    Umfang: Online-Ressource
    ISBN: 9783540365761 , 3540008977
    Serie: Lecture Notes in Computer Science 2620
    Inhalt: This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003. The 26 revised full papers presented together with an invited paper were carefully reviewed and selected from 96 submissions. Among the topics covered are algebraic models; automata and language theory; behavioral equivalences; categorical models; computation processes over discrete and continuous data; computation structures; logics of programs; models of concurrent, reactive, distributed, and mobile systems; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; and type systems and type theory
    Anmerkung: Includes bibliographical references
    Weitere Ausg.: ISBN 9783540008972
    Weitere Ausg.: Buchausg. u.d.T. Foundations of software science and computation structures Berlin : Springer, 2003 ISBN 3540008977
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Theoretische Informatik ; Programmierung ; Software Engineering ; Theoretische Informatik ; Programmierung ; Software Engineering ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Online-Ressource
    Online-Ressource
    Wiesbaden : Springer Vieweg
    UID:
    gbv_1652960996
    Umfang: Online-Ressource (XIV, 380 S. 182 Abb, online resource)
    Ausgabe: 5., überarb. u. erw Aufl. 2013
    ISBN: 9783834820396
    Serie: SpringerLink
    Inhalt: Programmierung -- Programmiersprachen -- Programmentwicklung -- Computer -- Aussagenlogik -- Grundlagen des Hamster-Modells -- Anweisungen und Programme -- Prozeduren -- Auswahlanweisungen -- Wiederholungsanweisungen -- Boolesche Funktionen -- Programmentwurf -- Boolesche Variablen -- Zahlen, Variablen und Ausdrücke -- Prozeduren und Funktionen -- Funktionsparameter -- Rekursion -- Ausblick.
    Inhalt: Das Hamster-Modell ist ein spezielles didaktisches Modell zum spielerischen Erlernen der Programmierung. Es orientiert sich an der Programmiersprache Java. Programmieranfänger lernen die grundlegenden Programmierkonzepte und den Programmentwurf kennen, indem sie sogenannte „Hamster-Programme“ entwickeln, mit denen sie einen virtuellen Hamster durch eine virtuelle Landschaft steuern und dabei bestimmte Aufgaben lösen lassen. Die Programmierkonzepte werden schrittweise und aufeinander aufbauend eingeführt und anhand vieler Beispiele motiviert und demonstriert. Der „Hamster-Simulator“, ein Programm zum Erstellen und Ausführen von „Hamster-Programmen“, wird kostenlos im WWW unter http://www.java-hamster-modell.de bereitgestellt. In der 5. Auflage des Buches wurden einige kleinere Fehler beseitigt. Außerdem wurden zwei Abschnitte aufgenommen, die zum einen in die Benutzung des Hamster-Simulators einführen und zum anderen seine Möglichkeiten zum Erlernen auch anderer Programmiersprachen (Python, Ruby, Scheme, Prolog, …) aufzeigen. Der Inhalt Programmierung - Programmiersprachen - Programmentwicklung - Computer - Aussagenlogik - Grundlagen des Hamster-Modells - Anweisungen und Programme - Prozeduren - Auswahlanweisungen - Wiederholungsanweisungen - Boolesche Funktionen - Programmentwurf - Boolesche Variablen - Zahlen, Variablen und Ausdrücke - Prozeduren und Funktionen - Funktionsparameter - Rekursion - Ausblick Die Zielgruppen Schüler und Studierende ohne Programmiererfahrung Der Autor Dr.-Ing. Dietrich Boles ist an der Universität Oldenburg für die Programmierausbildung der Informatik-Studierenden zuständig.
    Anmerkung: ProgrammierungProgrammiersprachen -- Programmentwicklung -- Computer -- Aussagenlogik -- Grundlagen des Hamster-Modells -- Anweisungen und Programme -- Prozeduren -- Auswahlanweisungen -- Wiederholungsanweisungen -- Boolesche Funktionen -- Programmentwurf -- Boolesche Variablen -- Zahlen, Variablen und Ausdrücke -- Prozeduren und Funktionen -- Funktionsparameter -- Rekursion -- Ausblick.
    Weitere Ausg.: ISBN 9783834806406
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe Boles, Dietrich, 1963 - Programmieren spielend gelernt mit dem Java-Hamster-Modell Wiesbaden : Springer Vieweg, 2013 ISBN 3834806404
    Weitere Ausg.: ISBN 9783834806406
    Sprache: Deutsch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Programmierung ; Java ; Programmierung ; Java
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Mehr zum Autor: Boles, Dietrich 1963-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    UID:
    gbv_728863472
    Umfang: 1 Online-Ressource (xxvi, 406 Seiten) , Illustrationen
    Ausgabe: Online-Ausg. Palo Alto, Calif ebrary Electronic reproduction; Available via World Wide Web
    ISBN: 1280779217 , 9781280779213
    Inhalt: Programming is now parallel programming. Much as structured programming revolutionized traditional serial programming decades ago, a new kind of structured programming, based on patterns, is relevant to parallel programming today. Parallel computing experts and industry insiders Michael McCool, Arch Robison, and James Reinders describe how to design and implement maintainable and efficient parallel algorithms using a pattern-based approach. They present both theory and practice, and give detailed concrete examples using multiple programming models. Examples are primarily given using two of the most popular and cutting edge programming models for parallel programming: Threading Building Blocks, and Cilk Plus. These architecture-independent models enable easy integration into existing applications, preserve investments in existing code, and speed the development of parallel applications. Examples from realistic contexts illustrate patterns and themes in parallel algorithm design that are widely applicable regardless of implementation technology. The patterns-based approach offers structure and insight that developers can apply to a variety of parallel programming models. Develops a composable, structured, scalable, and machine-independent approach to parallel computingIncludes detailed examples in both Cilk Plus and the latest Threading Building Blocks, which support a wide variety of computers
    Inhalt: Programming is now parallel programming. Much as structured programming revolutionized traditional serial programming decades ago, a new kind of structured programming, based on patterns, is relevant to parallel programming today. Parallel computing experts and industry insiders Michael McCool, Arch Robison, and James Reinders describe how to design and implement maintainable and efficient parallel algorithms using a pattern-based approach. They present both theory and practice, and give detailed concrete examples using multiple programming models. Examples are primarily given using two of th
    Anmerkung: Includes bibliographical references and index , Front Cover; Structured Parallel Programming: Patterns for Efficient Computation; Copyright; Table of Contents; Listings; Preface; Preliminaries; 1 Introduction; 1.1 Think Parallel; 1.2 Performance; 1.3 Motivation: Pervasive Parallelism; 1.3.1 Hardware Trends Encouraging Parallelism; 1.3.2 Observed Historical Trends in Parallelism; 1.3.3 Need for Explicit Parallel Programming; 1.4 Structured Pattern-Based Programming; 1.5 Parallel Programming Models; 1.5.1 Desired Properties; 1.5.2 Abstractions Instead of Mechanisms; 1.5.3 Expression of Regular Data Parallelism; 1.5.4 Composability , 1.5.5 Portability of Functionality1.5.6 Performance Portability; 1.5.7 Safety, Determinism, and Maintainability; 1.5.8 Overview of Programming Models Used; Cilk Plus; Threading Building Blocks (TBB); OpenMP; Array Building Blocks (ArBB); OpenCL; 1.5.9 When to Use Which Model?; 1.6 Organization of this Book; 1.7 Summary; 2 Background; 2.1 Vocabulary and Notation; 2.2 Strategies; 2.3 Mechanisms; 2.4 Machine Models; 2.4.1 Machine Model; Instruction Parallelism; Memory Hierarchy; Virtual Memory; Multiprocessor Systems; Attached Devices; 2.4.2 Key Features for Performance; Data Locality , Parallel Slack2.4.3 Flynn's Characterization; 2.4.4 Evolution; 2.5 Performance Theory; 2.5.1 Latency and Throughput; 2.5.2 Speedup, Efficiency, and Scalability; 2.5.3 Power; 2.5.4 Amdahl's Law; 2.5.5 Gustafson-Barsis' Law; 2.5.6 Work-Span Model; 2.5.7 Asymptotic Complexity; 2.5.8 Asymptotic Speedup and Efficiency; 2.5.9 Little's Formula; 2.6 Pitfalls; 2.6.1 Race Conditions; 2.6.2 Mutual Exclusion and Locks; 2.6.3 Deadlock; 2.6.4 Strangled Scaling; 2.6.5 Lack of Locality; 2.6.6 Load Imbalance; 2.6.7 Overhead; 2.7 Summary; I Patterns; 3 Patterns; 3.1 Nesting Pattern , 3.2 Structured Serial Control Flow Patterns3.2.1 Sequence; 3.2.2 Selection; 3.2.3 Iteration; 3.2.4 Recursion; 3.3 Parallel Control Patterns; 3.3.1 Fork-Join; 3.3.2 Map; 3.3.3 Stencil; 3.3.4 Reduction; 3.3.5 Scan; 3.3.6 Recurrence; 3.4 Serial Data Management Patterns; 3.4.1 Random Read and Write; 3.4.2 Stack Allocation; 3.4.3 Heap Allocation; 3.4.4 Closures; 3.4.5 Objects; 3.5 Parallel Data Management Patterns; 3.5.1 Pack; 3.5.2 Pipeline; 3.5.3 Geometric Decomposition; 3.5.4 Gather; 3.5.5 Scatter; 3.6 Other Parallel Patterns; 3.6.1 Superscalar Sequences; 3.6.2 Futures , 3.6.3 Speculative Selection3.6.4 Workpile; 3.6.5 Search; 3.6.6 Segmentation; 3.6.7 Expand; 3.6.8 Category Reduction; 3.6.9 Term Graph Rewriting; 3.7 Non-Deterministic Patterns; 3.7.1 Branch and Bound; 3.7.2 Transactions; 3.8 Programming Model Support for Patterns; 3.8.1 Cilk Plus; Nesting, Recursion, Fork-Join; Reduction; Map, Workpile; Scatter, Gather; 3.8.2 Threading Building Blocks; Nesting, Recursion, Fork-Join; Map; Workpile; Reduction; Scan; Pipeline; Speculative Selection, Branch and Bound; 3.8.3 OpenMP; Map, Workpile; Reduction; Fork-Join , Stencil, Geometric Decomposition, Gather, Scatter , Electronic reproduction; Available via World Wide Web
    Weitere Ausg.: ISBN 9780123914439
    Weitere Ausg.: ISBN 9780124159938
    Weitere Ausg.: ISBN 128077889X
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe McCool, Michael Structured parallel programming Amsterdam [u.a.] : Elsevier, Morgan Kaufmann, 2012 ISBN 9780124159938
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Parallelverarbeitung ; Programmierung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz