×

Found 55 Documents (Results 1–55)

Modeling and solving the capacitated vehicle routing problem on trees. (English) Zbl 1187.90043

Golden, Bruce (ed.) et al., The vehicle routing problem. Latest advances and new challenges. New York, NY: Springer (ISBN 978-0-387-77777-1/hbk). Operations Research/Computer Science Interfaces Series 43, 239-261 (2008).
MSC:  90B06 90C35
PDFBibTeX XMLCite
Full Text: DOI

Automatic formal model generation and analysis of SDL. (English) Zbl 1038.68612

Reed, Rick (ed.) et al., SDL 2003: System design. 11th international SDL forum, Stuttgart, Germany, July 1–4, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40539-9/pbk). Lect. Notes Comput. Sci. 2708, 285-299 (2003).
MSC:  68U99 68M14 68N15
PDFBibTeX XMLCite
Full Text: Link

Programming languages - principles and practice. (Programmiersprachen. Grundlagen, Konzepte, Entwurf. Aus d. Amerikan. übers. von Peter Dobrowolski u. Mechthild Boré.) (English) Zbl 0826.68022

Informatik Lehrbuch-Reihe. Bonn: International Thomson Publishing. xvii, 810 p. DM 79.00 /hc (1993).
Reviewer: H.Alt (Berlin)
PDFBibTeX XMLCite

An and-parallelism cooperative scheme for full Prolog interpreters on a transputer-based architecture. (English) Zbl 0977.68515

Nerode, A. (ed.) et al., Logical foundations of computer science. Tver ’92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 620, 418-429 (1992).
MSC:  68N17 68N19
PDFBibTeX XMLCite

SENAC: Lisp as a platform for constructing a problem solving environment. (With discussion). (English) Zbl 0793.68017

Programming environments for high-level scientific problem solving, Proc. IFIP TC2/WG2.5 Working Conf., Karlsruhe/Germany 1991, 351-361 (1992).
MSC:  68N15
PDFBibTeX XMLCite

Objektorientiertes Programmieren mit \(C++\). Eine Einführung mit vielen Beispielen, Übungsaufgaben und Musterlösungen. (German) Zbl 0721.68014

München: Carl Hanser Verlag. 250 p. DM 48.00 (1991).
MSC:  68N15 68-01
PDFBibTeX XMLCite

Programmieren in \(C++\). Aus d. Amerik. übers. v. Angelika u. Andreas Dripke u. Manfred Schumacher. (Programming in \(C++)\). (Programmieren in C++. Aus d. Amerik. übers. v. Angelika u. Andreas Dripke u. Manfred Schumacher.) (German) Zbl 0713.68011

München etc.: Carl Hanser Verlag; New York etc.: Prentice Hall. XIII, 265 p. DM 48.00 (1990).
Reviewer: U.Hahn
MSC:  68N15 68N01 68-01
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software