Пловдивски университет "Паисий Хилендарски"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерени са 1881 резултата.
A Collection of Test Problems for Constrained Global
44319
Каталог "Книги" | Книги .(02)
A Collection of Test Problems for Constrained Global
(1990)
C. A. Floudas; P. M. Pardalos

Graph- Theoretic Concepts in Computer Science
44318
Каталог "Книги" | Книги .(02)
Graph- Theoretic Concepts in Computer Science
Proceedings (1990)

Mobile Agents
44317
Каталог "Книги" | Книги .(02)
Mobile Agents
Proceedings (1997)

Graph Transformations in Computer Science
44316
Каталог "Книги" | Книги .(02)
Graph Transformations in Computer Science
Proceedings (1994)

Negation and Control in Prolog
44350
Каталог "Книги" | Книги .(02)
Negation and Control in Prolog
(1986)
Lee Naish

Experiences with Distributed Systems
44349
Каталог "Книги" | Книги .(02)
Experiences with Distributed Systems
Proceedings (1988)

Parallel Lisp: Languages and Systems
44348
Каталог "Книги" | Книги .(02)
Parallel Lisp: Languages and Systems
Proceedings (1990)

Computation Theory and Logic
44347
Каталог "Книги" | Книги .(02)
Computation Theory and Logic
(1987)

Advanced Functional Programming
44346
Каталог "Книги" | Книги .(02)
Advanced Functional Programming
Tutorial Text (1996)

Computer Science Logic
44345
Каталог "Книги" | Книги .(02)
Computer Science Logic
Selected Papers (1993)

Theoretical Aspects of Computer Software
44344
Каталог "Книги" | Книги .(02)
Theoretical Aspects of Computer Software
Proceedings (1991)

The Munich Project CIP
44343
Каталог "Книги" | Книги .(02)
The Munich Project CIP
(1985 -)
V. 1. The Wide Spectrum Language CIP-L

Uncertainty in Knowledge Bases
44342
Каталог "Книги" | Книги .(02)
Uncertainty in Knowledge Bases
Proceedings (1991)

Co-oP. A Group Decision Support System for Cooperstive
44341
Каталог "Книги" | Книги .(02)
Co-oP. A Group Decision Support System for Cooperstive
(1987)
Tung X. Bui

Computer Aided Verification
44340
Каталог "Книги" | Книги .(02)
Computer Aided Verification
Proceedings (1995)

CAAP'90
44339
Каталог "Книги" | Книги .(02)
CAAP'90
Proceedings (1990)

Evolutionary Programming VI
44338
Каталог "Книги" | Книги .(02)
Evolutionary Programming VI
Proceedings (1997)

Hybrid Systems II
44337
Каталог "Книги" | Книги .(02)
Hybrid Systems II
(1995)

LUCAS Associative Array Processor
44336
Каталог "Книги" | Книги .(02)
LUCAS Associative Array Processor
Design, Programming and Application Studies (1986)
Christer Fernstrom; Ivan Kruzela; Berti Svensson

Rewriting Techniques and Applications
44335
Каталог "Книги" | Книги .(02)
Rewriting Techniques and Applications
Proceedings (1989)