Accueil
|
Recherche simple
|
Recherche avancée
|
Résultats
|
Historique
|
Suivi PEB
|
Mon panier
|
Aide
rechercher (et)
rechercher (ou)
feuilleter
restreindre
élargir
sauf
reclasser
Tous les mots
Mots du titre
Mots sujet
Mots auteur(s)
Nom de personne
Organisme auteur
Tous numéros
Titre complet
Titre abrégé (périodiques)
Collection
Editeur
Note de thèse
Note sur le financement
Note de récompense
Résumé ; sommaire
Point d’accès sujet
Forme ; Genre
reliure ; provenance ; conservation
Note de livre ancien
Numéro national de thèse
ISBN livres
ISSN périodiques
Mots sujet anglais
Sujet MESH anglais
Langue du document (code)
Pays de publication (code)
PCP : Plan de conservation partagée
trier par
pertinence
année de publication
auteur
titre
Copyright © 2023 ABES / OCLC
Liste des résultats
|
Notice détaillée
|
Où trouver ce document ?
rechercher (et)
(Mots du titre)
Foundations of software science and computation structures
|
30 résultat(s)
Services
Mon panier / Export
Affiner la recherche
Mot
Type
Compte
of
Mots du titre
[5090209]
science
Mots du titre
[83409]
foundations
Mots du titre
[11317]
computation
Mots du titre
[6590]
software
Mots du titre
[15305]
structures
Mots du titre
[44034]
|
1
|
2
|
3
|
1.
Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
1st ed. 2015. / Springer Berlin Heidelberg / 2015
2.
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Esparza, Javier / 1st ed. 2017. / Springer Berlin Heidelberg / 2017
3.
Foundations of Software Science and Computational Structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
1st ed. 2006. / Springer Berlin Heidelberg / 2006
4.
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
1st ed. 2021. / Springer International Publishing / 2021
5.
Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
1st ed. 2010. / Springer Berlin Heidelberg / 2010
6.
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Baier, Christel / 1st ed. 2018. / Springer International Publishing / 2018
7.
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
1st ed. 2016. / Springer Berlin Heidelberg / 2016
8.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Ramanujam, R. / 1st ed. 2005. / Springer Berlin Heidelberg / 2005
9.
Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
1st ed. 2014. / Springer Berlin Heidelberg / 2014
10.
Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
1st ed. 2013. / Springer Berlin Heidelberg / 2013