Name: Language, Logic, and Computation
Price: 70.00 CHF
Availability: InStock
ISBN: 9783662595640

Language, Logic, and Computation

12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Publié par:Silva, Alexandra|Staton, Sam|Sutton, Peter, et al.

Livre (broché)70.00 CHF

livrable dans env. 20-45 jours

Informations bibliographiques

juillet 2019, 353 Pages, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Anglais

Springer Nature EN

978-3-662-59564-0

Sommaire

Mots-clés

Informations bibliographiques

juillet 2019, 353 Pages, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Anglais

Springer Nature EN

978-3-662-59564-0

Sommaire

Mots-clés

Autres titres de la collection: Theoretical Computer Science and General Issues

Afficher tout

Computing and Software Science

State of the Art and Perspectives

Steffen, Bernhard|Woeginger, Gerhard

Springer Nature EN, 2019

978-3-319-91907-2

43.90 CHF

livrable dans env. 20-45 jours

Queueing Theory and Network Applications

14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Phung-Duc, Tuan|Kasahara, Shoji|Wittevrongel, Sabine

Springer Nature EN, 2019

978-3-030-27180-0

70.00 CHF

livrable dans env. 20-45 jours

Central European Functional Programming School

6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Zsók, Viktória|Porkoláb, Zoltán|Horváth, Zoltán

Springer Nature EN, 2019

978-3-030-28345-2

92.00 CHF

livrable dans env. 20-45 jours

Euro-Par 2019: Parallel Processing

25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Yahyapour, Ramin

Springer Nature EN, 2019

978-3-030-29399-4

103.00 CHF

livrable dans env. 20-45 jours

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

André, Étienne|Stoelinga, Mariëlle

Springer Nature EN, 2019

978-3-030-29661-2

70.00 CHF

livrable dans env. 20-45 jours

Advanced Parallel Processing Technologies

13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Yew, Pen-chung|Stenström, Per|Wu, Junjie

Springer Nature EN, 2019

978-3-030-29610-0

70.00 CHF

livrable dans env. 20-45 jours

Combinatorics on Words

12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Mercaş, Robert|Reidenbach, Daniel

Springer Nature EN, 2019

978-3-030-28795-5

70.00 CHF

livrable dans env. 20-45 jours

Embedded Computer Systems: Architectures, Modeling, and Simulation

19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

Pnevmatikatos, Dionisios N.|Pelcat, Maxime|Jung, Matthias

Springer Nature EN, 2019

978-3-030-27561-7

70.00 CHF

livrable dans env. 20-45 jours

Numerical Software Verification

12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Zamani, Majid|Zufferey, Damien

Springer Nature EN, 2019

978-3-030-28422-0

70.00 CHF

livrable dans env. 20-45 jours

Algorithmic Aspects in Information and Management

13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings

Du, Ding-Zhu|Li, Lian|Sun, Xiaoming

Springer Nature EN, 2019

978-3-030-27194-7

70.00 CHF

livrable dans env. 20-45 jours

DNA Computing and Molecular Programming

25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Thachuk, Chris|Liu, Yan

Springer Nature EN, 2019

978-3-030-26806-0

82.00 CHF

livrable dans env. 20-45 jours

Computer Algebra in Scientific Computing

21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

England, Matthew|Koepf, Wolfram|Sadykov, Timur M.

Springer Nature EN, 2019

978-3-030-26830-5

70.00 CHF

livrable dans env. 20-45 jours

Autres titres sur ce thème

Global Digital Divides in the COVID-19 Era

Purposeful Use of the Internet and Technologies

Pick, James|Sarkar, Avijit

De Gruyter, 2026

978-3-11-079377-2

env. 127.00 CHF

disponible dès janvier 2026

AI Art, Machine Learning and the Stakes for Art Criticism

Khan, Nora N.

Lund Humphries, 2026

978-1-84822-528-2

env. 51.50 CHF

disponible dès février 2026

Mastering Machine Learning and Deep Learning

Foundations to Advanced Applications

Singh Krishna Kant|Singh, Akansha

Wiley, 2025

978-1-394-23844-6

env. 245.00 CHF

disponible dès avril 2025

Some Body Like Me

A story of unexpected love at the end of the world

Lapinska, Lucy

2026

978-1-3996-2304-9

env. 18.50 CHF

disponible dès février 2026

The Routledge Companion to Digital Humanities in Theatre and Performance

Leonhardt Nic

Taylor and Francis, 2026

978-1-138-91777-4

env. 239.00 CHF

disponible dès janvier 2026

A Brief History of Trust

Its Effect on Extreme Politics, Artificial Intelligence and Nuclear Threat

Ryback David

Ingram Publishers Services, 2025

978-1-7225-0729-9

env. 26.90 CHF

disponible dès septembre 2025

How to Build an End to End Business Continuity Program

Davi Barbara F.

Taylor and Francis, 2026

978-1-4987-9712-2

env. 85.00 CHF

disponible dès janvier 2026

A History of Artificially Intelligent Architecture

Case Studies from the USA, UK, Europe and Japan, 1949–1987

Ahmed, Danyal

Taylor and Francis, 2025

978-1-032-51360-7

env. 65.00 CHF

disponible dès mars 2025

Stochastic Analysis

Financial Mathematics with Matlab®

Halidias, Nikolaos|Stamatiou, Ioannis

De Gruyter, 2026

978-3-11-144285-3

env. 120.00 CHF

disponible dès février 2026

Intelligent Data Analytics for Solar Energy Prediction and Forecasting

Advances in Resource Assessment and Pv Systems Optimization

Amit Kumar Yadav|Malik, Hasmat|Majed A. Alotaibi

Elsevier, 2025

978-0-443-13482-1

env. 203.00 CHF

disponible dès mai 2025

Parent-Child Co-residence

A Focus on the Family Demography of Japan

Hirosima, Kiyosi

Springer Nature EN, 2025

978-4-431-56536-9

env. 69.00 CHF

disponible dès septembre 2025

Künftige Informatik

Technologischer Um- und Ausbau der traditionellen Informatik als logische und praktische Konsequenz der Digitalisierung und Kognitivierung zukünftiger Lebenswelten

Haun, Matthias

Springer, 2026

978-3-662-64759-2

env. 71.00 CHF

disponible dès février 2026