Name: Computation and Logic in the Real World
Price: 135.00 CHF
Availability: InStock
ISBN: 9783540730002

Computation and Logic in the Real World

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

Herausgegeben von:Cooper, Barry S.|Löwe, Benedikt|Sorbi, Andrea

Buch (broschiert)135.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Inhalt

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.

Bibliografische Angaben

Juni 2007, 826 Seiten, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Englisch

Springer Nature EN

978-3-540-73000-2

Inhaltsverzeichnis

Schlagworte

Inhalt

Bibliografische Angaben

Juni 2007, 826 Seiten, Theoretical Computer Science and General Issues , Lecture Notes in Computer Science, Englisch

Springer Nature EN

978-3-540-73000-2

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Theoretical Computer Science and General Issues

Alle anzeigen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

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

lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

The Stack, 10th Anniversary Edition

On Software and Sovereignty

Bratton Benjamin H.

University Presses, 2026

978-0-262-55391-9

ca. 42.50 CHF

erhältlich ab Februar 2026

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

ca. 123.00 CHF

erhältlich ab April 2100

Zeroing Dynamics, Gradient Dynamics, and Newton Iterations

Zhang Yunong|Xiao Lin|Xiao Zhengli

Taylor and Francis, 2026

978-1-138-89408-2

ca. 99.00 CHF

erhältlich ab Januar 2026

Virtual Engineering

Ganzheitliche Prozess- und IT-Systemintegration

Ovtcharova, Jivka

Springer, 2029

978-3-540-79441-7

ca. 102.00 CHF

erhältlich ab Juni 2029

Encyclopedia of Robotics

Ang, Marcelo H.|Khatib, Oussama|Siciliano, Bruno

Springer Nature EN, 2027

978-3-662-43769-8

ca. 1419.00 CHF

erhältlich ab August 2027

Medical Imaging Application in Health Assessment and Disease Management

Dilber Uzun Ozsahin|Ozsahin, Ilker|Leena R David

Elsevier, 2026

978-0-443-28967-5

ca. 235.00 CHF

erhältlich ab Januar 2026

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Penguin Books, 2026

978-0-593-96348-7

ca. 36.50 CHF

erhältlich ab Januar 2026

Springer Handbook of Reliability

Pham, Hoang

Springer International Publishing, 2026

978-3-031-78051-6

ca. 390.00 CHF

erhältlich ab März 2026

Stochastic Analysis

Financial Mathematics with Matlab®

Halidias, Nikolaos|Stamatiou, Ioannis

De Gruyter, 2026

978-3-11-144285-3

ca. 120.00 CHF

erhältlich ab Februar 2026

The Routledge Companion to Digital Humanities in Theatre and Performance

Leonhardt Nic

Taylor and Francis, 2026

978-1-138-91777-4

ca. 239.00 CHF

erhältlich ab Januar 2026

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Truong, Dothang

Taylor and Francis, 2026

978-0-367-75196-8

ca. 75.00 CHF

erhältlich ab Januar 2026

Adaptive Learning Opportunities

Toward a More Personal Education

Natriello, Gary J

Taylor and Francis, 2026

978-0-415-82534-4

ca. 46.90 CHF

erhältlich ab Januar 2026