Résultats de rechercheBases de données
2398 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
000000000000DEFAULT
Imprimer
1. 
Image de couverture de Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic
Auteur 
Madarász, Judit. editor. Székely, Gergely. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
BC1 -199
ISBN (Numéro international normalisé des livres) 
9783030641870
Full Text Available From Springer Nature Religion and Philosophy 2021 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Auteur 
Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783030816858
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Auteur 
Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783030816889
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Auteur 
Laarman, Alfons. editor. (orcid)0000-0002-2433-4174 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783030846299
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Provenance and Annotation of Data and Processes 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings
Provenance and Annotation of Data and Processes 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings
Provenance and Annotation of Data and Processes 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings
Auteur 
Glavic, Boris. editor. (orcid)0000-0003-2887-2452 Braganholo, Vanessa. editor. (orcid)0000-0002-1184-8192 Koop, David. editor. (orcid)0000-0002-4422-6162 SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783030809607
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Graph-Based Representation and Reasoning 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings
Graph-Based Representation and Reasoning 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings
Graph-Based Representation and Reasoning 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20-22, 2021, Proceedings
Auteur 
Braun, Tanya. editor. (orcid)0000-0003-0282-4284 Gehrke, Marcel. editor. (orcid)0000-0001-9056-7673 Hanika, Tom. editor. (orcid)0000-0002-4918-6374 Hernandez, Nathalie. editor. (orcid)0000-0003-3845-3243 SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783030869823
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings
Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings
Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings
Auteur 
Baroni, Pietro. editor. (orcid)0000-0001-5439-9561 Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Wáng, Yὶ N. editor. (orcid)0000-0002-0650-4993 SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783030893910
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Auteur 
Kamareddine, Fairouz. editor. Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783030810979
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
Auteur 
Konev, Boris. editor. Reger, Giles. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783030862053
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Combinatorics on Words 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings
Combinatorics on Words 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings
Combinatorics on Words 13th International Conference, WORDS 2021, Rouen, France, September 13-17, 2021, Proceedings
Auteur 
Lecroq, Thierry. editor. (orcid)0000-0002-1900-3397 Puzynina, Svetlana. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA267 -268.5
ISBN (Numéro international normalisé des livres) 
9783030850883
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Auteur 
Das, Anupam. editor. Negri, Sara. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783030860592
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
Auteur 
Fernández, Maribel. editor. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783030684464
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
2398 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
SpringerLink (Online service)
(2387)
Rozenberg, Grzegorz. editor.
(29)
Voronkov, Andrei. editor.
(22)
Salomaa, Arto. editor.
(18)
Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796
(14)
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Formal Languages and Automata Theory.
(2387)
Computer science.
(1488)
Artificial intelligence.
(1273)
Computer Science Logic and Foundations of Programming.
(1125)
Software engineering.
(912)
Type de document
Emplacement
Bibliothèque