-
1دورية أكاديمية
المؤلفون: Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow
المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Barbara König, Sebastian Küpper, Christina Mika
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 75-91 (2017)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4
المؤلفون: Torsten Kucharzik, Rune Wilkens, Maria-Antonietta D’Agostino, Giovanni Maconi, Manuela Le Bars, Marjolein Lahaye, Ivana Bravatà, Maciej Nazar, Lioudmila Ni, Elena Ercole, Mariangela Allocca, Naděžda Machková, Floris A.E. de Voogd, Carolina Palmela, Rose Vaughan, Christian Maaser, Tomas Grega, Ivana Niangova, Rudolf Repak, Petra Matejkova, Radka Vanickova, Juel Mie Agerbæk, Annett Cannon, Vittorio Giuliano, Christoph Antoni, Jürgen Büning, Michael Gebel, Martin Grewe, Sebastian Küpper, Nikolas Ryschka, Andrej Potthoff, Wolfgang Reindl, Karolin Schliwa, Martin Schulz, Hermann Schulze, Markus Krankenhaus, Marco Affronti, Maria Laura, Christina Bezzio, Flaminia Cavallaro, Marina Coletta, Andrea Costantino, Federico Furfaro, Fabrizio Pizzolante, Steven Bots, Robert De Knegt, Ivan Bunganic, Zdenek Opravil, Joaquin Poza, Jordi Rimola, Cristina Suarez Ferrer
المساهمون: Gastroenterology and Hepatology, AGEM - Amsterdam Gastroenterology Endocrinology Metabolism
المصدر: Clinical gastroenterology and hepatology, 21(1), 153-163.e12. W.B. Saunders Ltd
مصطلحات موضوعية: STARDUST, Crohn’s Disease, Intestinal Ultrasound, Transmural Remission, Settore MED/16 - REUMATOLOGIA, Transmural Remission, Hepatology, Gastroenterology, Crohn's Disease, Intestinal Ultrasound, Crohn’s Disease
-
5
المصدر: Coalgebraic Methods in Computer Science ISBN: 9783031107351
مصطلحات موضوعية: Informatik
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcdcfd6b6c73c8debd8cba3b6f9c5dd1
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=85135068835 -
6
المؤلفون: Daniel Schäfer, Sebastian Schlücker, Tim Holtum, Roland Grzeschik, Axel Hoffmann, Sebastian Küpper
المصدر: The Journal of Physical Chemistry C. 124:2939-2944
مصطلحات موضوعية: Aqueous medium, Inorganic chemistry, Kinetics, Chemie, Nanoparticle, 4-Nitrophenol, 02 engineering and technology, engineering.material, 010402 general chemistry, 021001 nanoscience & nanotechnology, 01 natural sciences, 0104 chemical sciences, Surfaces, Coatings and Films, Electronic, Optical and Magnetic Materials, Catalysis, chemistry.chemical_compound, Sodium borohydride, General Energy, chemistry, engineering, Noble metal, Physical and Theoretical Chemistry, 0210 nano-technology
-
7
المؤلفون: Sebastian Küpper, Alexandra Silva, Barbara König, Harsh Beohar
المصدر: TASE
مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, Distributive lattice, 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, Topology, Encryption, 01 natural sciences, Computer Science - Software Engineering, Software, 020204 information systems, Lattice (order), 0202 electrical engineering, electronic engineering, information engineering, Bisimulation, business.industry, D.2.4, 020207 software engineering, Algebra, Software Engineering (cs.SE), Formalism (philosophy of mathematics), Informatik, F.3.1, 010201 computation theory & mathematics, business
وصف الملف: application/pdf
-
8
المؤلفون: Vikas Kumar, Sebastian Schlücker, Sebastian Küpper
المصدر: The journal of physical chemistry. A. 123(29)
مصطلحات موضوعية: Proton, Chemistry, Chemie, technology, industry, and agriculture, Polarizable continuum model, Molecular physics, symbols.namesake, Photochromism, Intramolecular force, symbols, Molecule, Density functional theory, Physics::Chemical Physics, Physical and Theoretical Chemistry, Raman spectroscopy, Raman scattering
-
9
المؤلفون: Harsh Beohar, Sebastian Küpper
المصدر: MFPS
مصطلحات موضوعية: Bisimulation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, General Computer Science, Dynamical systems theory, Computer science, Presheaf, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, State (functional analysis), 01 natural sciences, Theoretical Computer Science, Logic in Computer Science (cs.LO), Informatik, Morphism, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Universe (mathematics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ad16c2afedaae0298a1cf9fe962f2e5
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=85081787040 -
10
المؤلفون: Barbara König, Sebastian Küpper
مصطلحات موضوعية: Fuzzy automata, Generality, Coalgebra, 010102 general mathematics, Formal equivalence checking, Chemie, Computational intelligence, 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Automaton, Informatik, 010201 computation theory & mathematics, Partition refinement, Geometry and Topology, 0101 mathematics, Equivalence (formal languages), Algorithm, Software, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9608b623567da1206004c9f2ebf9193f
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=84991383574