Institute of Computer Science Polish Academy of Sciences (banner)

Latest books in the ICS PAS library:

  • The latest books added to the collections of the ICS PAS Library in January 2018 - June 2019:

    Signature:

  • Deep Learning : Systemy uczące się / Ian Goodfellow, Yoshua Bengio, Aaron Courville. - 2018. 
    k 20674
  • Teoria i algorytmy sterowania / Zdzisław Bubnicki. - 2002. 
    k 20675
  • Modern Algorithms of Cluster Analysis / Sławomir T. Wierzchoń, Mieczysław A. Kłopotek. - 2018.
    K 20676
  • Description Logic Handbook : Theory, Implementation, and Applications / Ed. by Franz Baader [i in.]. - 2007.
    K 20677
  • Argumenty i modyfikatory w gramatyce i w słowniku / Adam Przepiórkowski. - 2017 
    K 20678
  • Human Language Technologies as a Challenge for Computer Science and Linguistics : 8th Language and Technology Conference, November, 17-19, 2017, Poznań, Poland. Proceedings / Eds.: Zygmunt Vetulani, Patrick Paroubek. - 2017.
    K 20679
  • Fuzzy Regression Analysis / Eds. Janusz Kacprzyk, Mario Fedrizzi. Janusz Kacprzyk. - 1992. 
    K 20680
  • Fuzzy Logic in Knowledge-based Systems, Decision and Control / Eds.: Madan M. Gupta, Takeshi Yamakawa. - 1988.
    K 20681
  • Systemy komputerowe / Jacek Florek. - 2001. 
    K 20682
  • Algorytmy klasyfikacji tekstów i ich wykorzystanie w systemie wykrywania plagiatów /Marek Szczepański. - 2013 
    K 20683
  • Podstawy systemów operacyjnych / Abraham Silberschatz, Peter B. Galvin. - 2001. 
    K 20684
  • Świat w kropli rosy / Juliusz L. Kulikowski. - 2018 
    K 20685
  • Techniki zarządzania jakością od Shewharta do metody "Six Sigma" / James R. Thompson, Jacek Koronacki, Jacek Nieckuła. - 2005. 
    K 20686
  • Eksploracja danych : Metody i algorytmy / Tadeusz Morzy. - 2013. 
    K 20687
  • Zarządzanie jakością z przykładami / Adam Hamrol. - 2008.
    K 20688
  • Epigenetics / Ed.: C. David Allis [i in]. – 2015
    K 20689
  • Determinacja : Z prądem i pod prąd / Jakub B. Bączek, Jacek Santorski. - 2017.
    K 20690
  • Czy Chiny zbawią świat? / Kołodko Grzegorz W. - 2018. 
    K 20691, k 20692
  • Lexical Association Measures : Collocation Extraction / Pavel Pecina. - 2009.
    K 20693
  • Syntactic Analysis in Machine Translation / Petr Homola. - 2009.
    K 20694
  • Words that Matter : Towards a Swedish-Czech Colligational Dictionary of Basic Verbs / Silvie Cinkova. - 2009. 
    K 20695
  • Exploiting Linguistic Data in Machine Translation / Ondrej Bojar. - 2009. 
    K 20696
  • Funkce kondicionlu z hlediska vyznamove roviny / Magda Sevcikova. - 2009. 
    K 20697
  • LATEX - zaawansowane narzędzia / Ewaryst Rafajłowicz, Wojciech Myszka. - 1996. 
    K 20698
  • Metody kwantytatywne w sekwencyjnej analizie tekstu / Adam Pawłowski. - 2001. 
    K 20699
  • Słownik naukowo-techniczny Hutchinsona / Peter Lafferty [i in.]. – 1997
    K 20700
  • Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000. Greenbelt, MD, USA, April 5-7, 2000. Revised Papers / Ed. James L. Rash [i in.]. - 2001.
    K 20701 1871
  • Programming Languages and Systems : 12th European Symposium on Programming, ESOP 2003. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003. Warsaw, Poland, April 7-11, 2003. Proceedings / Ed. Pierpaolo Degano. - 2003. 
    K 20702 2618
  • Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003. Proceedings / Eds. Hubert Garavel, John Hatcliff. - 2003. 
    K 20703 2619
  • Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings / Eds. Doron A. Peled, Yih-Kuen Tsay. - 2005. 
    K 20704 3707
  • Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / Eds. Stefan Edelkamp, Alessio Lomuscio. - 2007. 
    K 20705 4428
  • Applications and Theory of Petri Nets / 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings / Eds. Giuliana Franceschinis, Karsten Wolf. - 2009. 
    K 20706 5606
  • Perspectives of System Informatics : 7th International Andrei Ershov Mamorial Conference, PSI. Novosibirsk, Russia, June 15-19, 2009. Revised Papers / Eds. Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. - 2010. 
    K 20707 5947
  • Partial Order Methods in Verification : DIMACS Workshop. July 24-26, 1996 / Eds. Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann. - 1997. 
    K 20709
  • SDL Illustrated : Visually design executable models / Laurent Doldi. - 2001 
    K 20710
  • Logic Programming : Proceedings of the Seventh International Conference / Eds. David H.D. Warren, Peter Szeredi. - 1990.
    K 20711
  • Fundamentals of algebraic specification. 1, Equations and initial semantics / Ehrig Hartmut, Mahr Bernd. - 1985. 
    K 20712
  • Data Structures and Algorithms. 1, Sorting and Searching / Kurt Mehlhorn. - 1984. 
    K 20713
  • The Book of L / Eds. G. Rozenberg, A. Salomaa. – 1986
    K 20714
  • Current Trends in Theoretical Computer Science : The Challenge of the New Century. Vol. 1 Algorithms and Complexity / Eds.: G. Paun, G. Rozenberg, A. Salomaa. - 2004. 
    K 20715
  • Current Trends in Theoretical Computer Science : The Challenge of the New Century. Vol. 2 Formal Models and Semantics/ Eds.: G. Paun, G. Rozenberg, A. Salomaa. - 2004. 
    K 20716
  • From Lexical Functional Grammar to Enhanced Universal Dependencies : Linguistically informed treebanks of Polish / Agnieszka Patejuk, Adam Przepiórkowski. - 2018 
    K 20717
  • O semantyce w Matematyce i Informatyce czyli w poszukiwaniu zagubionego sensu / Stanisław Ambroszkiewicz. – 2007
    K 20719
  • Jak to rozwiązać? : Nowy aspekt metody matematycznej / George Polya. - 1964. 
    K 20720
  • Wstęp do geometrii różniczkowej / Roman Sikorski. - 1972. 
    K 20721
  • Statistical Decision Functions / Abraham Wald. - 1950.
    K 20722
  • Aproksymacja stochastyczna : metody optymalizacji w warunkach losowych / Jacek Koronacki. - 1989. 
    K 20723
  • Teoria i praktyka wnioskowania statystycznego / Eds. Tadeusz Bromek, Elżbieta Pleszczyńska. - 1988. 
    K 20724
  • Formal Techniques in Artificial Intelligence : A Sourcebook / Ranan B. Banerji. - 1990. 
    K 20725
  • Introduction to Bioinformatics / Arthur M. Lesk. - 2014. 
    K 20726
  • Polskie przyimki złożone w reprezentacji LFG na przykładzie wyrażeń "na rzecz" i "do spraw" / Urszula Modrzyk. - 2017. 
    K 20727
  • Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - 1975. 
    K 20728
  • Spravocnaja kniga po matematiceskoj logike v cetyrech castjach. Cz. 3, Teorija rekursii / red.: J. Barwise. - 1982. 
    K 20729
  • A game-theoretic model of social adaptation in an infinite population / Andrzej Wieczorek, Agnieszka Wiszniewska. - 1997. 
    K 20730
  • Pierścienie przemienne / Stanisław Balcerzyk, Tadeusz Józefiak. – 1985
    K 20732
  • Logical foundations of artificial intelligence / Michael R. Genesereth, Nils J. Nilsson. - 1987. 
    K 20733
  • Proceedings of the PolEval 2018 Workshop / Eds.: Maciej Ogrodniczuk, Łukasz Kobyliński – 2018
    K 20734
  • System automatycznego kodowania SAKO / Leon Łukaszewicz, Antoni Mazurkiewicz ; Instytut Matematyczny Polskiej Akademii Nauk. - 1966 
    K 20736
  • Elementy teorii funkcji : Funkcje zmiennej rzeczywistej, przybliżenia funkcji, funkcje prawie okresowe / R. S. Guter, Ł. D. Kudriawcew, B. M. Lewitan. - 1967. 
    K 20737
  • A fixed point theory and some other applications of weeds / Lech Pasicki. - 1990. 
    K 20738
  • Wektory i macierze. T. 1 / Mieczysław Warmus. - 1981. 
    K 20739
  • Semantics of Concurrent Systems : A Modular Fixed Point Trace Approach / Antoni Mazurkiewicz - 1990. 
    K 20741
  • The Economics of Bargaining / John G. Cross. - 1969. 
    K 20742
  • Rachunek różniczkowy i całkowy. T. 1 / Stefan Banach. - 1952. 
    K 20743
  • Rachunek różniczkowy i całkowy. T. 2 / Stefan Banach. - 1952. 
    K 20744
  • Bezpieczeństwo energetyczne : Koncepcje, wyzwania, interesy / red. naukowi: Jarosław Gryz, Andrzej Podraza, Mariusz Ruszel. - 2018. 
    K 20745
  • Funkcjonowanie polskiego rynku energii / Dorota Niedziółka. - 2018. 
    K 20746
  • Rola samorządu terytorialnego w rozwoju odnawialnych źródeł energii (OZE) : Analiza administracyjnoprawna / Mariusz Szyrski. - 2017. 
    K 20747
  • Biogazownie : Rynek, konkurencyjność, analiza efektywności / Red. Dorota Niedziółka. - 2015. 
    K 20748
  • Inwestycje hybrydowe : Nowe ujęcie oceny efektywności / Stanisław Kasiewicz, Waldemar Rogowski. - 2009. 
    K 20749
  • Ekonomia neoklasyczna : Fałszywy paradygmat / Steve Keen. - 2017. 
    K 20750
  • Nieuniknione : Jak inteligentne technologie zmienią naszą przyszłość / Kevin Kelly. - 2017.
    K 20751
  • Przedsiębiorczość a rozwój regionalny w Polsce / Red. nauk. Kazimierz Kuciński. - 2010. 
    K 20752
  • Introduction to the Theory of Complex Systems / Stefan Thurner, Rudolf Hanel, Peter Klimek. – 2018
    K 20753
  • Dług : Pierwsze pięć tysięcy lat / David Graeber. – 2017
    k 20754
  • Droga do ruiny : Tajny plan globalnego kryzysu finansowego / James Rickards. - 2018.
    K 20755
  • Algorithmic Learning Theory : 17th International Conference, ALT 2006. Barcelona, Spain, October 7-10, 2006, Proceedings / Eds. Jose L. Balcazar, Philip M. Long, Frank Stephan. – 2000.
    K 20756 4264
  • Soft computing : Foundations and Theoretical Aspects / Eds. Krassimir T. Atanassov, Olgierd Hryniewicz, Janusz Kacprzyk. - 2004. 
    K 20757
  • Soft computing : Tools, Techniques and Applications / Eds. Przemysław Grzegorzewski, Maciej Krawczak, Sławomir Zadrożny. – 2004.
    K 20758
  • Issues in Soft Computing : Decisions and Operations Research / Eds. Olgierd Hryniewicz, Janusz Kacprzyk, Dorota Kuchta. - 2005. 
    K 20759
  • Issues in Soft Computing : Theory and Applications / Eds. Przemysław Grzegorzewski, Maciej Krawczak, Sławomir Zadrożny. - 2005. 
    K 20759
  • Issues in Intelligent Systems : Paradigms / Eds. Olgierd Hryniewicz, Janusz Kacprzyk, Jacek Koronacki, Sławomir T. Wierzchoń. - 2005. 
    K 20760
  • Current Issues in Data and Knowledge Engineering : Proceedings of EUROFUSE 2004 the Eight Meeting of the EURO Working Group on Fuzzy Sets Workshop on Data and Knowledge Engineering : September 22-25, 2004, Warszawa, Poland / Ed.: Bernard De Baets [et al.] ; [Polska Akademia Nauk. Instytut Badań Systemowych]. - 2004. 
    K 20762
  • Emerging Intelligent Technologies in Industry / Dominik Ryżko [i in.]. - 2011. 
    K 20763
  • E-Service Intelligence : Methodologies, Technologies and Applications / Eds.: Jie Lu, Da Ruan, Guangquan Zhang. – 2007
    K 20764
  • Discovery Science : 9th International Conference, DS 2006. Barcelona, Spain, October 7-10, 2006. Proceedings / Eds. Ljupco Todorovski, Nada Lavrac, Klaus P. Jantke. - 2006. 
    K 20765 4265
  • Information Processing 94 : Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994 vol. 1 Technology and Foundations - Information Processing '94 / Eds. Bjorn Pehrson, Imre Simon. - 1994. 
    K 20766
  • Information Processing 94 : Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994 vol. 2 Applications and Impacts / Eds. Klaus Brunnstein, Eckart Raubold. - 1994. 
    K 20767
  • Information Processing 94 : Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994 vol. 3 Linkage and Developing Countries / Eds. Karen Duncan, Karl Krueger. - 1994. 
    K 20768
  • The Lambda Calculus : Its Syntax and Semantics / H.P. Barendregt. – 1985
    K 20769
  • Algorithm Design / Jon Kleinberg, Eva Tardos. - 2006. 
    K 20770
  • Computability and Complexity : From a Programming Perspective / Neil D. Jones. - 1997 
    K 20771
  • Petri Nets : An Introduction / Wolfgang Reisig. - 1982. 
    k 20772
  • High-Dimensional Statistics : A Non-Asymptotic Viewpoint Perspective / Martin J. Wainwright. - 2019.
    K 20773
  • Introduction to Deep Learning / Eugene Charniak. - 2018.
    K 20774
  • Polityka rachunkowości w firmie 2019 / z komentarzem do planu kont Trzpioła Katarzyna. - 2018. 
    k 20775
  • Information Theory : Coding Theorems for Discrete Memoryless Systems / Imre Csiszar, Janos Korner. - 2011. 
    K 20776
  • Automatyczna analiza składnikowa języka polskiego / Marcin Woliński. - 2019. 
    K 20777
  •  Quantitative Historical Linguistics : A Corpus Framework / Gard B. Jenset, Barbara McGillivray. - 2017. 
    K 20779
  • Parsing Techniques : A Practical Guide / Dick Grune, Ceriel J.H. Jacobs. - 2008. 
    K 20780
  • Proceedings of the PolEval 2019 Workshop / Eds.: Maciej Ogrodniczuk, Łukasz Kobyliński - 2019. 
    K 20781
© 2021 INSTITUTE OF COMPUTER SCIENCE POLISH ACADEMY OF SCIENCES | Privacy policy | Accessibility declaration