Résultats de rechercheBases de données
2742 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 Fundamentals of Quantum Programming in IBM's Quantum Computers
Fundamentals of Quantum Programming in IBM's Quantum Computers
Fundamentals of Quantum Programming in IBM's Quantum Computers
Auteur 
Chang, Weng-Long. author. Vasilakos, Athanasios V. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TA345 -345.5
ISBN (Numéro international normalisé des livres) 
9783030635831
Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de Dynamic Programming Multi-Objective Combinatorial Optimization
Dynamic Programming Multi-Objective Combinatorial Optimization
Dynamic Programming Multi-Objective Combinatorial Optimization
Auteur 
Mankowski, Michal. author. Moshkov, Mikhail. author. (orcid)0000-0003-0085-9483 SpringerLink (Online service)
Numéro de cote topographique requis 
Q342
ISBN (Numéro international normalisé des livres) 
9783030639204
Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de Pro Spring MVC with WebFlux Web Development in Spring Framework 5 and Spring Boot 2
Pro Spring MVC with WebFlux Web Development in Spring Framework 5 and Spring Boot 2
Pro Spring MVC with WebFlux Web Development in Spring Framework 5 and Spring Boot 2
Auteur 
Deinum, Marten. author. Cosmina, Iuliana. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.73 .J38
ISBN (Numéro international normalisé des livres) 
9781484256664
Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Pointers in C Programming A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays
Pointers in C Programming A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays
Pointers in C Programming A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays
Auteur 
Mailund, Thomas. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.7 -.73
ISBN (Numéro international normalisé des livres) 
9781484269275
Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Pro C# 9 with .NET 5 Foundational Principles and Practices in Programming
Pro C# 9 with .NET 5 Foundational Principles and Practices in Programming
Pro C# 9 with .NET 5 Foundational Principles and Practices in Programming
Auteur 
Troelsen, Andrew. author. Japikse, Phillip. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.76 .M52
ISBN (Numéro international normalisé des livres) 
9781484269398
Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Modelling to Program Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers
Modelling to Program Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers
Modelling to Program Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers
Auteur 
Dahanayake, Ajantha. editor. (orcid)0000-0003-4782-4296 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 Thalheim, Bernhard. editor. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783030726966
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Beginner's Guide to Kotlin Programming
Beginner's Guide to Kotlin Programming
Beginner's Guide to Kotlin Programming
Auteur 
Hunt, John. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.7 -.73
ISBN (Numéro international normalisé des livres) 
9783030808938
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Practical Aspects of Declarative Languages 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Practical Aspects of Declarative Languages 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Practical Aspects of Declarative Languages 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Auteur 
Morales, José F. editor. (orcid)0000-0001-9782-8135 Orchard, Dominic. editor. (orcid)0000-0002-7058-7842 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.7 -.73
ISBN (Numéro international normalisé des livres) 
9783030674380
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Nonsequential and Distributed Programming with Go Synchronization of Concurrent Processes: Communication - Cooperation - Competition
Nonsequential and Distributed Programming with Go Synchronization of Concurrent Processes: Communication - Cooperation - Competition
Nonsequential and Distributed Programming with Go Synchronization of Concurrent Processes: Communication - Cooperation - Competition
Auteur 
Maurer, Christian. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.6 -76.66
ISBN (Numéro international normalisé des livres) 
9783658297824
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Auteur 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.758
ISBN (Numéro international normalisé des livres) 
9783030891596
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
11. 
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:
12. 
Image de couverture de Principles of Parallel Scientific Computing A First Guide to Numerical Concepts and Programming Methods
Principles of Parallel Scientific Computing A First Guide to Numerical Concepts and Programming Methods
Principles of Parallel Scientific Computing A First Guide to Numerical Concepts and Programming Methods
Auteur 
Weinzierl, Tobias. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .M35
ISBN (Numéro international normalisé des livres) 
9783030761943
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
2742 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
SpringerLink (Online service)
(2742)
Dongarra, Jack. editor.
(28)
Voronkov, Andrei. editor.
(20)
Wasniewski, Jerzy. editor.
(14)
Broy, Manfred. editor.
(11)
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
Computer programming.
(2742)
Software engineering.
(1337)
Compilers (Computer programs).
(1305)
Compilers and Interpreters.
(1305)
Computer science.
(1269)
Type de document
Emplacement
Bibliothèque