E-LIB Suche - Ergebnisse für: KINDER, SEBASTIAN

1

The effect of geographical position and employment fluctuat..:

Fedorov, Gennady M. ; Kinder, Sebastian ; Kuznetsova, Tatyana Yu.
Baltic Region. 13 (2021) 4 - p. 129-146 , 2021

Link: https://doi.org/10.5922/..

2

The Challenging Task of Governing Cross-Border Investment i..:

Kinder, Sebastian ; Lis, Kamil ; Peiker, Wolfdietrich.
Quaestiones Geographicae. 33 (2014) 4 - p. 27-41 , 2014

Link: https://doi.org/10.2478/..

3

Practising the Diffusion of Organizational Routines:

Radwan, Lukas ; Kinder, Sebastian
Environment and Planning A: Economy and Space. 45 (2013) 10 - p. 2442-2458 , 2013

Link: https://doi.org/10.1068/..

4

A formal approach for the construction and verification of ..:

Haxthausen, Anne E. ; Peleska, Jan ; Kinder, Sebastian
Formal Aspects of Computing. 23 (2011) 2 - p. 191-219 , 2011

Link: https://doi.org/10.1007/..

5

Modeling and proving functional completeness in formal veri..:

Kinder, Sebastian ; Drechsler, Rolf
International Journal on Software Tools for Technology Transfer. 10 (2008) 6 - p. 521-534 , 2008

Link: https://doi.org/10.1007/..

6

An integrated approach for combining BDDs and SAT provers:

Drechsler, Rolf ; Fey, Görschwin ; Kinder, Sebastian
Facta universitatis - series: Electronics and Energetics. 20 (2007) 3 - p. 415-436 , 2007

Link: https://doi.org/10.2298/..

7

The Challenging Task of Governing Cross-Border Investment i..:

Kinder Sebastian ; Lis Kamil ; Peiker Wolfdietrich.
https://doi.org/10.2478/quageo-2014-0047. , 2014

Link: https://doi.org/10.2478/..

8

The challenging task of governing cross-border investment i..:

Kinder, Sebastian ; Lis, Kamil ; Peiker, Wolfdietrich.
Quaestiones Geographicae vol. 33 (4), 2014, pp. 27-41. , 2014

Link: http://hdl.handle.net/10..

9

The Challenging Task of Governing Cross-Border Investment i..:

Kinder, Sebastian ; Lis, Kamil ; Peiker, Wolfdietrich.
http://pressto.amu.edu.pl/index.php/qg/article/view/quageo-2014-0047/29635. , 2014

Link: http://pressto.amu.edu.p..

10

A formal approach for the construction and verification of ..:

Haxthausen, Anne E ; Peleska, Jan ; Kinder, Sebastian
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00165-009-0143-6. , 2009

Link: https://hal.archives-ouv..

11

A Neutral Germanium/Phosphorus Frustrated Lewis Pair and It..:

Kinder, Timo A. ; Pior, René ; Blomeyer, Sebastian...
Chemistry – A European Journal. 25 (2019) 23 - p. 5899-5903 , 2019

Link: https://doi.org/10.1002/..

12

Small Neutral Geminal Silicon/Phosphorus Frustrated Lewis P..:

Kinder, Timo A. ; Blomeyer, Sebastian ; Franke, Maurice...
European Journal of Inorganic Chemistry. 2019 (2019) 35 - p. 3933-3939 , 2019

Link: https://doi.org/10.1002/..

13

Protecting Software through Obfuscation : Can It Keep Pa..:

Schrittwieser, Sebastian ; Katzenbeisser, Stefan ; Kinder, Johannes..
ACM Computing Surveys (CSUR). 49 (2016) 1 - p. 1-37 , 2016

Link: https://dl.acm.org/doi/1..

14

Protecting Software through Obfuscation: Can It Keep Pace w..:

Schrittwieser, Sebastian ; Katzenbeisser, Stefan ; Kinder, Johannes..
ACM Computing Surveys. 49 (2016) 1 - p. 1-37 , 2016

Link: https://doi.org/10.1145/..

15

Automated validation and verification of railway specific c..

Berichte aus der Informatik

Kinder, Sebastian , 2008

Copies: Zentrale; TB BHV;