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

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

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

Търсене в

Подредба

Намерени са 202 резултата.
Implementation of Functional Languages
44309
Каталог "Книги" | Книги .(02)
Implementation of Functional Languages
Selected Papers (1997)

Software Configuration Management
44306
Каталог "Книги" | Книги .(02)
Software Configuration Management
Selected Papers (1996)

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

Automata Implementation
44369
Каталог "Книги" | Книги .(02)
Automata Implementation
Revised Papers (1997)

Recent Trends in Data Type Specification
44377
Каталог "Книги" | Книги .(02)
Recent Trends in Data Type Specification
Selected Papers (1996)

Partial Evaluation
44413
Каталог "Книги" | Книги .(02)
Partial Evaluation
Selected Papers (1996)

Theory and Practice in Distributed Systemsgic Progamming
44432
Каталог "Книги" | Книги .(02)
Theory and Practice in Distributed Systemsgic Progamming
Selected Papers (1995)

Computer Aided Systems Theory- CAST'94
44428
Каталог "Книги" | Книги .(02)
Computer Aided Systems Theory- CAST'94
Selected Papers (1996)

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

Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications
44422
Каталог "Книги" | Книги .(02)
Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Applications
Selected Papers (1996)

Studies of Software Design
44453
Каталог "Книги" | Книги .(02)
Studies of Software Design
Selected Papers (1996)

Evolutionary Computing
44466
Каталог "Книги" | Книги .(02)
Evolutionary Computing
Selected Papers (1996)

Advances in Intelligent Computing- IMPU'94
44463
Каталог "Книги" | Книги .(02)
Advances in Intelligent Computing- IMPU'94
Selected Papers (1995)

Types for Proofs and Programs
44485
Каталог "Книги" | Книги .(02)
Types for Proofs and Programs
Selected Papers (1994)

Recent Trends in Data Type Specification
44473
Каталог "Книги" | Книги .(02)
Recent Trends in Data Type Specification
Selected Papers (1994)

Object- Based Parallel and Distributed Computation
44507
Каталог "Книги" | Книги .(02)
Object- Based Parallel and Distributed Computation
Selected Papers (1996)

Constraint Programming: Basics and Trends
44530
Каталог "Книги" | Книги .(02)
Constraint Programming: Basics and Trends
Selected Papers (1995)

Performance Evaluation of Computer and Communication Systems
44570
Каталог "Книги" | Книги .(02)
Performance Evaluation of Computer and Communication Systems
Joint Tutorial Papers of Performance'93 and Sigmetrics'93 (1993)

Methods of Programming
44562
Каталог "Книги" | Книги .(02)
Methods of Programming
Selected Papers on the CIP-Project (1991)

Analysis and Verification of Multiple- Agrnt Languages
44557
Каталог "Книги" | Книги .(02)
Analysis and Verification of Multiple- Agrnt Languages
Selected Papers (1997)