1. A Mathematical Model of Action / Józef Winkowski. Warszawa : IPI PAN, s. Prace IPI PAN ; 1029 Sygn.: b 4764, b 4765

Transkrypt

1 Nowości czerwiec - grudzień A Mathematical Model of Action / Józef Winkowski. Warszawa : IPI PAN, s. Prace IPI PAN ; 1029 Sygn.: b 4764, b A Resource-Light Approach to Morpho-Syntactic Tagging / Anna Feldman and Jirka Hana. Amsterdam : Rodopi, XIV, 185 s. Language and Computers. Studies in Practical Linguistics no.70 ISBN Sygn.: k Adobe AIR dla programistów JavaScript / Mike Chambers [i in.]. Gliwice: Helion, s. Tyt. oryg.: Adobe AIR for JavaScript developers : pocket guide 2008 ISBN Sygn.: k Advances in Information Processing and Protection / Eds.: Jerzy Pejas, Khalid Saeed. New York : Springer, XIII, 458 s. Sygn.: k 20342

2 5. Advances in Natural Language Processing : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, Proceedings / Eds.: Adam Przepiórkowski, Maciej Ogrodniczuk. Berlin : Springer, XV, 492 s. Lecture Notes in Computer Science, 8686 Lecture Notes in Artificial Intelligence ; 8686 ISBN Sygn.: k 20364, k Algorytmy ukrywania informacji / Tomasz Strumiński. Warszawa : IPI PAN, s. Sygn.: pd An Algebraic Framework for Concurrent Systems / Józef Winkowski. Warszawa : Institute of Computer Science, Polish Academy of Sciences, s. Monograph Series. Information Technologies: Research and Their Interdisciplinary Applications 2 ISBN Sygn.: k 20366, k An Introduction to Statistical Learning with Applications in R / Gareth James [i in.]. New York : Springer, XIV, 426 s. Springer Texts in Statistics ISBN Sygn.: k Annual Workshop on Formal Approaches to Slavic Linguistics : The McMaster Meeting 2013 / Eds.: Cassandra Chapman, Olena Kit, Ivona Kucerova. Ann Arbor : Michigan Slavic Publ., IX, 465 s. Michigan Slavic Materials ; 60 ISBN Sygn.: k 20345

3 10. Apache Hadoop YARN : Moving beyond MapReduce and Batch Processing with Apache Hadoop 2 / Arun C. Murthy [i in.]. Upper Saddle River : Addison-Wesley, XII, 304 s. Addison-Wesley Data and Analytics Series 3 ISBN ISBN Sygn.: k Big Data Analytics Beyond Hadoop: Real-Time Applications with Storm, Spark, and More Hadoop Alternatives / Vijay Srinivas Agneeswaran. Upper Saddle River : Pearson, XVI, [1], 216 s. FT Press Analytics, ISBN ISBN Sygn.: k Biometrics, Computer Security Systems and Artificial Intelligence Applications / Eds.: Khalid Saeed, Jerzy Pejas, Romuald Mosdorf. New York : Springer, XI, 342 s. ISBN Sygn.: k Canonical Morphology and Syntax / Eds. Dunstan Brown, Marina Chumakina, Greville G. Corbett. Oxford : Oxford University Press, XIV, 312 s. Oxford Linguistics ISBN Sygn.: k Compiler Construction : An Advanced Course / F. L. Bauer [i in.]. Berlin : Springer, XIV, 621 s. Lecture Notes in Computer Science ; 21 ISBN Sygn.: k 9637

4 15. Computer Security - ESORICS 2014 : 19th European Symposium on Research in Computer Security. Wrocław, Poland, September 7-11, Proceedings. Part I / Eds. Mirosław Kutyłowski, Jaideep Vaidya. Berlin : Springer, XV, 545 s. Lecture Notes in Computer Science ; 8712 ISBN Sygn.: k 20362, k Dependence Modeling with Copulas / Harry Joe. Boca Raton : CRC ; Chapman and Hall ; Taylor and Francis, XVIII, 462 s. Monographs on Statistics and Applied Probability ; 134 ISBN Sygn.: k Essentials of Stochastic Finance : Facts, Models, Theory / Albert N. Shiryaev. Repr. Singapore : World Scientific, XVI, 834 s. Advanced Series on Statistical Science & Applied Probability Vol. 3 ISBN ISBN Sygn.: k Exploring Neural Networks with C# / Ryszard Tadeusiewicz, Rituparna Chaki, Nabendu Chaki. Boca Raton : CRC ; Taylor and Francis, XVI, 282 s. ISBN Sygn.: k FMTA'95 : Formal Specifications: Foundations, Methods, Tools and Applications FMTA'95, Konstancin, Poland, May Warsaw : Institute of Informatics. Warsaw University, s. Technical Report 4828 Sygn.: k 19814

