Showing
11 - 14
results of
14
Skip to content
UPFind
Book Bag:
0
items
(Full)
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Maaori
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search Results - "Machine theory Congresses."
Search Results - "Machine theory Congresses."
Go to Previous Page
Showing
11 - 14
results of
14
Refine Results
Sort
Relevance
Date Descending
Newest to Oldest
Oldest to Newest
Author
Title
Select Page
Email
Export
Print
Add to Book Bag
Select result number 11
11
Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Published 2011
Call Number:
Loading…
Located:
Loading…
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Add to Book Bag
Remove from Book Bag
standalone_record_link
Select result number 12
12
Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
Published 2011
Call Number:
Loading…
Located:
Loading…
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Add to Book Bag
Remove from Book Bag
standalone_record_link
Select result number 13
13
Information processing 71 proceedings of IFIP Congress 71 organized by the International Federation for Information Processing, August 23-28, 1971
Published 1972
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Add to Book Bag
Remove from Book Bag
standalone_record_link
Select result number 14
14
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
Published in
Springer eBoo.
(2011)
Call Number:
Loading…
Located:
Loading…
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Add to Book Bag
Remove from Book Bag
standalone_record_link
Select Page
Email
Export
Print
Add to Book Bag
Prev
1
2
Search Tools:
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
13 results
13
Baguio
1 results
1
DATABASE
Union Catalog (Buklod)
14 results
14
UNIT LIBRARY
Main Library: Info. Services & Instruction Section
7 results
7
College of Engineering Library II
4 results
4
College of Science
2 results
2
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - Science
7 results
7
SUBJECT
Machine theory
12 results
12
Electronic books
6 results
6
Formal languages
5 results
5
Algorithms
2 results
2
Computer programming
2 results
2
Computer science
2 results
2
Programming (Electronic computers)
2 results
2
Artificial intelligence
1 results
1
Automata
1 results
1
Categories (Mathematics)
1 results
1
Computable functions
1 results
1
Computational complexity
1 results
1
Computer Communication Networks
1 results
1
Computer programming -- Congresses
1 results
1
Computer software
1 results
1
Control thoery
1 results
1
Electronic data processing
1 results
1
Electronic digital computers
1 results
1
Formal methods (Computer science)
1 results
1
Machine theory -- Congresses
1 results
1
Mathematical linguistics
1 results
1
Mathematics
1 results
1
Petri nets
1 results
1
Programming languages (Electronic computers) -- Congresses
1 results
1
Robotics
1 results
1
Sequential machine theory
1 results
1
see all…
AUTHOR
SpringerLink (Online service)
6 results
6
Abiteboul, S.
1 results
1
Aceto, Luca
1 results
1
Bouchou-Markhoff, Béatrice
1 results
1
CIAA 2010 Winnipeg, M.B.
1 results
1
CIAA 2011 Winnipeg, M.B.
1 results
1
DCFS 2011 Limburg, Germany
1 results
1
Dediu, Adrian-Horia
1 results
1
Domaratzki, Michael
1 results
1
European Association for Theoretical Computer Science
1 results
1
European Workshop on Application and Theory of Petri Nets (9th : 1988 : Venice, Italy)
1 results
1
Freiman, C.V
1 results
1
Griffith, J. E.
1 results
1
Henzinger, Monika
1 results
1
Holzer, Markus
1 results
1
ICALP 94 Jerusalem, Israel
1 results
1
Inenaga, Shunsuke
1 results
1
Institut de recherche d'informatique et d'automatique
1 results
1
International Colloquium on Automata, Languages, and Programming Szeged, Hungary
1 results
1
International Federation for Information Processing, Ljubljana, Yugoslavia, 1971
1 results
1
International Workshop on the Algorithmic Foundations of Robotics National University of Singapore
1 results
1
Kutrib, Martin
1 results
1
LATA (Conference) Tarragona, Spain)
1 results
1
Manes, E.G
1 results
1
Marasigan, Jose A.
1 results
1
Martín-Vide, Carlos
1 results
1
Meyer auf der Heide, Friedhelm 1954-
1 results
1
Monien, B.
1 results
1
Murlak, Filip
1 results
1
Nivat, M.
1 results
1
see all…
RESOURCE TYPE
Book
7 results
7
Electronic Resource
7 results
7
LANGUAGE
English
14 results
14
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman