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