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.

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
• 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