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
Logik für das Informatikstudium
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
De:
Junker, Markus
Livre (broché)
env. 49.90 CHF
disponible dès juillet 2025
Ajouter au panier
Informations bibliographiques
juillet 2025
,
Allemand
Springer
978-3-662-70824-8
Mots-clés
Informations bibliographiques
juillet 2025
,
Allemand
Springer
978-3-662-70824-8
Mots-clés
Autres titres sur ce thème
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
Introduction to Combinatorics and Graph Theory
Rama, R
Springer International Publishing
,
2025
978-3-031-74251-4
env. 109.00 CHF
disponible dès avril 2025
Statistics for Scientists
A Concise Guide for Data-driven Research
Michelucci, Umberto
Springer International Publishing
,
2026
978-3-031-78146-9
env. 96.00 CHF
disponible dès juin 2026
Advanced Research in Technologies, Information, Innovation and Sustainability
4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21–23, 2024, Revised Selected Papers, Part I
Guarda, Teresa
|
Portela, Filipe
|
Gatica, Gustavo
Springer International Publishing
,
2025
978-3-031-83206-2
env. 123.00 CHF
disponible dès mars 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
Convex Functions and Their Applications
A Contemporary Approach
Niculescu, Constantin P.
|
Persson, Lars-Erik
Springer International Publishing
,
2025
978-3-031-71966-0
env. 109.00 CHF
disponible dès mars 2025
Time Series Analysis and Forecasting
Selected Contributions from ITISE 2023
Valenzuela, Olga
|
Rojas, Fernando
|
Herrera, Luis Javier
Springer International Publishing
,
2025
978-3-031-69749-4
env. 260.00 CHF
disponible dès mai 2025
Testing Software and Systems
36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30–November 1, 2024, Proceedings
Menéndez, Héctor D.
|
Bello-Orgaz, Gema
|
Barnard, Pepita
Springer International Publishing
,
2025
978-3-031-80888-3
env. 91.00 CHF
disponible dès mars 2025
Number-Theoretic Methods in Cryptology
Fourth International Conference, NuTMiC 2024, Szczecin, Poland, June 24–26, 2024, Revised Selected Papers
Dąbrowski, Andrzej
|
Pieprzyk, Josef
|
Pomykała, Jacek
Springer International Publishing
,
2025
978-3-031-82379-4
env. 91.00 CHF
disponible dès février 2025
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2025
978-3-662-67655-4
env. 71.00 CHF
disponible dès mai 2025
Advanced Research in Technologies, Information, Innovation and Sustainability
4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21–23, 2024, Revised Selected Papers, Part III
Guarda, Teresa
|
Portela, Filipe
|
Gatica, Gustavo
Springer International Publishing
,
2025
978-3-031-84077-7
env. 116.00 CHF
disponible dès mars 2025
Advances in Computational Intelligence. MICAI 2024 International Workshops
HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21–25, 2024, Proceedings, Part-II
Martínez-Villaseñor, Lourdes
|
Ochoa-Ruiz, Gilberto
|
Montes Rivera, Martin
Springer International Publishing
,
2025
978-3-031-83881-1
env. 81.00 CHF
disponible dès mars 2025