Dostosuj wyszukiwanie

Wyniki wyszukiwania: 19.

Sortuj
Wyniki
Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center Madrid, April 23-25, 1975 / ed. by R. Aguilar. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski, francuski
Szczegóły wydania: Amsterdam : New York : North-Holland Publishing Co. ; American Elsevier Publishing Company, Inc. ; 1976
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 77237.
Real time programming 1980 : proceedings of the IFAC/IFIP Workshop Schloss Retzhof, Leibnitz, Austria, 14-16 April 1980 / ed. by V.H. Haase. autor Serie: IFAC Proceedings Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Oxford [etc.] : Published for the International Federation of Automatic Control by Pergamon Press, cop. 1980
Inny tytuł:
  • Proceedings of the IFAC/IFIP Workshop
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 95784.
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / ed. by G. Ausiello and C. Böhm. autor Serie: Lecture Notes in Computer Science ; 62
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin : Springer-Verlag, 1978
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 87220.
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / ed. by A. Salwicki. autor Serie: Lecture Notes in Computer Science ; 148
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: Berlin : Springer, 1983
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 100411, ...
Mathematical foundations of computer science 1977 : proceedings, 6th symposium, Tatranská Lomnica, September 5-9, 1977 / ed. by J. Gruska. autor Serie: Lecture Notes in Computer Science ; 53
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin : Springer-Verlag, 1977
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182025.
STOC '09 : proceedings of the 2009 ACM International Symposium on Theory of Computing, Bethesda, Maryland, USA, May 31-June 2, 2009 / sponsored by ACM SIGACT. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: New York : Association for Computing Machinery, 2009
Inny tytuł:
  • ACM International Symposium on Theory of Computing, 41
  • Proceedings of the 2009 ACM Symposium on Theory of Computing
  • Theory of Computing
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 165379.
Automata, languages, and programming : proceedings of a symposium organized by IRIA, Institut de Recherche d'Informatique et d'Automatique, 78-Rocquencourt, France, July 3-7, 1972 / ed. by M. Nivat. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: angielski, francuski
Szczegóły wydania: Amsterdam ; London : New York : North-Holland Publishing Company ; American Elsevier, 1973
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64003.
Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. 3. 1974 / hrsg. von H.-O. Leilich. autor Serie: Lecture Notes in Computer Science ; 8
Rodzaj materiału: Tekst Tekst; Format: druk
Język: niemiecki, angielski
Szczegóły wydania: Berlin : Springer, 1974
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65922.
Mathematical foundations of computer 1981 : proceedings 10th Symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4 1981 / ed. by J. Gruska, M. Chytil. autor Serie: Lecture Notes in Computer Science ; 118
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 112251, ...
Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 / ed. by E. Gelenbe and C. Kaiser. autor Serie: Lecture Notes in Computer Science ; 16
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski, francuski
Szczegóły wydania: Berlin : Springer, 1974
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 75856.
Formalization of programming concepts : international colloquium Peniscola, Spain, April 19-25, 1981 : proceedings / ed. by J. Díaz and I. Ramos. autor Serie: Lecture Notes in Computer Science ; 107
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin ; New York : Springer-Verlag, 1981
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181222.
PEPM'09 : proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation : Savannah, Georgia, USA, January 19-20, 2009 / sponsored by ACM SIGPLAN. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: New York : Association for Computing Machinery, 2009
Inny tytuł:
  • Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 165376.
Automata, languages and programming : 4th Colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby. autor Serie: Lecture Notes in Computer Science ; 52
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1977
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 181236.
ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / ed. by K. Samelson. autor Serie: Lecture Notes in Computer Science ; 44
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1976
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181234.
Analysis and verification of multiple-agent languages : 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.). autor Serie: Lecture Notes in Computer Science ; 1192
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: Berlin : Springer, 1997
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181491.
Mathematical foundations of computer science 1978 : proceedings 7th Symposium Zakopane, Poland, September 4-8, 1978 / ed. by J. Winkowski. autor Serie: Lecture Notes in Computer Science ; 64
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1978
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181086.
Information processing 77 : proceedings of IFIP Congress 77, Toronto, August 8-12, 1977 / ed. by Bruce Gilchrist. autor Serie: IFIP Congress Series ; Vol. 7
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Amsterdam [etc.] : North-Holland, 1977
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 85020.
Information processing 80 : proceedings of IFIP Congress 80, Tokio, October 6-9, 1980, Melbourne, October 14-17, 1980 / ed. by Simon Lavington. autor Serie: IFIP Congress Series ; Vol. 8
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Amsterdam [etc.] : North-Holland Publishing Company, 1980
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 96026.