Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980
1980
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings
1986
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
International Symposium on Programming: 6th Colloquium Toulouse, April 17–19, 1984 Proceedings
1984
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Programming Symposium: Proceedings, Colloque sur la Programmation Paris, April 9–11, 1974
1974
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
1986
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The theory and practice of transforming call-by-need into call-by-value
International Symposium on Programming, 2005, p.269-281
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On relations between programs
International Symposium on Programming, 2005, p.59-78
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A relational model for non-deterministic programs and predicate transformers
International Symposium on Programming, 2005, p.136-146
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards a theory of abstract data types: A discussion on problems and tools
International Symposium on Programming, 2005, p.44-58
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Suggestions for composing and specifying program design decisions
International Symposium on Programming, 2005, p.311-326
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Semantics for lisp without reference to an interpreter
International Symposium on Programming, 2005, p.240-255
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Specification of highly parallel and distributed resource management
International Symposium on Programming, 2005, p.223-239
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Concurrent operations in large ordered indexes
International Symposium on Programming, 2005, p.207-222
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An algebraic structure of petri nets
International Symposium on Programming, 2005, p.177-192
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A communication data type for message oriented programming
International Symposium on Programming, 2005, p.79-91
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Processus non-sequentiels et leurs observations en univers non-centralise
International Symposium on Programming, 2005, p.92-107
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A case study of abstract implementations and their correctness
International Symposium on Programming, 2005, p.108-122
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A model-theoretic approach to specification, extension, and implementation
International Symposium on Programming, 2005, p.282-297
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Static type checking for languages with parametric types and polymorphic procedures
International Symposium on Programming, 2005, p.1-16
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Types algebriques et semantique des langages de programmation
International Symposium on Programming, 2005, p.30-43
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Échappements et continuations en semantique dénotationnelle
International Symposium on Programming, 2005, p.298-310
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An algorithm for translating LISP programs into reduction language programs
International Symposium on Programming, 2005, p.193-206
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Structures de controle et puissances d'expression
International Symposium on Programming, 2005, p.147-161
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Conception et optimisation des descentes recursives
International Symposium on Programming, 2005, p.162-176
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parallelism in ADA: Program design and meaning
International Symposium on Programming, 2005, p.256-268
2005
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 170
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
2 weitere anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...