Theory and Applications of Models of Computation
1803542
|
T. V. Gopal
Gerhard Jäger
Silvia Steila
|
9783319559117 |
2014 |
Contains images
|
|
Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings (Lecture Notes in Computer Science #11436)
5920013
|
T. V. Gopal
Junzo Watada
|
9783030148126 |
2019 |
Contains images
|
|
Theory and Applications of Models of Computation
1429283
|
Rahul Jain
Sanjay Jain
Frank Stephan
|
9783319171425 |
2015 |
Contains images
|
|
Theory and Applications of Ontology: Computer Applications
1402341
|
Achilles Kameas
Roberto Poli
Michael Healy
|
9789048188475 |
2009 |
Contains images
|
|
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 |
|
|
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
|
Daniel P. Jarrett
Emanuël A.P. Habets
Patrick A. Naylor
|
9783319422114 |
2017 |
Contains images
|
|
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2019 (Contributions to Statistics)
3748069
|
Olga Valenzuela
Fernando Rojas
Luis Javier Herrera
Héctor Pomares
Ignacio Rojas
|
9783030562199 |
2020 |
Contains images
|
|
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2022 (Contributions to Statistics)
5767491
|
Olga Valenzuela
Fernando Rojas
Luis Javier Herrera
Héctor Pomares
Ignacio Rojas
|
9783031402098 |
2023 |
Contains images
|
|
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2018 (Contributions to Statistics)
3030329
|
Olga Valenzuela
Fernando Rojas
Héctor Pomares
Ignacio Rojas
|
9783030260361 |
2019 |
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 Approaches of Unascertained Group Decision-Making (Systems Evaluation, Prediction, And Decision-making Ser.)
3084588
|
Jianjun Zhu
|
9781466575981 |
2013 |
Contains images
|
|
The Theory and Craft of Digital Preservation
4422615
|
Trevor Owens
|
9781421426983 |
2018 |
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
|
Wojciech Zamojski
Jacek Mazurkiewicz
Jarosław Sugier
Tomasz Walkowiak
Janusz Kacprzyk
|
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
Marcello Bonsangue
Erika Ábrahám
|
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
1382123
|
Pieter Van Gorp
Gregor Engels
|
9783319420646 |
2016 |
Contains images
|
|
Theory and Practice of Model Transformations
1390574
|
Dimitris Kolovos
Manuel Wimmer
|
9783319211558 |
2015 |
Contains images
|
|