X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (1984)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186099702883
    Format: 1 online resource (VI, 263 p.)
    Edition: 1st ed. 1984.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38809-5
    Series Statement: Lecture Notes in Computer Science, 167
    Note: Bibliographic Level Mode of Issuance: Monograph , Un modele de description de protocoles : Les reseaux fermes d'automates triphases -- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees -- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus -- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels -- Some topics in the design of the specification language lotos -- Specification and verification of networks protocols using temporal logic -- Une implémentation des coroutines en Lisp, application à Smalltalk -- Vesta Vectorisation automatique et parametree de programmes -- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma -- Projet Vesta -- The program dependence graph and its use in optimization -- Implementations of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent systems -- An optimal-time recursive evaluator for attribute grammars -- On the Merlin-Randell problem of train journeys -- Un systeme d'aide a la preuve de compilateurs -- Optimized combinatoric code for applicative language implementation -- Polymorphic type schemes and recursive definitions -- Non-sequential behaviour -- Proving properties of Snobol4 patterns: Selecting the assertion format -- Polynomial-time analysis for a class of communicating processes. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-12925-1
    Language: English
    DOI: 10.1007/3-540-12925-1
    URL: http://dx.doi.org/10.1007/3-540-12925-1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
    Charité
  • 2
    Online Resource
    Online Resource
    International Symposium on Programming : 6th colloquium, Toulouse, April 17 - 19, 1984 ; proceedings (1984)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595131549
    Format: Online-Ressource (VI, 262 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540388098
    Series Statement: Lecture notes in computer science 167
    Content: Un modele de description de protocoles : Les reseaux fermes d'automates triphases -- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees -- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus -- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels -- Some topics in the design of the specification language lotos -- Specification and verification of networks protocols using temporal logic -- Une implémentation des coroutines en Lisp, application à Smalltalk -- Vesta Vectorisation automatique et parametree de programmes -- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma -- Projet Vesta -- The program dependence graph and its use in optimization -- Implementations of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent systems -- An optimal-time recursive evaluator for attribute grammars -- On the Merlin-Randell problem of train journeys -- Un systeme d'aide a la preuve de compilateurs -- Optimized combinatoric code for applicative language implementation -- Polymorphic type schemes and recursive definitions -- Non-sequential behaviour -- Proving properties of Snobol4 patterns: Selecting the assertion format -- Polynomial-time analysis for a class of communicating processes.
    Note: Literaturangaben , Beitr. teilw. engl., teilw. franz.
    Additional Edition: ISBN 3540129251
    Additional Edition: ISBN 0387129251
    Additional Edition: ISBN 9783540129257
    Additional Edition: Erscheint auch als Druck-Ausgabe International Symposium on Programming (6 : 1984 : Toulouse) International Symposium on Programming Berlin [u.a.] : Springer, 1984 ISBN 3540129251
    Additional Edition: ISBN 0387129251
    Language: English
    Keywords: Konferenzschrift
    DOI: 10.1007/3-540-12925-1
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    International Symposium on Programming : 6th Colloquium Toulouse, April 17–19, 1984 Proceedings (1984)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920872102882
    Format: VI, 263 p. , online resource.
    ISBN: 9783540388098
    Series Statement: Lecture Notes in Computer Science, 167
    Note: Un modele de description de protocoles : Les reseaux fermes d'automates triphases -- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees -- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus -- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels -- Some topics in the design of the specification language lotos -- Specification and verification of networks protocols using temporal logic -- Une implémentation des coroutines en Lisp, application à Smalltalk -- Vesta Vectorisation automatique et parametree de programmes -- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma -- Projet Vesta -- The program dependence graph and its use in optimization -- Implementations of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent systems -- An optimal-time recursive evaluator for attribute grammars -- On the Merlin-Randell problem of train journeys -- Un systeme d'aide a la preuve de compilateurs -- Optimized combinatoric code for applicative language implementation -- Polymorphic type schemes and recursive definitions -- Non-sequential behaviour -- Proving properties of Snobol4 patterns: Selecting the assertion format -- Polynomial-time analysis for a class of communicating processes.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540129257
    Language: English
    DOI: 10.1007/3-540-12925-1
    URL: http://dx.doi.org/10.1007/3-540-12925-1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (1984)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621432902882
    Format: VI, 263 p. , online resource.
    Edition: 1st ed. 1984.
    ISBN: 9783540388098
    Series Statement: Lecture Notes in Computer Science, 167
    Note: Un modele de description de protocoles : Les reseaux fermes d'automates triphases -- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees -- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus -- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels -- Some topics in the design of the specification language lotos -- Specification and verification of networks protocols using temporal logic -- Une implémentation des coroutines en Lisp, application à Smalltalk -- Vesta Vectorisation automatique et parametree de programmes -- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma -- Projet Vesta -- The program dependence graph and its use in optimization -- Implementations of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent systems -- An optimal-time recursive evaluator for attribute grammars -- On the Merlin-Randell problem of train journeys -- Un systeme d'aide a la preuve de compilateurs -- Optimized combinatoric code for applicative language implementation -- Polymorphic type schemes and recursive definitions -- Non-sequential behaviour -- Proving properties of Snobol4 patterns: Selecting the assertion format -- Polynomial-time analysis for a class of communicating processes.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662173213
    Additional Edition: Printed edition: ISBN 9783540129257
    Language: English
    DOI: 10.1007/3-540-12925-1
    URL: https://doi.org/10.1007/3-540-12925-1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (1984)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649201540
    Format: Online-Ressource
    ISBN: 9783540388098
    Series Statement: Lecture Notes in Computer Science 167
    Additional Edition: ISBN 9783540129257
    Additional Edition: Buchausg. u.d.T. Toulouse, April 17 - 19, 1984 1984 ISBN 3540129251
    Additional Edition: ISBN 3540129251
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    DOI: 10.1007/3-540-12925-1
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
  • 6
    Online Resource
    Online Resource
    International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (1984)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186099702883
    Format: 1 online resource (VI, 263 p.)
    Edition: 1st ed. 1984.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38809-5
    Series Statement: Lecture Notes in Computer Science, 167
    Note: Bibliographic Level Mode of Issuance: Monograph , Un modele de description de protocoles : Les reseaux fermes d'automates triphases -- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees -- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus -- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels -- Some topics in the design of the specification language lotos -- Specification and verification of networks protocols using temporal logic -- Une implémentation des coroutines en Lisp, application à Smalltalk -- Vesta Vectorisation automatique et parametree de programmes -- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma -- Projet Vesta -- The program dependence graph and its use in optimization -- Implementations of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent systems -- An optimal-time recursive evaluator for attribute grammars -- On the Merlin-Randell problem of train journeys -- Un systeme d'aide a la preuve de compilateurs -- Optimized combinatoric code for applicative language implementation -- Polymorphic type schemes and recursive definitions -- Non-sequential behaviour -- Proving properties of Snobol4 patterns: Selecting the assertion format -- Polynomial-time analysis for a class of communicating processes. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-12925-1
    Language: English
    DOI: 10.1007/3-540-12925-1
    URL: http://dx.doi.org/10.1007/3-540-12925-1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 7
    Online Resource
    Online Resource
    International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (1984)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186099702883
    Format: 1 online resource (VI, 263 p.)
    Edition: 1st ed. 1984.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38809-5
    Series Statement: Lecture Notes in Computer Science, 167
    Note: Bibliographic Level Mode of Issuance: Monograph , Un modele de description de protocoles : Les reseaux fermes d'automates triphases -- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees -- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus -- Le type abstrait "vecteur" et les methodes de programmation des ordinateurs vectoriels -- Some topics in the design of the specification language lotos -- Specification and verification of networks protocols using temporal logic -- Une implémentation des coroutines en Lisp, application à Smalltalk -- Vesta Vectorisation automatique et parametree de programmes -- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma -- Projet Vesta -- The program dependence graph and its use in optimization -- Implementations of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent systems -- An optimal-time recursive evaluator for attribute grammars -- On the Merlin-Randell problem of train journeys -- Un systeme d'aide a la preuve de compilateurs -- Optimized combinatoric code for applicative language implementation -- Polymorphic type schemes and recursive definitions -- Non-sequential behaviour -- Proving properties of Snobol4 patterns: Selecting the assertion format -- Polynomial-time analysis for a class of communicating processes. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-12925-1
    Language: English
    DOI: 10.1007/3-540-12925-1
    URL: http://dx.doi.org/10.1007/3-540-12925-1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540288008?
Did you mean 9783540288398?
Did you mean 9783540308058?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages