Suchergebnisse - "ST 130"

1

Select this record

Design Patterns für mathematische Beweise: ein Leitfaden insbesondere für Informatiker

von Ohlbach, Hans Jürgen; Eisinger, Norbert
veröffentlicht Berlin; [Heidelberg]: Springer Vieweg, [2017]

2

Select this record

Relative termination

von Geser, Alfons
veröffentlicht Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik,...

3

Select this record

Theoretische Informatik: Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und...

von Hromkovič, Juraj
veröffentlicht Wiesbaden: Springer Vieweg, 2014

4

Select this record

Interaction in concurrent systems

von Minnameier, Christoph
veröffentlicht 2010

5

Select this record

Datenstrukturen und Algorithmen

von Güting, Ralf Hartmut; Dieker, Stefan
veröffentlicht Wiesbaden: Springer Vieweg, [2018]

6

Select this record

Matematičeskaja teorija kontekstno-svobodnych jazykov

von Ginsburg, Seymour; Ginsburg, Seymour
veröffentlicht Moskva: Mir, 1970

7

Select this record

Computational complexity

von Wagner, Klaus; Wechsung, Gerd
veröffentlicht Berlin: Dt. Verl. d. Wiss., 1986

8

Select this record

Automatengraphen

von Bochmann, Dieter
veröffentlicht Berlin: Akademie-Verl., 1982

9

Select this record

The art of computer programming, 1 Fundamental algorithms

von Knuth, Donald Ervin
veröffentlicht Reading, Mass.: Addison-Wesley, 1969

10

Select this record

The art of computer programming, 2 Seminumerical algorithms

von Knuth, Donald Ervin
veröffentlicht Reading, Mass.: Addison-Wesley, 1969

11

Select this record

The art of computer programming, 3 Sorting and searching

von Knuth, Donald Ervin
veröffentlicht Reading, Mass.: Addison-Wesley, 1973

12

Select this record

Algorithms from P to NP, 1 Design & efficiency

von Moret, Bernard M. E.; Shapiro, Henry D.
veröffentlicht Redwood City, CA: Benjamin/Cummings, 1991

13

Select this record

Effizientes Rechnen in AC-Gleichungstheorien

von Fortenbacher, Albrecht
veröffentlicht 1989

14

Select this record

Petri-Netze: eine anwendungsorientierte Einführung

von Rosenstengel, Bernd; Winand, Udo
veröffentlicht Braunschweig [u.a.]: Vieweg, 1984

15

Select this record

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie

von Hopcroft, John E.; Ullman, Jeffrey D.; Hopcroft, John E.
veröffentlicht Bonn [u.a.]: Addison-Wesley, 1990

16

Select this record

Information, randomness & incompleteness: papers on algorithmic information theory

von Chaitin, Gregory J.
veröffentlicht Singapore [u.a.]: World Scientific, 1990

17

Select this record

Algorithms: their complexity and efficiency

von Kronsjö, Lydia I.; Kronsjö, Lydia
veröffentlicht Chichester [u.a.]: Wiley, 1987

18

Select this record

Compared to what?: an introduction to the analysis of algorithms

von Rawlins, Gregory J. E.
veröffentlicht New York: Computer Science Press, 1992

19

Select this record

Elements of the theory of computation

von Lewis, Harry R.; Papadimitriou, Christos H.
veröffentlicht Englewood Cliffs, N.J.: Prentice-Hall, c 1981

20

Select this record

Computer algorithms: introduction to design and analysis

von Baase, Sara
veröffentlicht Reading, Mass. [u.a.]: Addison-Wesley, 1988

Suche einschränken