Biblioteka Inżynierii Oprogramowania

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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. ":=".

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. BieleckiSystem 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
  • J. 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, J. Madey, S. Matwin - Pascal. Język wzorcowy. Pascal 360
  • W. 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