Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (Theory of Computation)

Flavio D'Alessandro, Ald de Luca, Aldo de Luca - Teoria degli Automi Finiti
Flavio D'Alessandro, Ald de Luca, Aldo de Luca Teoria degli Automi Finiti Italiano 06.06.2013 Tascabile CHF 42.90 1-2 settimane
Marcello Bonsangue, Chen, Yixiang Chen - Artificial Intelligence Logic and Applications 5th International Conference, AILA 2025, Xi'an, China, August 16-17, 2025, Proceedings
Marcello Bonsangue, Chen, Yixiang Chen Artificial Intelligence Logic and Applications Inglese Tascabile CHF 103.00 Pubblicazione il 31.05.2026
Anne E Haxthausen et al, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice ter Beek, … - Journeys Between Formal Methods and the Railway Industry Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Anne E Haxthausen et al, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice ter Beek, … Journeys Between Formal Methods and the Railway Industry Inglese 11.06.2026 Tascabile CHF 133.00 6-7 settimane
Fernando Ortiz-Rodríguez, Pramod Patil, Shishir Shandilya, Kailash Shaw, Shubhangi Suryawanshi, … - Business Intelligence, Computational Mathematics, and Data Analytics Second International Conference, IBCD 2025, Pune, India, September 26-27, 2025, Proceedings
Fernando Ortiz-Rodríguez, Pramod Patil, Shishir Shandilya, Kailash Shaw, Shubhangi Suryawanshi, … Business Intelligence, Computational Mathematics, and Data Analytics Inglese 30.05.2026 Tascabile CHF 104.00 6-7 settimane
Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … - Advances in Computer Graphics 42nd Computer Graphics International Conference, CGI 2025, Hong Kong, China, July 14-18, 2025, Proceedings, Part II
Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … Advances in Computer Graphics Inglese Tascabile CHF 102.00 Pubblicazione il 12.06.2026
Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … - Advances in Computer Graphics 42nd Computer Graphics International Conference, CGI 2025, Hong Kong, China, July 14-18, 2025, Proceedings, Part I
Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … Advances in Computer Graphics Inglese Tascabile CHF 102.00 Pubblicazione il 12.06.2026
Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik - Agents and Artificial Intelligence 17th International Conference, ICAART 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers, Part I
Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik Agents and Artificial Intelligence Inglese Tascabile CHF 132.00 Pubblicazione il 29.05.2026
Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik - Agents and Artificial Intelligence 17th International Conference, ICAART 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers, Part II
Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik Agents and Artificial Intelligence Inglese Tascabile CHF 132.00 Pubblicazione il 29.05.2026
Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … - Advances in Computer Graphics 42nd Computer Graphics International Conference, CGI 2025, Hong Kong, China, July 14-18, 2025, Proceedings, Part III
Jinman Kim, Ping Li, Lizhuang Ma, Nadia Magnenat-Thalmann, Bin Sheng, … Advances in Computer Graphics Inglese Tascabile CHF 102.00 Pubblicazione il 12.06.2026
Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik - Agents and Artificial Intelligence 17th International Conference, ICAART 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers, Part III
Ana Paula Rocha, Ana Paula Rocha, Luc Steels, H. Jaap van den Herik Agents and Artificial Intelligence Inglese, Tedesco Tascabile CHF 132.00 Pubblicazione il 29.05.2026
Ahmed Ashur, Tammam Benmusa, Nabil Drawil, Mohamed Samir Elbuni, Issmail Ellabib, … - Information and Communications Technologies Third International Libyan Conference, ILCICT 2025 Tripoli, Libya, September 9-11, 2025 Proceedings
Ahmed Ashur, Tammam Benmusa, Nabil Drawil, Mohamed Samir Elbuni, Issmail Ellabib, … Information and Communications Technologies Inglese Tascabile CHF 103.00 Pubblicazione il 27.05.2026
Martin S. Krejca, Pillay, Nelishia Pillay, Martin S Krejca - Evolutionary Computation in Combinatorial Optimization 26th European Conference, EvoCOP 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings
Martin S. Krejca, Pillay, Nelishia Pillay, Martin S Krejca Evolutionary Computation in Combinatorial Optimization Inglese 27.05.2026 Tascabile CHF 82.00 6-7 settimane
Elvira Albert, Pasareanu, Corina Pasareanu - Fundamental Approaches to Software Engineering 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings
Elvira Albert, Pasareanu, Corina Pasareanu Fundamental Approaches to Software Engineering Inglese 17.06.2026 Tascabile CHF 56.90 6-7 settimane
Sebastian Junges, Katz, Guy Katz - Tools and Algorithms for the Construction and Analysis of Systems 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
Sebastian Junges, Katz, Guy Katz Tools and Algorithms for the Construction and Analysis of Systems Inglese 17.06.2026 Tascabile CHF 56.90 6-7 settimane
Sebastian Junges, Katz, Guy Katz - Tools and Algorithms for the Construction and Analysis of Systems 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
Sebastian Junges, Katz, Guy Katz Tools and Algorithms for the Construction and Analysis of Systems Inglese 17.06.2026 Tascabile CHF 56.90 6-7 settimane
Nathalie Bertrand, Milius, Stefan Milius - Foundations of Software Science and Computation Structures 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings
Nathalie Bertrand, Milius, Stefan Milius Foundations of Software Science and Computation Structures Inglese 17.06.2026 Tascabile CHF 56.90 6-7 settimane
James Jong Hyuk Park, James Jong Hyuk Park, Hui Tian, Yong Zhang - Parallel and Distributed Computing, Applications and Technologies 26th International Conference, PDCAT 2025, Gold Coast, QLD, Australia, November 22-24, 2025, Proceedings
James Jong Hyuk Park, James Jong Hyuk Park, Hui Tian, Yong Zhang Parallel and Distributed Computing, Applications and Technologies Inglese Tascabile CHF 123.00 Pubblicazione il 22.05.2026
Megan Dewar, Fan Chung Graham, Bogumil Kaminski, Bogumił Kamiński, Bogumil Kaminski et al, … - Modelling and Mining Networks 21st International Workshop, WAW 2026, Toronto, ON, Canada, June 15-19, 2026, Proceedings
Megan Dewar, Fan Chung Graham, Bogumil Kaminski, Bogumił Kamiński, Bogumil Kaminski et al, … Modelling and Mining Networks Inglese, Tedesco 21.06.2026 Tascabile CHF 81.00 6-7 settimane
Betim Cico, Neki Frasheri, Mirjana Ivanovic, Georgia Koloniari, Georgia Koloniari et al, … - Advances in ICT Research in the Balkans 11th Balkan Conference in Informatics, BCI 2025, Tirana, Albania, October 13-15, 2025, Proceedings
Betim Cico, Neki Frasheri, Mirjana Ivanovic, Georgia Koloniari, Georgia Koloniari et al, … Advances in ICT Research in the Balkans Inglese Tascabile CHF 116.00 Pubblicazione il 21.06.2026
Amir Goharshady, Haase, Christoph Haase - Dependable Software Engineering. Theories, Tools, and Applications 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings
Amir Goharshady, Haase, Christoph Haase Dependable Software Engineering. Theories, Tools, and Applications Inglese 17.05.2026 Tascabile CHF 103.00 6-7 settimane