Résultat(s)
1 - 20
résultats de
22
pour la requête '
'
Aller au contenu
Library Home
Start Over
Research Databases
E-Journals
Exemplaires mis en réserve pour un cours
Library Home
Connexion
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Langue
Library Catalog
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
|
Parcourir
|
Astuces pour la recherche
La page se rechargera après suppression d'un filtre.
Filtres appliqués :
Library of Congress Call Number:
Enlever le filtre
Q - Sciences
Autre:
Enlever le filtre
ETAPS (Conference)
La page se rechargera après suppression d'un filtre.
Montrer les filtres (2)
Library of Congress Call Number:
Enlever le filtre
Q - Sciences
Autre:
Enlever le filtre
ETAPS (Conference)
Résultats de la recherche
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Computer software
14
Software engineering
8
System analysis
8
System design
8
Verification
8
Computer programming
4
Programming languages (Electronic computers)
4
Artificial intelligence
3
Computer science
3
Computer systems
2
Mathematics
2
Natural language processing (Computer science)
2
computers
2
Algorithms
1
Computer programming / software development
1
Computers
1
Databases
1
Information theory
1
Ingeniería del software
1
Intelligence (AI) & Semantics
1
Logic
1
Matemáticas
1
Matemáticas discretas
1
Mathematical theory of computation
1
Programming
1
Software-Desarrollo
1
Theory of Computation
1
artificial intelligence
1
Résultat(s)
1 - 20
résultats de
22
pour la requête '
'
, Temps de recherche: 0,05s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
Choisir tous les éléments de la page
Courriel
Exporter
Imprimer
Sauvegarder
Merci de choisir la recherche numéro 1
1
Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023... Thomas Wies, editor.
Publié 2023
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings Daniela Petrişan, Jurriaan Rot (eds.).
Publié 2020
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 3
3
Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020... Peter Müller (ed.).
Publié 2020
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 4
4
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice... Armin Biere, David Parker (eds.).
Publié 2020
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 5
5
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice... Armin Biere, David Parker (eds.).
Publié 2020
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 6
6
Fundamental approaches to software engineering : 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS... Heike Wehrheim, Jordi Cabot (eds.).
Publié 2020
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 7
7
Foundations of software science and computation structures : 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of S... Jean Goubault-Larrecq, Barbara König (eds.).
Publié 2020
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 8
8
Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of S... edited by Orna Kupferman, Pawel Sobocinski.
Publié 2023
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 9
9
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice... Sriram Sankaranarayanan, Natasha Sharygina, editors.
Publié 2023
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 10
10
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice... Sriram Sankaranarayanan, Natasha Sharygina, editors.
Publié 2023
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 11
11
Fundamental approaches to software engineering : 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS... Leen Lambers, Sebastián Uchitel, editors.
Publié 2023
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 12
12
Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of S... Patricia Bouyer, Lutz Schröder (eds.).
Publié 2022
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 13
13
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice... Dana Fisman, Grigore Rosu (eds.).
Publié 2022
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 14
14
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS... Einar Broch Johnsen, Manuel Wimmer (eds.).
Publié 2022
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 15
15
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice... Dana Fisman, Grigore Rosu (eds.).
Publié 2022
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 16
16
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022... Ilya Sergey (eds.).
Publié 2022
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 17
17
Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021... Nobuko Yoshida (ed.).
Publié 2021
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 18
18
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 So... Stefan Kiefer, Christine Tasson (eds.).
Publié 2021
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 19
19
Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice... Jan Friso Groote, Kim Guldstrand Larsen (eds.).
Publié 2021
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Merci de choisir la recherche numéro 20
20
Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS... Esther Guerra, Mariëlle Stoelinga (eds.).
Publié 2021
Click for online access
eBook
Ajouter aux favoris
Enregistré dans:
Choisir tous les éléments de la page
Courriel
Exporter
Imprimer
Sauvegarder
1
2
Suivant
[2]
Outils de recherche:
S'abonner aux flux RSS
Envoyer cette recherche par courriel
Enregistrer la recherche
Retour
Affiner les résultats
La page se rechargera quand un filtre de sélection ou d'exclusion aura été positionné.
Année de publication
De:
À:
Format
eBook
22 résultats
22
Localisation
Online
22 résultats
22
Langue
English
22 résultats
22
Library of Congress Call Number
Q - Sciences
Genre
Congresses
22 résultats
22
Actes de congrès
21 résultats
21
Conference papers and proceedings
21 résultats
21
proceedings (reports)
21 résultats
21
Electronic books
4 résultats
4
Base de données
Springer Ebooks
17 résultats
17
Record Source
eResources
22 résultats
22