TY  - BOOK
ED  - Plattner, Hasso
ED  - Meinel, Christoph
ED  - Leifer, Larry
T1  - Dsign thinking research : studying co-creation in practice
Y1  - 2012
SN  - 978-3-642-21642-8
U6  - https://doi.org/10.1007/978-3-642-21643-5
PB  - Springer Berlin Heidelberg
CY  - Berlin, Heidelberg
ER  - 
TY  - BOOK
A1  - Plattner, Hasso
A1  - Zeier, Alexander
T1  - In-memory data managment : an inflection point for enterprise applications
Y1  - 2011
SN  - 978-3-642-19362-0
PB  - Springer
CY  - Heidelberg, New York
ER  - 
TY  - BOOK
A1  - Lerch, Alexander
T1  - An introduction to audio content analysis : applications in signal processing and music informatics
Y1  - 2012
SN  - 978-1-118-26682-3
U6  - https://doi.org/10.1002/9781118393550
PB  - Wiley
CY  - Hoboken, N.J
ER  - 
TY  - BOOK
A1  - Linckels, Serge
A1  - Meinel, Christoph
T1  - E-Librarian service : user-friendly semantic search in digital libraries
Y1  - 2011
SN  - 978-3-642-17742-2
U6  - https://doi.org/10.1007/978-3-642-17743-9
PB  - Springer-Verlag Berlin Heidelberg
CY  - Berlin, Heidelberg
ER  - 
TY  - BOOK
A1  - Al-Saffar, Loay Talib Ahmed
T1  - Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment
Y1  - 2013
SN  - 978-3-86956-220-9
ER  - 
TY  - BOOK
A1  - Becker, Basil
T1  - Model-based extension of AUTOSAR for architectural online reconfiguration
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Vogel, Tobias
T1  - Web service generation and data quality web services
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Trümper, Jonas
T1  - Towards visualization of complex, service-based software systems
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Kowark, Thomas
T1  - Towards a service landscape for a real-time project manager dasboard
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Feinbube, Frank
T1  - On Programming models for multi-core computers
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Hentschel, Uwe M.Sc.
T1  - Services for real -time computing
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Vogel, Thomas
T1  - Models at runtime for Monitoring and adapting software systems
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Hartmann, Stefanie
A1  - Selbig, Joachim
T1  - Introductory Bioinformatics
Y1  - 2009
SN  - 978-3-8370-5189-6
PB  - Books on Demand
CY  - Norderstedt
ER  - 
TY  - BOOK
A1  - Mihahn, Michael
A1  - Schnor, Bettina
T1  - Fault-Tolerant Grid Peer Services
T3  - Technischer Bericht
Y1  - 2004
SN  - 0946-7580
PB  - Universität Potsdam, Institut für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Schröder-Preikschat, Wolfgang
T1  - The logical design of parallel operating systems
Y1  - 1994
PB  - Prentice Hall International
CY  - Englewood Cliffs
ER  - 
TY  - BOOK
ED  - Schröder-Preikschat, Wolfgang
ED  - Wu, Min-You
T1  - The journal of supercomputing : trends in parallel operating systems
Y1  - 1995
PB  - Kluwer
CY  - Boston
ER  - 
TY  - BOOK
A1  - Koutzevlov, Atanas
A1  - Schubert, Wolfgang
A1  - Tschapek, Alexej
T1  - Software test plan & test description
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.016.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Koutzevlov, Atanas
A1  - Tschapek, Alexej
T1  - Software & interface requirements specifications
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.014.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Richter, Peter
T1  - Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht
Y1  - 1996
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
T1  - Structural FSM traversal : theory and a practical algorithm
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 05
PB  - Univ. Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Saposhnikov, Vl. V.
T1  - Self-dual duplication for error detection and testing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 02
PB  - Inst. für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 01
PB  - Univ. Potsdam
CY  - Potsdam [u.a.]
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural approach for space compaction for sequential circuits
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 05
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Towards computer science
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Marques de Carvalho, Jackson W.
A1  - Jürgensen, Helmut
T1  - Dynamic multi-purpose mathematics notation
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 04
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Boldt, Oliver
ED  - Jürgensen, Helmut
ED  - Robbins, L. E.
T1  - Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Katsura, M.
A1  - Konstantinidis, Stavros
T1  - Maximal solid codes
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Brzozowski, J. A.
A1  - Jürgensen, Helmut
T1  - Semilattices of fault semiautomata
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 02
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Kari, L.
A1  - Thierrin, G.
T1  - Morphisms preserving densities
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 09
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Staiger, Ludwig
T1  - Finite automata : encoding geometric figures
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 07
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Schaub, Torsten H.
T1  - The automation of reasoning with incomplete information : from semantic foundations to efficient computation
T3  - Lecture notes in computer science
Y1  - 1999
SN  - 3-540-64515-2
U6  - https://doi.org/10.1007/BFb0054963
VL  - 1409
PB  - Springer
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Linke, Thomas
T1  - New foundations for automation of default reasoning
Y1  - 2000
SN  - 3-89838-237-0
VL  - 237
PB  - Akad. Verl.-Ges. Aka
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Rätsch, Gunnar
A1  - Schölkopf, B.
A1  - Mika, Sebastian
A1  - Müller, Klaus-Robert
T1  - SVM and boosting : one class
T3  - GMD-Report
Y1  - 2000
VL  - 119
PB  - GMD-Forschungszentrum Informationstechnik
CY  - Sankt Augustin
ER  - 
TY  - BOOK
A1  - Tsuda, Koji
A1  - Sugiyama, Masashi
A1  - Müller, Klaus-Robert
T1  - Subspace information criterion for non-quadratice regularizers : model selection for sparse regressors
T3  - GMD-Report
Y1  - 2000
VL  - 120
PB  - GMD-Forschungszentrum Informationstechnik
CY  - Sankt Augustin
ER  - 
TY  - BOOK
ED  - Solla, Sara A.
ED  - Müller, Klaus-Robert
T1  - Advances in neural information processing systems 12 : proceedings of the 1999 conference
Y1  - 2000
SN  - 0-262-19450-3
PB  - MIT Press
CY  - Cambridge, Mass.
ER  - 
TY  - BOOK
A1  - Fedosov, Boris V.
A1  - Schulze, Bert-Wolfgang
A1  - Tarchanov, Nikolaj N.
T1  - Analytic index formulas for elliptic corner operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Coriasco, S.
A1  - Panarese, P.
T1  - Fourier integral operators defined by classical symbols with exit behaviour
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Tepoyan, Liparit
T1  - Degenerated operator equations og higher order
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Brewka, Gerhard
ED  - Witteveen, Cees
ED  - Schaub, Torsten H.
T1  - Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001
Y1  - 2001
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Benferhat, Salem
ED  - Besnard, Philippe
T1  - Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 - 21, 2001 ; proceedings
T3  - Lecture notes in computer science
Y1  - 2001
SN  - 3-540-42464-4
U6  - https://doi.org/10.1007/3-540-44652-4
VL  - 2143
PB  - Springer
CY  - Berlin, Heidelberg
ER  - 
TY  - BOOK
A1  - Aydin, Suna
A1  - Jürgensen, Helmut
A1  - Robbins, L. E.
T1  - Dialogues as co-operating grammars
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2001
SN  - 0946-7580
VL  - 2001, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Wu, K.
A1  - Karri, R.
A1  - Kuznetsov, Grigory
A1  - Gössel, Michael
T1  - Low Cost Concurrent Error Detection for the Advanced Encryption Standart
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 8
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - A new self-checking sum-bit duplicated carry-select adder
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 5
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Calame, Jens R.
T1  - Considerations on object oriented software testing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Gil, J. B.
A1  - Krainer, Thomas
A1  - Mendoza, A.
T1  - Resolvents of elliptic cone operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Gil, J. B.
A1  - Krainer, Thomas
A1  - Mendoza, A.
T1  - Geometry and Spectra of closed extensions of elliptic cone operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Niu, Pengcheng
A1  - Han, Yazhou
T1  - Hardy-Sobolev type inequalities on the Heisenberg Group
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kytmanov, Alexander M.
A1  - Myslivets, Simona
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Power sums of roots of a nonlinear system
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Harmonic integrals on domains with edges
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kytmanov, Alexander M.
A1  - Myslivets, Simona
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Zeta-function of a nonlinear system
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  -