Computation and Logic in the Real World | Theoretical Computer Science and General Issues

Thèmes principaux

Publications

Services

Auteurs

Éditions

Shop

LEXIA

Revues

Livres spécialisés LOKI Semaphor

S’enregistrer

LEXIA

Revues

Livres spécialisés

Thèmes principaux

Sujet

Étudier le droit

Droit du travail

Droit de la famille

Droit des assurances sociales

Publications

Littérature

Modules en ligne LEXIA

Bases de données

Littérature pour les études

Services

Services pour

Corporate Books

Solutions d'édition

Actualités

Corporate Publishing

Content solutions

Auteurs

Nos Auteurs

Aide

Espace des auteurs

Publier chez nous

Éditions

Qui sommes-nous?

Thèmes

En savoir plus

Vision et mission

Culture d'entreprise

Shop

Droit suisse

Droit étranger

A propos de notre boutique

Infos, conseils et astuces

Par domaine juridique

S’enregistrer

cover

Computation and Logic in the Real World

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Publié par:Cooper, Barry S.|Löwe, Benedikt|Sorbi, Andrea

Livre (broché)135.00 CHF

livrable dans env. 20-45 jours

Contenu

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.

Informations bibliographiques

juin 2007, 826 Pages, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Anglais

Springer Nature EN

978-3-540-73000-2

Sommaire

Mots-clés

Contenu

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.

Informations bibliographiques

juin 2007, 826 Pages, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Anglais

Springer Nature EN

978-3-540-73000-2

Sommaire

Mots-clés

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

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

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

Computing and Combinatorics

25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

Du, Ding-Zhu|Duan, Zhenhua|Tian, Cong

Springer Nature EN, 2019

978-3-030-26175-7

70.00 CHF

livrable dans env. 20-45 jours

Parallel Computing Technologies

15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Malyshkin, Victor

Springer Nature EN, 2019

978-3-030-25635-7

103.00 CHF

livrable dans env. 20-45 jours

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Dillig, Isil|Tasiran, Serdar

Springer Nature EN, 2019

978-3-030-25539-8

70.00 CHF

livrable dans env. 20-45 jours

Autres titres sur ce thème

Qualität durch Digitalisierung

Qualitätsmanagement mit KI, Data Mining, Chatbots und Co

Hanser Fachbuch, 2099

978-3-446-46699-9

env. 65.00 CHF

disponible dès janvier 2099

Encyclopedia of Optimization

Pardalos, Panos M.|Prokopyev, Oleg A.

Springer International Publishing, 2026

978-3-031-73357-4

env. 3547.00 CHF

disponible dès avril 2026

Human Capital Analytics

Exploring the HR Spectrum in Industry 5.0

Gupta Deepa|Gupta, Mukul|Westerman, Jim

Wiley, 2028

978-1-394-23832-3

env. 275.00 CHF

disponible dès mai 2028

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

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Truong, Dothang

Taylor and Francis, 2026

978-0-367-75196-8

env. 75.00 CHF

disponible dès janvier 2026

Software Library

Springer Nature EN, 2040

978-3-540-76620-9

169.00 CHF

livrable dans env. 20-45 jours

Lean Innovative Connected Vessels

The LINCOLN Project

Ramundo, Lucia|Terzi, Sergio

Springer International Publishing, 2026

978-3-030-35705-4

env. 69.00 CHF

disponible dès avril 2026

Study Guide for TOGAF 9.1 Certifications

Taylor and Francis, 2026

978-1-138-19603-2

env. 105.00 CHF

disponible dès janvier 2026

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Penguin Books, 2026

978-0-593-96348-7

env. 36.50 CHF

disponible dès janvier 2026

Personas Across Cultures

Representing the Next Billion Users

Cabrero, Daniel G.

Springer Nature EN, 2026

978-3-030-24350-0

env. 146.00 CHF

disponible dès avril 2026

Virtual Engineering

Ganzheitliche Prozess- und IT-Systemintegration

Ovtcharova, Jivka

Springer, 2029

978-3-540-79441-7

env. 102.00 CHF

disponible dès juin 2029

Computational Methods for Affect Detection from Natural Language

Balahur-Dobrescu, Alexandra|Taboada, Maite|Schuller, Björn W.

Springer Nature EN, 2100

978-3-319-00601-7

env. 123.00 CHF

disponible dès avril 2100