Autor: "Linke, Thomas" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Linke, Thomas"" wg kryterium: Autor

Wyświetlanie 1-20 z 88

Zaznacz stronę

Skocz do pozycji: 1.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: How to Boost the Extended Enterprise Approach in Engineering Using MBSE – A Case Study from the Railway Business
Autorzy:: Ferrogalini, Marco
Linke, Thomas
Schweiger, Ulrich; Pokaż więcej
Źródło:: Complex Systems Design & Management : Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018. :79-96

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Multi-technology Products
Autorzy:: Bobzin, Kirsten
Bührig-Polaczek, Andreas
Hopmann, Christian
Loosen, Peter
Poprawe, Reinhart
Öte, Mehmet
Reisgen, Uwe
Brögelmann, Tobias
Gillner, Arnold
Linke, Thomas F.
Vroomen, Uwe
Windeck, Christian
Berens, Michael
Hartmann, Claudia A.
Klein, Jan
Kruppe, Nathan C.
Liao, Xifang
Messer, Patrick
Naderi, Mona
Ochotta, Philipp
Orth, Magnus
Petzinka, Florian
Röbig, Malte
Schiebahn, Alexander
Schönberger, Johannes
Steger, Michael; Pokaż więcej
Źródło:: Integrative Production Technology : Theory and Applications. :515-627

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Novel signal peptides improve the secretion of recombinant Staphylococcus aureus Alpha toxinH35L in Escherichia coli
Autorzy:: Han, SooJin
Machhi, Shushil
Berge, Mark
Xi, Guoling
Linke, Thomas
Schoner, Ronald; Pokaż więcej
Źródło:: AMB Express. December 2017 7(1):1-14

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: Rudolf Otto: Parallelen und Wertunterschiede im Christentum und Buddhatum.
Autorzy:: Linke, Thomas thomas.linke@uni-leipzig.de; Pokaż więcej
Źródło:: Journal for the History of Modern Theology / Zeitschrift für Neuere Theologiegeschichte. Oct2020, Vol. 27 Issue 2, p311-350. 40p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 7.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Suitable Graphs for Answer Set Programming
Autorzy:: Linke, Thomas
Sarsakov, Vladimir; Pokaż więcej
Źródło:: Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings. 3452:154-168

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The nomore++ System
Autorzy:: Anger, Christian
Gebser, Martin
Linke, Thomas
Neumann, André
Schaub, Torsten; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings. 3662:422-426

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: The nomore + + Approach to Answer Set Solving
Autorzy:: Anger, Christian
Gebser, Martin
Linke, Thomas
Neumann, André
Schaub, Torsten; Pokaż więcej
Źródło:: Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings. 3835:95-109

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Profiling Answer Set Programming: The Visualization Component of the noMoRe System
Autorzy:: Bösel, Andreas
Linke, Thomas
Schaub, Torsten; Pokaż więcej
Źródło:: Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. 3229:702-705

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: On Acyclic and Head-Cycle Free Nested Logic Programs
Autorzy:: Linke, Thomas
Tompits, Hans
Woltran, Stefan; Pokaż więcej
Źródło:: Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings. 3132:225-239

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Graphs and Colorings for Answer Set Programming: Abridged Report
Autorzy:: Konczak, Kathrin
Linke, Thomas
Schaub, Torsten; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings. 2923:127-140

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: NoMoRe: Non-monotonic Reasoning with Logic Programs
Autorzy:: Anger, Christian
Konczak, Kathrin
Linke, Thomas; Pokaż więcej
Źródło:: Logics in Artificial Intelligence : 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings. 2424:521-524

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: More on noMoRe
Autorzy:: Linke, Thomas
Anger, Christian
Konczak, Kathrin; Pokaż więcej
Źródło:: Logics in Artificial Intelligence : 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings. 2424:468-480

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics
Autorzy:: Anger, Christian
Konczak, Kathrin
Linke, Thomas; Pokaż więcej
Źródło:: Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. 2083:325-330

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics
Autorzy:: Anger, Christian
Konczak, Kathrin
Linke, Thomas; Pokaż więcej
Źródło:: Logic Programming and Nonmotonic Reasoning : 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings. 2173:406-410

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: On bottom-up pre-processing techniques for automated default reasoning
Autorzy:: Linke, Thomas
Schaub, Torsten; Pokaż więcej
Źródło:: Symbolic and Quantitative Approaches to Reasoning and Uncertainty. 1638:268-278

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Default Reasoning via Blocking Sets
Autorzy:: Linke, Thomas
Schaub, Torsten; Pokaż więcej
Źródło:: Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings. 1730:247-261

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 88

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Linke, Thomas"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji