I agree that this site is using cookies. You can find further informations here.
X
Backes, M
49  results:
Bookchapter (Online) X
Search for persons X
?
1

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Th..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Feng, Nick ; Hu, Alan J. ; Bayless, Sam... - p. 3-23 , 2024
Link: https://doi.org/10.1007/..
 
?
2

List of contributors:

, In: Biotechnology of Microbial Enzymes,
Agrawal, Komal ; Aguieiras, Erika Cristina G. ; Amesaka, Hiroshi... - p. xxiii-xxix , 2023
Link: https://doi.org/10.1016/..
 
?
3

Contributors:

, In: DiSaia and Creasman Clinical Gynecologic Oncology,
Backes, Floor J. ; Beffa, Lindsey B. ; Billingsley, Caroline C.... - p. iii-v , 2023
Link: https://doi.org/10.1016/..
 
?
4

Setting up and scaling up an LV management system today for..:

, In: CIRED Porto Workshop 2022: E-mobility and power distribution systems,
Schneider, A. C. ; Schiwek, R. ; Backes, M. - p. None , 2022
Link: https://doi.org/10.1049/..
 
?
5

Debugging Network Reachability with Blocked Paths:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bayless, S. ; Backes, J. ; DaCosta, D.... - p. 851-862 , 2021
Link: https://doi.org/10.1007/..
 
?
6

MOVING: A User-Centric Platform for Online Literacy Trainin..:

, In: Progress in IS; e-Science,
Apaolaza, Aitor ; Backes, Tobias ; Barthold, Sabine... - p. 77-97 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Image Enhancement Applied to Water Holding Capacity Images:

, In: 2020 International Conference on Systems, Signals and Image Processing (IWSSIP),
de Andrade, Renan G. ; Durval, Mariah C. ; Ferreira, Isaura M... - p. 199-204 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Wild boar Classification by Using a Fusion of Texture Analy..:

, In: 2020 33rd SIBGRAPI Conference on Graphics, Patterns and Images (SIBGRAPI),
Junior, Luis C. S. ; Padua, Mariceia B. S. ; Ogusuku, Leonardo M.... - p. 301-307 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Shape Classification Using Randomized Neural Network Descri..:

, In: 2020 International Conference on Systems, Signals and Image Processing (IWSSIP),
de Mesquita Sa Junior, Jarbas Joaci ; Backes, Andre R. ; Bruno, Odemir M. - p. 279-284 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Investigation of Current and Future Nitrogen Depositions an..:

, In: Air Pollution Modeling and its Application XXV; Springer Proceedings in Complexity,
Bieser, Johannes ; Backes, Anna M. ; Matthias, Volker - p. 469-475 , 2017
Link: https://doi.org/10.1007/..
 
?
11

Zusammenfassender Überblick und Fazit:

, In: Alter(n)sbilder in der Schule,
Amrhein, Ludwig ; Backes, Gertrud M. ; Harjes, Anne. - p. 229-245 , 2014
Link: https://doi.org/10.1007/..
 
?
12

Alter(n)sbilder in schulischen Lehrplänen:

, In: Alter(n)sbilder in der Schule,
Amrhein, Ludwig ; Backes, Gertrud M. ; Harjes, Anne. - p. 21-69 , 2014
Link: https://doi.org/10.1007/..
 
?
13

Forschungsinteresse und Konzeption der Studie:

, In: Alter(n)sbilder in der Schule,
Amrhein, Ludwig ; Backes, Gertrud M. ; Harjes, Anne. - p. 1-20 , 2014
Link: https://doi.org/10.1007/..
 
?
14

Potenziale des Alter(n)s – Perspektiven des homo vitae long..:

, In: Das erzwungene Paradies des Alters?,
Backes, Gertrud M. - p. 71-108 , 2014
Link: https://doi.org/10.1007/..
 
?
15

Contributors:

, In: Quantitative MRI of the Spinal Cord,
Abdel-Aziz, Khaled ; Alexander, Daniel C. ; Assaf, Yaniv... - p. xiii-xiv , 2014
Link: https://doi.org/10.1016/..
 
1-15