HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

Hier finden Sie einen Teil der Artikel / Aufsätze aus für die Universität Heidelberg freigeschalteten Online-Ressourcen. Bitte nutzen Sie für eine genauere bibliographische Suche auch Datenbanken.

Um Treffer aus lizenzierten Datenbanken zu erhalten, melden Sie sich bitte an.

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Sortierung:

1.	Bruni, Roberto: A Logic for Locally Complete Abstract Interpretations: IEEE, 2021. - 13 S., ISBN 9781665448956 In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). (2021) S. 1-13 Themen: Computer science Buch/keine Angabe	online aufrufen → Andere Auflagen/Ausgaben
2.	Hundertmark Sophie: Fuzzy Conversational Character Computing. - Heidelberg: Springer Nature B.V, 2023. - 13 S. In: Informatik-Spektrum. (2023) S. 163-175, ISSN 0170-6012 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
3.	Peer Review Statement. - Bristol: IOP Publishing, 2022 In: Journal of physics. Conference series. (2022) S. 011002, ISSN 1742-6588 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
4.	Peer review declaration. - Bristol: IOP Publishing, 2021 In: Journal of physics. Conference series. (2021), ISSN 1742-6588 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
5.	Kuperberg, Denis: Positive First-order Logic on Words: IEEE, 2021. - 13 S., ISBN 9781665448956 In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). (2021) S. 1-13 Themen: Automata \| Computer science \| Cost function Buch/keine Angabe	online aufrufen → Andere Auflagen/Ausgaben
6.	Aceto, Luca: In search of lost time: Axiomatising parallel composition in process algebras: IEEE, 2021. - 14 S., ISBN 9781665448956 In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). (2021) S. 1-14 Themen: Algebra \| CCS \| Computer science \| Equational logic \| bisimilarity Buch/keine Angabe	online aufrufen → Andere Auflagen/Ausgaben
7.	Glabbeek, Rob van: Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom: IEEE, 2021. - 13 S., ISBN 9781665448956 In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). (2021) S. 1-13 Themen: Calculus \| Computer science \| Semantics Buch/keine Angabe	online aufrufen → Andere Auflagen/Ausgaben
8.	National Strategic Computing Initiative. - New York: The Institute of Electrical and Electronics Engineers, Inc. (IEEE), 2018 In: Computing in science & engineering. (2018) S. c1-c1, ISSN 1521-9615 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
9.	Kitamura, Keiichi: computations: A new pressure flux for AUSM-family schemes, 2013 In: Journal of computational physics. (2013) S. 62-83, ISSN 0021-9991 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
10.	Sterling, Jonathan: Normalization for Cubical Type Theory: IEEE, 2021. - 15 S., ISBN 9781665448956 In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). (2021) S. 1-15 Themen: Computer science \| Syntactics Buch/keine Angabe	online aufrufen → Andere Auflagen/Ausgaben
11.	Lin, Shangchao: Tuning heterogeneous poly(dopamine) structures and mechanics: in silicocovalent cross-linking and thin film nanoindentation, 2013 In: Soft matter. (2013) S. 457-464, ISSN 1744-683X Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
12.	Zhou, Fuhui: Computation Efficiency Maximization in Wireless-Powered Mobile Edge Computing Networks. - New York: IEEE, 2020. - 15 S. In: IEEE transactions on wireless communications. (2020) S. 3170-3184, ISSN 1536-1276 Themen: Algorithms \| Computation offloading \| Computational efficiency \| binary computation offloading \| computation efficiency Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
13.	Sara D’Onofrio: Cognitive Computing. - Heidelberg: Springer Nature B.V, 2018. - 10 S. In: Informatik-Spektrum. (2018) S. 113-122, ISSN 0170-6012 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
14.	Jadamba, Baasansuren: Regularization of stochastic variational inequalities and a comparison of an LpLp and a sample-path approach, 2014 In: Nonlinear analysis. (2014) S. 65-83, ISSN 0362-546X Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
15.	Harlow, G: G245(P) Pitfalls in Weight Estimation. - London: BMJ Publishing Group Ltd and Royal College of Paediatrics and Child Health, 2013 In: Archives of disease in childhood. (2013) S. A109-A109, ISSN 0003-9888 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
16.	Ning Guo: Energy-Efficient Hybrid Analog/Digital Approximate Computation in Continuous Time. - New York: IEEE, 2016. - 11 S. In: IEEE journal of solid-state circuits. (2016) S. 1514-1524, ISSN 0018-9200 Themen: Analog computation \| Analog-digital conversion \| Approximate computing \| Approximation \| Architecture Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
17.	Del Ser, Javier: Bio-inspired computation: Where we stand and what's next: Elsevier B.V, 2019. - 31 S. In: Swarm and evolutionary computation. (2019) S. 220-250, ISSN 2210-6502 Themen: Benchmarks \| Bio-inspired computation \| Computationally expensive optimization \| Distributed evolutionary computation \| Dynamic optimization Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
18.	Wangenheim, Christiane: SCRUMIAaAn educational game for teaching SCRUM in computing courses, 2013 In: The Journal of systems and software. (2013) S. 2675-2687, ISSN 0164-1212 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben
19.	Kieronski, Emanuel: Finite Model Theory of the Triguarded Fragment and Related Logics: IEEE, 2021. - 13 S., ISBN 9781665448956 In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). (2021) S. 1-13 Themen: Complexity theory \| Computational efficiency \| Computer science \| Upper bound Buch/keine Angabe	online aufrufen → Andere Auflagen/Ausgaben
20.	Lee, Seokho: MM-type smoothing spline estimators for principal functions, 2013 In: Computational statistics & data analysis. (2013) S. 89-100, ISSN 0167-9473 Themen: Computation Zeitschriftenartikel → Zeitschrift	→ Andere Auflagen/Ausgaben

[1-20] [21-40] [41-60] [61-80] [81-100] ...

Impressum / Datenschutz Design