Suchergebnisse - "Program optimization"

Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Aggressive aggregation : (Domain-specific) program optimisation with algebraic decision diagrams

Gossen, Frederik Jakob (Verfasser)

Dortmund : Universitätsbibliothek Dortmund, 2021

E-Book

Use of augmented reality for iterative robot program optimisation in robot-automated series production processes

Wulff, Lukas Antonio (Verfasser)

Hamburg : Technische Universität Hamburg. Universitätsbibliothek, 2024

E-Book

Inter program optimizations for disk energy reduction

Hom, Jerry

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2005]

E-Book

Mathematics in Programming

Liu, Xinyu (Verfasser)

1st ed. 2024

Singapore : Springer Nature Singapore, 2024

E-Book

Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef ; June 15 - 18, 1980

Noltemeier, Hartmut (Hrsg.)

Berlin [u.a.] : Springer, 1981

Buch

Proceedings / Eighth Annual IEEE Symposium on Logic in Computer Science : June 19 - 23, 1993, Montreal, Canada

Symposium on Logic in Computer Science (8 : 1993 : Montréal)

Los Alamitos, Calif. [u.a.] : IEEE Computer Society Press, 1993

Buch

Conference record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Orlando, Florida, January 21 - 23, 1991

Symposium on Principles of Programming Languages (18 : 1991 : Orlando, Fla.)

New York, N. Y : Assoc. for Computing Machinery, 1991

Buch

ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

Samelson, Klaus (Hrsg.)

Berlin [u.a.] : Springer, 1976

Buch

Conference record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium ; Orlando, Florida, January 21 - 23, 1991

Symposium on Principles of Programming Languages (18 : 1991 : Orlando, Fla.)

New York, NY : Association for Computing Machinery, 1990

Buch

Automated deduction : proceedings

Kapur, Deepak (Herausgeber)

Berlin : Springer, 1992

Buch

A survey of computational physics : introductory computational science

Landau, Rubin H. (Verfasser)

Princeton, NJ : Princeton Univ. Press, 2008

Buch

Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14- 18, 1980

Bakker, Jacobus W. de (Hrsg.)

Berlin : Springer, 1980

Buch

The programming language Ada : reference manual ; proposed standard document

Brauer, Wilfried (Hrsg.)

Berlin [u.a.] : Springer, 1981

Buch

The programming language Ada : reference manual ; ANSI/MIL-STD-1815A-1983 ; approved 17 February 1983

Barstow, David (Hrsg.)

Berlin [u.a.] : Springer, 1983

Buch

The theory and practice of compiler writing

Tremblay, Jean-Paul

Intern. ed., 2. print.

New York [u.a.] : McGraw-Hill, 1987

Buch

Paragon : a language using type hierarchies for the specification, implementation and selection of abstract data types

Sherman, Mark Steven

Berlin [u.a.] : Springer, 1985

Buch

Invasive software composition : with 9 tables

Aßmann, Uwe

Berlin [u.a.] : Springer, 2003

Buch

Treffer 1 - 17 von 17

Suche einschränken