Browse Results

Showing 57,151 through 57,175 of 61,702 results
Title Author ISBN Copyright Features Action
Theory and Applications of Ontology: Philosophical Perspectives 1364178 Roberto Poli Johanna Seibt 9789048188451 2009 Contains images
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings (Lecture Notes in Computer Science #10929) 5928452 Olaf Beyersdorff Christoph M. Wintersteiger 9783319941448 2018 Contains images
Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings (Lecture Notes in Computer Science #11628) 2792494 Mikoláš Janota Inês Lynce 9783030242589 2019 Contains images
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science #12178) 3556591 Martina Seidl Luca Pulina 9783030518257 2020 Contains images
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science #12831) 4188046 Chu-Min Li Felip Manyà 9783030802233 2021 Contains images
Theory and Applications of Spherical Microphone Array Processing 1529230 Emanuël A.P. Habets Daniel P. Jarrett Patrick A. Naylor 9783319422114 2017 Contains images
Theory and Applications of Time Series Analysis and Forecasting: Selected Contributions from ITISE 2021 (Contributions to Statistics) 5250587 Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier Herrera 9783031141973 2023 Contains images
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2018 (Contributions to Statistics) 3030329 Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas 9783030260361 2019 Contains images
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2019 (Contributions to Statistics) 3748069 Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier Herrera 9783030562199 2020 Contains images
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2022 (Contributions to Statistics) 5767491 Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier Herrera 9783031402098 2023 Contains images
Theory and Approaches of Unascertained Group Decision-Making (Systems Evaluation, Prediction, And Decision-making Ser.) 3084588 Jianjun Zhu 9781466575981 2013 Contains images
Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland (Advances in Intelligent Systems and Computing #1389) 4100212 Janusz Kacprzyk Wojciech Zamojski Jacek Mazurkiewicz Jarosław Sugier Tomasz Walkowiak 9783030767730 2021 Contains images
Theory and Modeling of Polymer Nanocomposites (Springer Series in Materials Science #310) 3779301 Valeriy V. Ginzburg Lisa M. Hall 9783030604431 2021 Contains images
Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines 3722672 Shin-Ya Nishizaki 9781000360400 2021 Contains images
Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops 1401878 Łukasz Bolikowski Vittore Casarosa Paula Goodale Nikos Houssos Paolo Manghi Jochen Schirrwagen 9783319084251 2014 Contains images
Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops: LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers (Communications in Computer and Information Science #416) 5787525 Łukasz Bolikowski, Vittore Casarosa, Paula Goodale, Nikos Houssos, Paolo Manghi and Jochen Schirrwagen 9783319084251 2014 Contains images
Theory and Practice of Formal Methods 1518719 Einar Broch Johnsen Erika Ábrahám Marcello Bonsangue 9783319307343 2016 Contains images
Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings (Lecture Notes in Computer Science #10888) 2119569 Arend Rensink Jesús Sánchez Cuadrado 9783319933177 2018 Contains images
Theory and Practice of Model Transformations 1390574 Dimitris Kolovos Manuel Wimmer 9783319211558 2015 Contains images
Theory and Practice of Model Transformations 1382123 Pieter Van Gorp Gregor Engels 9783319420646 2016 Contains images
Theory and Practice of Natural Computing 1615298 Carlos Martín-Vide Adrian-Horia Dediu Luis Magdalena 9783319268415 2015 Contains images
Theory and Practice of Natural Computing 1822708 Carlos Martín-Vide Miguel A. Vega-Rodríguez Roman Neruda 9783319710693 2017 Contains images
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings (Lecture Notes in Computer Science #13082) 5926461 Carlos Martín-Vide Miguel A. Vega-Rodríguez Claus Aranha 9783030904258 2021 Contains images
Theory and Practice of Natural Computing: 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings (Lecture Notes in Computer Science #11324) 3883039 Michael O'Neill Carlos Martín-Vide Miguel A. Vega-Rodríguez David Fagan 9783030040703 2018 Contains images
Theory and Practice of Natural Computing: 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings (Lecture Notes in Computer Science #11934) 3020020 Carlos Martín-Vide Miguel A. Vega-Rodríguez Geoffrey Pond 9783030345006 2019 Contains images

Refine Search

Showing 57,151 through 57,175 of 61,702 results