5 20. Formal Aspects of Cognitive Processes : Interdisciplinary Conference, Ann Arbor, MI, USA, March ed.: Thomas Storer, David Winter. Berlin : Springer, [2], 214 s. Lecture Notes in Computer Science ; 22 ISBN Sygn.: k Guide to Teaching Puzzle-Based Learning / Edwin F. Meyer III, Zbigniew Michalewicz [i in.]. Matthew Michalewicz. London : Springer, XIV, [2], 328 s. Undergraduate Topics in Computer Science ; 7592 ISBN Sygn.: k Information Criteria and Statistical Modeling / Sadanori Konishi, Genshiro Kitagawa. 2nd ed. New York : Springer, XII, 273 s. Springer Texts in Statistics ISBN Sygn.: k Information Processing and Security Systems / Eds.: Khalid Saeed, Jerzy Pejas. New York : Springer, XI, 475 s. ISBN Sygn.: k Information Technology for Management : Advancing Sustainable, Profitable Business Growth / Efraim Turban, Linda Volonino, Gregory R. Wood. 9 ed. Hoboken : Wiley ; XIV, 457 s. ISBN Sygn.: k 20368

6 25. Konferencja Smoleńska : Materiały konferencyjne / Wiesław Binienda [i in]. Komitet Organizacyjny Konferencji Smoleńskiej. Warszawa : Komitet Organizacyjny Konferencji Smoleńskiej, s. ISBN Sygn.: k Lexical-Functional Grammar / Mary Dalrymple. San Diego: Emerald, s. Syntax and Semantics vol. 34 ISBN Sygn.: k Life in Half a Second : How to achieve success before it's too late / Matthew Michalewicz. Melbourne : Hybrid Publishers, VII, 176 s. ISBN Sygn.: k Logic in Grammar : Polarity, Free Choice, and Intervention / Gennaro Chierchia. Oxford : Oxford University Press, XI, 468 s. Oxford Studies in Semantics and Pragmatics ; 2. Oxford Linguistics ISBN Sygn.: k Long-Memory Processes : Propabilistic Properties and Statistical Methods / Ed.: Jan Beran [i in.]. Heidelberg : Springer, XVII, 884 s. ISBN Sygn.: k 20346

7 30. MangoDB : The Definitive Guide / Kristina Chodorow. 2 ed. Beijing : O'Reilly, XIX, 410 s. ISBN Sygn.: k Metody matematyczne w zastosowaniach : T. 1 / Pod red. Agnieszki Bartłomiejczyk. Gdańsk : Centrum Zastosowań Matematyki. Politechnika Gdańska, IX, 289 s. ISBN Sygn.: k Mining Text Data / Eds. Charu C. Aggarwal, ChengXiang Zhai. New York: Springer, XI, 522 s. ISBN Sygn.: k Model Checking Temporal Properties of Reaction Systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. Warszawa : IPI PAN, s. Prace IPI PAN ; 1028 Sygn.: b 4766, b Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations / Yoav Shoham, Kevin Leyton-Brown. Cambridge : Cambridge University Press, XX, 483 s. ISBN Sygn.: k Nano i kwantowe systemy informatyki / Stefan Węgrzyn [i in]. Gliwice : Wydaw. Politechniki Śląskiej, s. ISBN X Sygn.: k 20357

8 36. Natural language processing with Python / Steven Bird, Ewan Klein, Edward Loper. Beijing : O'Reilly, XX, 479 s. ISBN Sygn.: k Nonverbal Predication : Copular Sentences at the Syntax-Semantics Interface / Isabelle Roy. Oxford : Oxford University Press, XIV, 212 s. Oxford Studies in Theoretical Linguistics ; 45. Oxford Linguistics ISBN Sygn.: k Ontology-Based Interpretation of Natural Language / Philipp Cimiano, Christina Unger, John McCrae. [b. m.] : Morgan and Claypool, XIX, 158 s. Synthesis Lectures on Human Language Technologies ; 24 ISBN Sygn.: k Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974 / ed.: E. Gelenbe, C. Kaiser. Berlin : Springer, [5], 310 s. Lecture Notes in Computer Science ; 16 ISBN X Sygn.: k Pascal User Manual and Report: Kathleen Jensen, Niklaus Wirth. Berlin : Springer, VII, 170 s. Lecture Notes in Computer Science ; 18 ISBN Sygn.: k 9559

