Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Se connecter
S’enregistrer
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Thèmes principaux
Sujet
Étudier le droit
Droit du travail
Études
Droit de la famille
Droit des assurances sociales
Droit pénal
Publications
Littérature
Modules en ligne LEXIA
Livres
Collections
Revues
Bases de données
recht.ch
Littérature pour les études
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Professionnels
Corporate Publishing
Content solutions
Librairies
Événements
Presse
Enseignants
Étudiants
Annonceurs
Newsletter
Blog
Auteurs
Nos Auteurs
Aide
Liste
Espace des auteurs
Publier chez nous
Témoignages
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Collaborateurs
Durabilité
Newsletter
Histoire
Open Access
Vision et mission
Carrière
Notre magazine
Culture d'entreprise
Partenaires
Contact
Shop
Droit suisse
Droit étranger
A propos de notre boutique
Nouveautés
Nouveautés
Infos, conseils et astuces
Préavis
Préavis
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Téléchargez la couverture
Practical Aspects of Declarative Languages
27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings
Publié par:
Erdem, Esra
|
Vidal, Germán
Livre (broché)
env. 81.00 CHF
disponible dès mars 2025
Ajouter au panier
Informations bibliographiques
mars 2025
,
env. 250 Pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-84923-7
Mots-clés
Informations bibliographiques
mars 2025
,
env. 250 Pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-84923-7
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher tout
The Song of Rebeca: Quarter of Century of Research in Actor-Based Languages
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Mousavi, Mohammad Reza
|
Lee, Edward A.
|
Talcott, Carolyn
Springer International Publishing
,
2025
978-3-031-85133-9
env. 91.00 CHF
disponible dès juin 2025
Ada 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2025
978-3-031-83730-2
env. 102.00 CHF
disponible dès juin 2025
Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2025
978-3-031-83731-9
env. 102.00 CHF
disponible dès juin 2025
Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...
International Standard ISO/IEC 8652:2023 (E)
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2025
978-3-031-83734-0
env. 102.00 CHF
disponible dès juin 2025
Pattern Recognition
46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10–13, 2024, Proceedings, Part II
Cremers, Daniel
|
Lähner, Zorah
|
Moeller, Michael
Springer International Publishing
,
2025
978-3-031-85186-5
env. 91.00 CHF
disponible dès mai 2025
Pattern Recognition
46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10–13, 2024, Proceedings, Part I
Cremers, Daniel
|
Lähner, Zorah
|
Moeller, Michael
Springer International Publishing
,
2025
978-3-031-85180-3
env. 91.00 CHF
disponible dès mai 2025
Optimization and Applications
15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16–20, 2024, Revised Selected Papers
Olenev, Nicholas
|
Evtushenko, Yuri
|
Jaćimović, Milojica
Springer International Publishing
,
2025
978-3-031-79118-5
env. 91.00 CHF
disponible dès mai 2025
Socio-Technical Aspects in Security and Trust
12th International Workshop, STAST 2022, Copenhagen, Denmark, September 26, 2022, Revised Selected Papers
Mehrnezhad, Maryam
|
Parkin, Simon
Springer International Publishing
,
2025
978-3-031-83071-6
env. 69.00 CHF
disponible dès mai 2025
Human and Artificial Rationalities. Advances in Cognition, Computation, and ...
Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings
Baratgin, Jean
|
Jacquet, Baptiste
|
Brochier, Emmanuel
Springer International Publishing
,
2025
978-3-031-84594-9
env. 102.00 CHF
disponible dès avril 2025
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 ...
LDTM 2024, MMMI/ML4MHD 2024, ML-CDS 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6–10, 2024, Proceedings
Schroder, Anna
|
Oxtoby, Neil
|
Young, Alexandra
Springer International Publishing
,
2025
978-3-031-84524-6
env. 81.00 CHF
disponible dès avril 2025
Secure IT Systems
29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings
Horn Iwaya, Leonardo
|
Kamm, Liina
|
Martucci, Leonardo
Springer International Publishing
,
2025
978-3-031-79006-5
env. 102.00 CHF
disponible dès avril 2025
Enterprise Design, Operations, and Computing
28th International Conference, EDOC 2024, Vienna, Austria, September 10–13, 2024, Revised Selected Papers
Borbinha, José
|
Prince Sales, Tiago
|
Da Silva, Miguel Mira
Springer International Publishing
,
2025
978-3-031-78337-1
env. 91.00 CHF
disponible dès avril 2025
Autres titres sur ce thème
Constrained Markov Sequence Generation
Applications to Music and Text
Pachet, François
|
Papadopoulos, Alexandre
|
Roy, Pierre
Springer Nature EN
,
2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
Coherence-Targeted Text Summarization
Zhang, Renxian
Springer Nature ENTongji University Press
,
2051
978-981-10-7943-6
env. 116.00 CHF
disponible dès janvier 2051
Embedded Computer Systems: Architectures, Modeling, and Simulation
24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part I
Carro, Luigi
|
Regazzoni, Francesco
|
Pilato, Christian
Springer International Publishing
,
2025
978-3-031-78376-0
env. 81.00 CHF
disponible dès mars 2025
Computer Science and Education in Computer Science
20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28–30, 2024, Proceedings
Zlateva, Tanya
|
Tuparov, Georgi
Springer International Publishing
,
2025
978-3-031-84311-2
env. 103.00 CHF
disponible dès mars 2025
Intelligent Technology for Future Transportation
First International Symposium, ITFT 2024, Helsinki, Finland, October 19–21, 2024, Proceedings
Razminia, Abolhassan
|
Nguyen, Dinh Hoa
Springer International Publishing
,
2025
978-3-031-84147-7
env. 116.00 CHF
disponible dès mars 2025
The Design of Human-Centered Artificial Intelligence for the Workplace
Coursaris, Constantinos K.
|
Beringer, Joerg
|
Léger, Pierre-Majorique
Springer International Publishing
,
2025
978-3-031-83511-7
env. 206.00 CHF
disponible dès juin 2025
Applying Blockchain Technology
Concepts and Trends
Iqbal, Javaid
|
Bamhdi, Alwi
|
Pandow, Bilal Ahmad
Taylor and Francis
,
2025
978-1-032-63703-7
env. 105.00 CHF
disponible dès mai 2025
Advanced Network Technologies and Intelligent Computing
4th International Conference, ANTIC 2024, Varanasi, India, December 19–21, 2024, Proceedings, Part-III
Verma, Anshul
|
Verma, Pradeepika
|
Pattanaik, Kiran Kumar
Springer International Publishing
,
2025
978-3-031-83792-0
env. 123.00 CHF
disponible dès mars 2025
Tableau at Work
Young Cathy
Taylor and Francis
,
2025
978-1-032-93564-5
env. 205.00 CHF
disponible dès mai 2025
Handbuch der Mess- und Automatisierungstechnik in der Produktion
Grünhaupt, Ulrich
|
Ruskowski, Martin
Springer
,
2030
978-3-662-61867-7
env. 196.00 CHF
disponible dès novembre 2030
Artificial Intelligence for Design and Process Science
Suh, Sang C.
Springer International Publishing
,
2025
978-3-031-67885-1
206.00 CHF
livrable dans env. 20-45 jours
Computer-Human Interaction Research and Applications
8th International Conference, CHIRA 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part II
da Silva, Hugo Plácido
|
Cipresso, Pietro
Springer International Publishing
,
2025
978-3-031-83844-6
env. 123.00 CHF
disponible dès mars 2025