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 z serii BIO

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

Przewodniczącym Komitetu Redakcyjnego serii był prof. Władysław M.Turski. W skład Komitetu Redakcyjnego weszli:

1. Jan Goliński
2. Stanisław Lepetow
3. Leon Łukaszewicz
4. Jan Madej
5. Antoni Mazurkiewicz
6. Andrzej Salwicki
7. Stanisław Waligórski
8. Wiesłąw Woźnicki
9. Witold Dreger
10. Barbara Osuchowska.

Układ typograficzny serii, okładki oraz obwoluty zaprojektował Tadeusz Pietrzyk. Siedemdziesiątą pozycją w serii był tytuł Narzędzia programistyczne w Pascalu wydany w 1989 roku.

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

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