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
An Introduction to Theory of Computation
An Algorithmic Approach
De:
Ogihara, Mitsunori
Livre (relié)
env. 103.00 CHF
disponible dès juillet 2025
Ajouter au panier
Informations bibliographiques
juillet 2025
,
env. 340 Pages
,
Anglais
Springer International Publishing
978-3-031-84739-4
Mots-clés
Informations bibliographiques
juillet 2025
,
env. 340 Pages
,
Anglais
Springer International Publishing
978-3-031-84739-4
Mots-clés
Autres titres sur ce thème
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Junker, Markus
Springer
,
2025
978-3-662-70824-8
env. 49.90 CHF
disponible dès juin 2025
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of ...
International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers
Cranefield, Stephen
|
Nardin, Luis Gustavo
|
Lloyd, Nathan
Springer International Publishing
,
2025
978-3-031-82038-0
env. 69.00 CHF
disponible dès mars 2025
Advances in Computer Graphics
41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part I
Magnenat-Thalmann, Nadia
|
Kim, Jinman
|
Sheng, Bin
Springer International Publishing
,
2025
978-3-031-81805-9
env. 91.00 CHF
disponible dès février 2025
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I
Královič, Rastislav
|
Kůrková, Věra
Springer International Publishing
,
2025
978-3-031-82669-6
env. 91.00 CHF
disponible dès mars 2025
Stochastic Methods for Modeling and Predicting Complex Dynamical Systems
Uncertainty Quantification, State Estimation, and Reduced-Order Models
Chen, Nan
Springer Nature EN
,
2024
978-3-031-22251-1
56.50 CHF
livrable dans env. 20-45 jours
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Shankaranarayanan, Krishna
|
Sankaranarayanan, Sriram
|
Trivedi, Ashutosh
Springer International Publishing
,
2025
978-3-031-82699-3
env. 81.00 CHF
disponible dès février 2025
Metadata and Semantic Research
18th Research Conference, MTSR 2024, Athens, Greece, November 19–22, 2024, Revised Selected Papers
Sfakakis, Michalis
|
Garoufallou, Emmanouel
|
Damigos, Matthew
Springer International Publishing
,
2025
978-3-031-81973-5
env. 103.00 CHF
disponible dès février 2025
Artificial Psychology
Learning from the Unexpected Capabilities of Large Language Models
Lewis, Clayton
Springer International Publishing
,
2025
978-3-031-76645-9
env. 55.50 CHF
disponible dès mars 2025
Artificial Intelligence: Towards Sustainable Intelligence
Second International Conference, AI4S 2024, Alcala de Henares, Spain, October 3–4, 2024, Proceedings
Tiwari, Sanju
|
Ortiz-Rodriguez, Fernando
|
Sicilia, Miguel-Angel
Springer International Publishing
,
2025
978-3-031-81368-9
env. 96.00 CHF
disponible dès mars 2025
Computer Vision
Statistical Models for Marr's Paradigm
Zhu, Song-Chun
|
Wu, Ying Nian
Springer Nature EN
,
2024
978-3-030-96532-7
77.00 CHF
livrable dans env. 20-45 jours
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Akshay, S.
|
Niemetz, Aina
|
Sankaranarayanan, Sriram
Springer International Publishing
,
2025
978-3-031-78749-2
env. 188.00 CHF
disponible dès mars 2025
Introduction to Graph Convexity
An Algorithmic Approach
Araújo, Júlio
|
Dourado, Mitre C.
|
Protti, Fábio
Springer International Publishing
,
2025
978-3-031-84127-9
env. 83.00 CHF
disponible dès juin 2025