Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 6.

Wyniki
		Specification and verification of concurrent systems / C. Rattray (ed.). autor Rattray, Charles, (1938- ) BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 ; Stirling) Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: London : Springer, 1990 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 118838.
		ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992 / Krysia Broda (ed.). autor ALPUK 92 (4 ; 1992 ; Londyn) Broda, Krysia, (1949- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1993 Inny tytuł: 4th UK Conference on Logic Programming, London 1992 Fourth UK Conference on Logic Programming, London 1992 4th UK Conference on Logic Programming Fourth UK Conference on Logic Programming Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181400.
		Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / T. P. Clement and K.-K. Lau (eds.). autor LOPSTR 91 (1991 ; Manchester) Clement, Timothy Paul, (1954- ) [Red.] Lau, Kung-Kiu, (1953- ) [Red.] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: London : Springer, 1992 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181346.
		Building interactive systems : architectures and tools / Philip Gray and Roger Took (eds). autor Gray, Philip, (1946- ) [Red.] Took, Roger, (1950- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1992 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181406.
		Declarative programming, Sasbachwalden 1991 : Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 / John Darlington and Roland Dietrich (eds.). autor Phoenix Seminar and Workshop on Declarative Programming (1991 ; Sasbachwalden) Darlington, John, (1947- ) [Red.] Dietrich, Roland [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1992 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181404.
		ALPUK 91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 / Geraint A. Wiggins, Chris Mellish and Tim Duncan (eds.). autor ALPUK 91 (3 ; 1991 ; Edynburg) Wiggins, Geraint A, (1962- ) [Red.] Mellish, Christopher S, (1954- ) [Red.] Duncan, Tim, (1956- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1992 Inny tytuł: 3rd UK Annual Conference on Logic Programming, Edinburgh 1991 Third UK Annual Conference on Logic Programming, Edinburgh 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181347.