Biblioteka Inżynierii Oprogramowania

Biblioteka Inżynierii Oprogramowania (BIO) to seria wydawnicza książek z zakresu informatyki i zagadnień pokrewnych, wydawana od końca lat siedemdziesiątych do początku lat dziewięćdziesiątych XX w. przez Wydawnictwa Naukowo-Techniczne (WNT).

Książki tej serii opatrzone były na okładce charakterystycznym logiem trójwymiarowego symbolu przypisania znanego z Pascala, tj. ":=".

Przewodniczącym Komitetu Redakcyjnego serii był prof. W.M.Turski^[1].

Wydane książki z serii Biblioteka Inżynierii Oprogramowania

S. Alagić, M. A. Arbib – Projektowanie programów poprawnych i dobrze zbudowanych
I. O. Angell – Wprowadzenie do grafiki komputerowej
R. L. Baber – O oprogramowaniu inaczej
L. Banachowski, A. Kreczmar – Elementy analizy algorytmów
L. Banachowski, A. Kreczmar, W. Rytter – Analiza algorytmów i struktur danych
M. Ben-Ari – Podstawy programowania współbieżnego
J. Bielecki – System VSAM. Zasady stosowania w języku PL/I
J. Błażewicz – Złożoność obliczeniowa problemów kombinatorycznych
L. Bolc, M. Cichy, L. Różańska – Przetwarzanie języka naturalnego
S. Borak, J. Klaczak, S. Korczak, Z. Płoski – System operacyjny George 3
J. M. Brady – Informatyka teoretyczna w ujęciu programistycznym
K. L. Clark, F. G. McCabe – Micro-Prolog
M. Dąbrowski, K. Laus-Mączyńska – Metody wyszukiwania i klasyfikacji informacji
C. Delobel, M. Adiba – Relacyjne bazy danych
P. Dembiński, J. Małuszyński – Matematyczne metody definiowania języków programowania
Jarosław Deminet – System operacyjny RSX-11(inne języki)
E. W. Dijkstra – Umiejętność programowania
D. Elizabeth Robling Denning – Kryptografia i ochrona danych
S. Gasik, P. Kulczycki, K. Piasecki, J. Witaszek – PL/I(F)
P. Gizbert-Studnicki, J. Kaczmarczuk – Snobol4
R. Gleaves – Modula 2 dla programujących w Pascalu
M. Głowacki – Systemy operacyjne DOS i OS
M. J. C. Gordon – Denotacyjny opis języków programowania
R. E. Griswold, M. T. Griswold – Icon
A. N. Haberman, D. E. Perry – Ada dla zaawansowanych
L. J. Hoffman – Poufność w systemach informatycznych
M. Iglewski, J. Madey, S. Matwin – Pascal. Język wzorcowy. Pascal 6000
M. Iglewski, Jan Madey, S. Matwin – Pascal. Język wzorcowy. Pascal 360
Wacław Iszkowski, M. Maniecki – Programowanie współbieżne
R. Jagielski – Tablice rozproszone
M. Jankowski – Elementy grafiki komputerowej
A. P. Jerszow – Wprowadzenie do teorii programowania
C. B. Jones – Konstruowanie oprogramowania metodą systematyczną
A. Kassur, P. Perkowski – Obliczeniowe aspekty projektowania układów elektronicznych
B. W. Kernighan, P. J. Plauger – Narzędzia programistyczne w Pascalu
B. W. Kernighan, D. M. Ritchie – Język C
R. Kent Dybvig – Scheme
M. CH. Klin, R. Poeschel, K. Rosenbaum – Algebra stosowana dla matematyków i informatyków
F. Kluźniak, S. Szpakowicz – Prolog
H. Kopetz – Niezawodność oprogramowania
L. Kowalski – Logika w rozwiązywaniu zadań
W. Lipski – Kombinatoryka dla programistów
J. Martinek – Lisp. Opis, realizacja i zastosowania
G. J. Myers – Projektowanie niezawodnego oprogramowania
L. Niemczycki – Oprogramowanie teleprzetwarzania maszyn Jednolitego Systemu
M. Marcotty. H. Ledgard – W kręgu języków programowania
G. Mirkowska, A. Salwicki – Logika algorytmiczna dla programistów
H. Oktaba, W. Ratajczak – Simula 67
J. Olszewski – Projektowanie struktur systemów operacyjnych
W. Pachelski – Fortran dla maszyn Odra serii 1300
W. Pachelski – Fortran IV dla maszyn Jednolitego Systemu
T. Pavlidis – Grafika i przetwarzanie obrazów. Algorytmy
P. Perkowski – Technika symulacji cyfrowej
Przegląd metod i algorytmów numerycznych, cz. 1 – J. i M. Jankowscy
Przegląd metod i algorytmów numerycznych, cz. 2 – M. Dryja, J. i M. Jankowscy
I. C. Pyle – Ada
W. Reisig – Sieci Petriego. Wprowadzenie
M. J. Rochkind – Programowanie w systemie Unix dla zaawansowanych
P. P. Silvester – System operacyjny Unix
B. Szafrański, W. Skurzak, W. Szypuła – System operacyjny RT-11
A. Szałas, J. Warpechowska – Loglan
D. Van Tassel – Praktyka programowania
D. C. Tsichritzis, F. H. Lochovsky – Modele danych
W. M. Turski – Metodologia programowania (2 wydania)
J. Tyszer – Symulacja cyfrowa
E. Ch. Tyugu – Programowanie z bazą wiedzy
J. D. Ullman – Systemy baz danych
W. M. Waite, G. Goos – Konstrukcja kompilatorów
J. Walasek – Konwersacyjne otoczenie programowe Pascala
N. Wirth – Modula 2
N. Wirth – Wstęp do programowania systematycznego
R. Wit – Metody programowania nieliniowego. Minimalizacja funkcji gładkich
K. Zorychta, W. Ogryczak – Programowanie liniowe i całkowitoliczbowe