NyWolfgang SchreinerConcrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Pris 1097,- Innbundet Legg i
NyFilip Murlak200 Problems on Languages, Automata, and Computation Pris 1182,- Flere utgaver > Legg i
NyNan ChenStochastic Methods for Modeling and Predicting Complex Dynamical Systems : Uncertainty Quantification, State Estimation, and Reduced-Order Models Pris 544,- Innbundet Legg i
William M. FarmerSimple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas Pris 1266,- Innbundet Legg i
NyJean-Louis BasdevantLectures on Quantum Mechanics : With Problems, Exercises and Solutions Pris 1350,- Innbundet Legg i
NyJohn VinceFoundation Mathematics for Computer Science : A Visual Approach Pris 928,- Flere utgaver > Legg i
NyAlfio BorzìSequential Quadratic Hamiltonian Method : Solving Optimal Control Problems Pris 2532,- Innbundet Legg i
Nikolos GurneyComputational Theory of Mind for Human-Machine Teams : First International Symposium, ToM for Teams 2021, Virtual Event, November 4–6, 2021, Revised Selected Papers Pris 1519,- Paperback Legg i
Yong ZhangComputing and Combinatorics : 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings Pris 1182,- Paperback Legg i
Rubina PolovinaMeasuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers Pris 1013,- Paperback Legg i
Nicholas OlenevOptimization and Applications : 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers Pris 844,- Paperback Legg i
Takanori IsobeProgress in Cryptology – INDOCRYPT 2022 : 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings Pris 1435,- Paperback Legg i
NyLeszek RutkowskiArtificial Intelligence and Soft Computing : 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19–23, 2022, Proceedings, Part II Pris 1013,- Paperback Legg i
NyGerard O'ReganMathematical Foundations of Software Engineering : A Practical Guide to Essentials Pris 1266,- Innbundet Legg i
John Lawrence NazarethConcise Guide to Numerical Algorithmics : The Foundations and Spirit of Scientific Computing Pris 675,- Paperback Legg i
NyPatrizio AngeliniGraph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers Pris 1097,- Paperback Legg i
NyHenry HanRecent Advances in Transdisciplinary Data Science : First Southwest Data Science Conference, SDSC 2022, Waco, TX, USA, March 25–26, 2022, Revised Selected Papers Pris 1013,- Paperback Legg i
NyAlireza MahzoonFormal Verification of Structurally Complex Multipliers Pris 1350,- Innbundet Legg i
NyMichael HanusPractical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings Pris 1013,- Paperback Legg i
NyKatja GillyComputer Performance Engineering : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings Pris 844,- Paperback Legg i
NyAkash LalVerified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers Pris 760,- Paperback Legg i
NySihem MesnagerArithmetic of Finite Fields : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers Pris 1013,- Paperback Legg i
NyBohan LiWeb and Big Data : 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part II Pris 2700,- Paperback Legg i
NyBereket H. WoldegiorgisArtificial Intelligence and Digitalization for Sustainable Development : 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings Pris 1097,- Paperback Legg i
NyHiroyuki TakizawaParallel and Distributed Computing, Applications and Technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings Pris 1097,- Paperback Legg i
NyJoão CorreiaApplications of Evolutionary Computation : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings Pris 1435,- Paperback Legg i
NyOlga ValenzuelaTheory and Applications of Time Series Analysis and Forecasting : Selected Contributions from ITISE 2021 Pris 2700,- Innbundet Legg i
NyThomas AugustinReflections on the Foundations of Probability and Statistics : Essays in Honor of Teddy Seidenfeld Pris 1688,- Innbundet Legg i
Renata GuizzardiAdvances in Conceptual Modeling : ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17–20, 2022, Proceedings Pris 760,- Paperback Legg i
Adam KrzyzakStructural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshops, S+SSPR 2022, Montreal, QC, Canada, August 26–27, 2022, Proceedings Pris 1519,- Paperback Legg i
NyPhilippe Fournier-VigerAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022, Proceedings Pris 1013,- Paperback Legg i
NyLeszek RutkowskiArtificial Intelligence and Soft Computing : 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19–23, 2022, Proceedings, Part I Pris 1097,- Paperback Legg i
NyVladimir JordanHigh-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 12th International Conference, HPCST 2022, Barnaul, Russia, May 20–21, 2022, Revised Selected Papers Pris 1097,- Paperback Legg i
NyIleana BuhanSmart Card Research and Advanced Applications : 21st International Conference, CARDIS 2022, Birmingham, UK, November 7–9, 2022, Revised Selected Papers Pris 844,- Paperback Legg i
NyChen YuGreen, Pervasive, and Cloud Computing : 17th International Conference, GPC 2022, Chengdu, China, December 2–4, 2022, Proceedings Pris 844,- Paperback Legg i
NyMassih-Reza AminiMachine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part V Pris 1266,- Paperback Legg i
NyMohua BanerjeeLogic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings Pris 844,- Paperback Legg i
NyOrna KupfermanFoundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings Pris 544,- Paperback Legg i
NyAmitabha BagchiAlgorithms and Discrete Applied Mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023, Proceedings Pris 1097,- Paperback Legg i
NyDana SimianModelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28–30, 2022, Revised Selected Papers Pris 1097,- Paperback Legg i
NyMichael EmmerichEvolutionary Multi-Criterion Optimization : 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20–24, 2023, Proceedings Pris 1266,- Paperback Legg i
NyRoland GlückRelational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings Pris 844,- Paperback Legg i
NyMohammed SalemArtificial Intelligence: Theories and Applications : First International Conference, ICAITA 2022, Mascara, Algeria, November 7–8, 2022, Revised Selected Papers Pris 1097,- Paperback Legg i
NyAlvaro David Orjuela-CañónApplications of Computational Intelligence : 5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27–29, 2022, Revised Selected Papers Pris 928,- Paperback Legg i
NySriram SankaranarayananTools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I Pris 544,- Paperback Legg i
NyChun-Cheng LinWALCOM: Algorithms and Computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings Pris 1013,- Paperback Legg i
NyMegan DewarAlgorithms and Models for the Web Graph : 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023, Proceedings Pris 760,- Paperback Legg i
Ding-Zhu DuTheory and Applications of Models of Computation : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings Pris 1097,- Paperback Legg i
Minming LiFrontiers of Algorithmic Wisdom : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers Pris 844,- Paperback Legg i
NyWeizhi MengAlgorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10–12, 2022, Proceedings Pris 1519,- Paperback Legg i
Reneta P. BarnevaCombinatorial Image Analysis : 21st International Workshop, IWCIA 2022, Messina, Italy, July 13–15, 2022, Proceedings Pris 1013,- Paperback Legg i
NyJohannes Josef SchneiderArtificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers Pris 928,- Paperback Legg i
NyAlexander GelbukhComputational Linguistics and Intelligent Text Processing : 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I Pris 1350,- Paperback Legg i
NyDimitris E. SimosLearning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers Pris 1182,- Paperback Legg i
NyMakoto YokooDistributed Artificial Intelligence : 4th International Conference, DAI 2022, Tianjin, China, December 15–17, 2022, Proceedings Pris 760,- Paperback Legg i
NyLuca CalatroniScale Space and Variational Methods in Computer Vision : 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21–25, 2023, Proceedings Pris 1435,- Paperback Legg i
NyMassih-Reza AminiMachine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part I Pris 1350,- Paperback Legg i
NyLuca Di GasperoMetaheuristics : 14th International Conference, MIC 2022, Syracuse, Italy, July 11–14, 2022, Proceedings Pris 1182,- Paperback Legg i
NyMarsha ChechikFormal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings Pris 1350,- Paperback Legg i
NyPanos PardalosMathematical Research for Blockchain Economy : 3rd International Conference MARBLE 2022, Vilamoura, Portugal Pris 2532,- Innbundet Legg i
NyAna Cristina Bicharra GarciaAdvances in Artificial Intelligence – IBERAMIA 2022 : 17th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 23–25, 2022, Proceedings Pris 1097,- Paperback Legg i
Nicholas OlenevAdvances in Optimization and Applications : 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers Pris 928,- Paperback Legg i
NyJiri MazurekAdvances in Pairwise Comparisons : Detection, Evaluation and Reduction of Inconsistency Pris 1857,- Innbundet Legg i
NyChristopher L. BuckleyActive Inference : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers Pris 1097,- Paperback Legg i