9 41. Planowanie abstrakcyjne w elektronicznych procesach biznesowych opartych na paradygmacie SOA / Marek Pilski. Warszawa : IPI PAN, s. Sygn.: pd Polish Dependency Parser Trained on an Automatically Induced Dependency Bank / Alina Wróblewska. Warszawa : IPI PAN, XI, 210 s. Sygn.: pd Proceedings of the 1st Samsung HLT Young Researchers Symposium colocated with PolTAL (9th International Conference on Natural Language Processing) Warsaw, Poland 18 September 2014 / Samsung. Warszawa : Samsung, [27] s. pag. varia Sygn.: k 20354, k Productivity in Argument Selection : From Morphology to Syntax / Amir Zeldes. Berlin : De Gruyter Mouton, XX, 282 s. Trends in Linguistics Studies and Monographs ; 260 ISBN Sygn.: k Programming Methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / ed.: Clemens Hackl. Berlin : Springer, VI, 501 s. Lecture Notes in Computer Science ; 23 ISBN Sygn.: k Programming Symposium: Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974 / ed.: Bernard Robinet. Berlin : Springer, [3], 425 s. Lecture Notes in Computer Science ; 19 ISBN Sygn.: k 9635

10 47. Rechner-Gesttzter Unterricht: RGU '74, Fachtagung, Hamburg August 1974 ACU-Arbeitskreis Computer-Untersttzter Unterricht / ed.: K. Brunnstein, K. Haefner, W. Handler. Berlin : Springer, [7], 417 s. Lecture Notes in Computer Science ; 17 ISBN Sygn.: k Simple Program Schemes and Formal Languages : Joost Engelfriet. Berlin : Springer, VI, [1], 254 s. Lecture Notes in Computer Science ; 20 ISBN Sygn.: k Słownik nazw własnych / Jan Grzenia. Wyd. 2 popr. Warszawa : PWN, s. ISBN X Sygn.: k Statystyka dla studentów kierunków technicznych i przyrodniczych / Jacek Koronacki, Jan Mielniczuk. Wyd. 3. Warszawa : WNT, s. ISBN Sygn.: k 20219, k Systemy wspomagania decyzji. T.1, Pamięci Profesora Zdzisława Pawlaka / Red. nauk. Alicja Wakulicz-Deja ; Instytut Informatyki Uniwersytetu Śląskiego w Katowicach. Katowice : Instytut Informatyki Uniwersytetu Śląskiego, s. ISBN Sygn.: k 20340

11 52. Systemy wspomagania decyzji. T.2 / Red. nauk. Alicja Wakulicz-Deja ; Instytut Informatyki Uniwersytetu Śląskiego w Katowicach. Katowice : Instytut Informatyki Uniwersytetu Śląskiego, s. ISBN Sygn.: k Systemy wspomagania decyzji : Materiały Konferencji Naukowej Zakopane 9-11 XII 2001 / red. nauk. Alicja Wakulicz-Deja ; Instytut Informatyki Uniwersytetu Śląskiego w Katowicach. Sosnowiec : Instytut Informatyki Uniwersytetu Śląskiego s. Sygn.: k Systemy wspomagania decyzji / red. nauk. Alicja Wakulicz-Deja ; Instytut Informatyki Uniwersytetu Śląskiego w Katowicach. Katowice : Instytut Informatyki Uniwersytetu Śląskiego s. Sygn.: k UbiComp'09 : Proceedings of the 11th International Conference on Ubiquitous Computing September 30 - October 03, 2009 Orlando, FL, USA / Eds.: Sumi Helal, Hans Gellersen, Sunny Consolvo. New York : ACM, XV, 275 s. ISBN Sygn.: k Wstęp do informatyki kwantowej / Michel Le Bellac. Warszawa : PWN, s. Tyt. oryg.: Introduction a l'information quantique, 2005 Sygn.: k 20370