Notice bibliographique

  • Notice

Type(s) de contenu et mode(s) de consultation : Texte : électronique

Auteur(s) : IFIP International Conference on Theoretical Computer Science (8e ; 2014 ; Rome, Italie)  Voir les notices liées en tant qu'auteur

Titre(s) : Theoretical computer science [Texte électronique] : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.)

Publication : Heidelberg : Springer, 2014

Description matérielle : 1 online resource (1 ressource en ligne (xvi, 355 pages))

Collection : Lecture Notes in Computer Science ; 8705
LNCS sublibrary. SL 1, Theoretical computer science and general issues


Note(s) : Titre de l'écran-titre (visionné le 27 octobre 2014)
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification


Autre(s) auteur(s) : Díaz, Josep (1950-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Lanese, Ivan. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Sangiorgi, Davide. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Diaz, Josep. Fonction indéterminée  Voir les notices liées en tant qu'auteur


Autre(s) forme(s) du titre : 
- TCS 2014


Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Logiciels  Voir les notices liées en tant que sujet
Structure logique  Voir les notices liées en tant que sujet
Complexité de calcul (informatique)  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet

Indice(s) Dewey : 004 (23e éd.)  Voir les notices liées en tant que sujet ; 004.015 1 (23e éd.)  Voir les notices liées en tant que sujet


Numéros : ISBN 9783662446027

Notice n° :  FRBNF44713270 (notice reprise d'un réservoir extérieur)



Localiser ce document(1 Exemplaire)

Document numérique : 

1 partie d'exemplaire regroupée

ACQNUM-95036
support : document électronique dématérialisé