Nowości czerwiec - grudzień 2014 1. A Mathematical Model of Action / Józef Winkowski. Warszawa : IPI PAN, 2014. 44 s. Prace IPI PAN ; 1029 Sygn.: b 4764, b 4765 2. A Resource-Light Approach to Morpho-Syntactic Tagging / Anna Feldman and Jirka Hana. Amsterdam : Rodopi, 2010. XIV, 185 s. Language and Computers. Studies in Practical Linguistics no.70 ISBN 978-90-420-2768-8 Sygn.: k 19856 3. Adobe AIR dla programistów JavaScript / Mike Chambers [i in.]. Gliwice: Helion, 2008. 198 s. Tyt. oryg.: Adobe AIR for JavaScript developers : pocket guide 2008 ISBN 978-83-246-1960-3 Sygn.: k 19851 4. Advances in Information Processing and Protection / Eds.: Jerzy Pejas, Khalid Saeed. New York : Springer, 2007. XIII, 458 s. Sygn.: k 20342
5. Advances in Natural Language Processing : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings / Eds.: Adam Przepiórkowski, Maciej Ogrodniczuk. Berlin : Springer, 2014. XV, 492 s. Lecture Notes in Computer Science, 8686 Lecture Notes in Artificial Intelligence ; 8686 ISBN 978-3-319-10887-2 Sygn.: k 20364, k 20365 6. Algorytmy ukrywania informacji / Tomasz Strumiński. Warszawa : IPI PAN, 2013. 154 s. Sygn.: pd 155 7. An Algebraic Framework for Concurrent Systems / Józef Winkowski. Warszawa : Institute of Computer Science, Polish Academy of Sciences, 2014. 136 s. Monograph Series. Information Technologies: Research and Their Interdisciplinary Applications 2 ISBN 978-83-63159-08-5 Sygn.: k 20366, k 20367 8. An Introduction to Statistical Learning with Applications in R / Gareth James [i in.]. New York : Springer, 2013. XIV, 426 s. Springer Texts in Statistics ISBN 978-1-4614-7137-0 Sygn.: k 20349 9. Annual Workshop on Formal Approaches to Slavic Linguistics : The McMaster Meeting 2013 / Eds.: Cassandra Chapman, Olena Kit, Ivona Kucerova. Ann Arbor : Michigan Slavic Publ., 2014. IX, 465 s. Michigan Slavic Materials ; 60 ISBN 978-0-936534-10-7 Sygn.: k 20345
10. Apache Hadoop YARN : Moving beyond MapReduce and Batch Processing with Apache Hadoop 2 / Arun C. Murthy [i in.]. Upper Saddle River : Addison-Wesley, 2014. XII, 304 s. Addison-Wesley Data and Analytics Series 3 ISBN 978-0-321-93450-5 ISBN 0-321-93450-4 Sygn.: k 20348 11. Big Data Analytics Beyond Hadoop: Real-Time Applications with Storm, Spark, and More Hadoop Alternatives / Vijay Srinivas Agneeswaran. Upper Saddle River : Pearson, 2014. XVI, [1], 216 s. FT Press Analytics, ISBN 978-0-13-383794-0 ISBN 0-13-383794-7 Sygn.: k 20358 12. Biometrics, Computer Security Systems and Artificial Intelligence Applications / Eds.: Khalid Saeed, Jerzy Pejas, Romuald Mosdorf. New York : Springer, 2006. XI, 342 s. ISBN 978-0-387-36232-8 Sygn.: k 20344 13. Canonical Morphology and Syntax / Eds. Dunstan Brown, Marina Chumakina, Greville G. Corbett. Oxford : Oxford University Press, 2014. XIV, 312 s. Oxford Linguistics ISBN 978-0-19-960432-6 Sygn.: k 20373 14. Compiler Construction : An Advanced Course / F. L. Bauer [i in.]. Berlin : Springer, 1974. XIV, 621 s. Lecture Notes in Computer Science ; 21 ISBN 3-540-06958-5 Sygn.: k 9637
15. Computer Security - ESORICS 2014 : 19th European Symposium on Research in Computer Security. Wrocław, Poland, September 7-11, 2014. Proceedings. Part I / Eds. Mirosław Kutyłowski, Jaideep Vaidya. Berlin : Springer, 2014. XV, 545 s. Lecture Notes in Computer Science ; 8712 ISBN 978-3-319-11202-2 Sygn.: k 20362, k 20363 16. Dependence Modeling with Copulas / Harry Joe. Boca Raton : CRC ; Chapman and Hall ; Taylor and Francis, 2015. XVIII, 462 s. Monographs on Statistics and Applied Probability ; 134 ISBN 978-1-4665-8322-1 Sygn.: k 20369 17. Essentials of Stochastic Finance : Facts, Models, Theory / Albert N. Shiryaev. Repr. Singapore : World Scientific, 2012. XVI, 834 s. Advanced Series on Statistical Science & Applied Probability Vol. 3 ISBN 978-981-02-3605-2 ISBN 981-02-3605-0 Sygn.: k 20347 18. Exploring Neural Networks with C# / Ryszard Tadeusiewicz, Rituparna Chaki, Nabendu Chaki. Boca Raton : CRC ; Taylor and Francis, 2015. XVI, 282 s. ISBN 978-1-4822-3339-1 Sygn.: k 20360 19. FMTA'95 : Formal Specifications: Foundations, Methods, Tools and Applications FMTA'95, Konstancin, Poland, 29-31 May 1995. Warsaw : Institute of Informatics. Warsaw University, 1995. 34 s. Technical Report 4828 Sygn.: k 19814
20. Formal Aspects of Cognitive Processes : Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972. ed.: Thomas Storer, David Winter. Berlin : Springer, 1975. [2], 214 s. Lecture Notes in Computer Science ; 22 ISBN 3-540-07016-8 Sygn.: k 9808 21. Guide to Teaching Puzzle-Based Learning / Edwin F. Meyer III, Zbigniew Michalewicz [i in.]. Matthew Michalewicz. London : Springer, 2014. XIV, [2], 328 s. Undergraduate Topics in Computer Science ; 7592 ISBN 978-1-4471-6475-3 Sygn.: k 20353 22. Information Criteria and Statistical Modeling / Sadanori Konishi, Genshiro Kitagawa. 2nd ed. New York : Springer, 2008. XII, 273 s. Springer Texts in Statistics ISBN 978-0-387-71886-6 Sygn.: k 19740 23. Information Processing and Security Systems / Eds.: Khalid Saeed, Jerzy Pejas. New York : Springer, 2005. XI, 475 s. ISBN 978-0387-25091-5 Sygn.: k 20343 24. Information Technology for Management : Advancing Sustainable, Profitable Business Growth / Efraim Turban, Linda Volonino, Gregory R. Wood. 9 ed. Hoboken : Wiley ; 2013. XIV, 457 s. ISBN 978-1-118-45324-7 Sygn.: k 20368
25. Konferencja Smoleńska 21-22.10.2013 : Materiały konferencyjne / Wiesław Binienda [i in]. Komitet Organizacyjny Konferencji Smoleńskiej. Warszawa : Komitet Organizacyjny Konferencji Smoleńskiej, 2014. 392 s. ISBN 978-83-936018-1-3 Sygn.: k 20356 26. Lexical-Functional Grammar / Mary Dalrymple. San Diego: Emerald, 2001. 241 s. Syntax and Semantics vol. 34 ISBN 978-0126135343 Sygn.: k 19847 27. Life in Half a Second : How to achieve success before it's too late / Matthew Michalewicz. Melbourne : Hybrid Publishers, 2013. VII, 176 s. ISBN 978-1-925000-20-7 Sygn.: k 20352 28. Logic in Grammar : Polarity, Free Choice, and Intervention / Gennaro Chierchia. Oxford : Oxford University Press, 2014. XI, 468 s. Oxford Studies in Semantics and Pragmatics ; 2. Oxford Linguistics ISBN 978-0-19-969798-4 Sygn.: k 20371 29. Long-Memory Processes : Propabilistic Properties and Statistical Methods / Ed.: Jan Beran [i in.]. Heidelberg : Springer, 2013. XVII, 884 s. ISBN 978-3-642-35511-0 Sygn.: k 20346
30. MangoDB : The Definitive Guide / Kristina Chodorow. 2 ed. Beijing : O'Reilly, 2013. XIX, 410 s. ISBN 978-1-449-34468-9 Sygn.: k 20350 31. Metody matematyczne w zastosowaniach : T. 1 / Pod red. Agnieszki Bartłomiejczyk. Gdańsk : Centrum Zastosowań Matematyki. Politechnika Gdańska, 2013. IX, 289 s. ISBN 978-83-937569-0-2 Sygn.: k 20351 32. Mining Text Data / Eds. Charu C. Aggarwal, ChengXiang Zhai. New York: Springer, 2012. XI, 522 s. ISBN 978-1-4614-3222-7 Sygn.: k 20374 33. Model Checking Temporal Properties of Reaction Systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. Warszawa : IPI PAN, 2014. 28 s. Prace IPI PAN ; 1028 Sygn.: b 4766, b 4767 34. Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations / Yoav Shoham, Kevin Leyton-Brown. Cambridge : Cambridge University Press, 2009. XX, 483 s. ISBN 978-0-521-89943-7 Sygn.: k 19848 35. Nano i kwantowe systemy informatyki / Stefan Węgrzyn [i in]. Gliwice : Wydaw. Politechniki Śląskiej, 2004. 133 s. ISBN 83-7335-252-X Sygn.: k 20357
36. Natural language processing with Python / Steven Bird, Ewan Klein, Edward Loper. Beijing : O'Reilly, 2009. XX, 479 s. ISBN 978-0-596-51649-9 Sygn.: k 19778 37. Nonverbal Predication : Copular Sentences at the Syntax-Semantics Interface / Isabelle Roy. Oxford : Oxford University Press, 2013. XIV, 212 s. Oxford Studies in Theoretical Linguistics ; 45. Oxford Linguistics ISBN 978-0-19-954355-7 Sygn.: k 20372 38. Ontology-Based Interpretation of Natural Language / Philipp Cimiano, Christina Unger, John McCrae. [b. m.] : Morgan and Claypool, 2014. XIX, 158 s. Synthesis Lectures on Human Language Technologies ; 24 ISBN 978-1-60845-989-6 Sygn.: k 20359 39. Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974 / ed.: E. Gelenbe, C. Kaiser. Berlin : Springer, 1974. [5], 310 s. Lecture Notes in Computer Science ; 16 ISBN 3-540-06849-X Sygn.: k 9558 40. Pascal User Manual and Report: Kathleen Jensen, Niklaus Wirth. Berlin : Springer, 1974. VII, 170 s. Lecture Notes in Computer Science ; 18 ISBN 3-540-07167-9 Sygn.: k 9559
41. Planowanie abstrakcyjne w elektronicznych procesach biznesowych opartych na paradygmacie SOA / Marek Pilski. Warszawa : IPI PAN, 2013. 219 s. Sygn.: pd 154 42. Polish Dependency Parser Trained on an Automatically Induced Dependency Bank / Alina Wróblewska. Warszawa : IPI PAN, 2014. XI, 210 s. Sygn.: pd 156 43. 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, 2014. [27] s. pag. varia Sygn.: k 20354, k 20355 44. Productivity in Argument Selection : From Morphology to Syntax / Amir Zeldes. Berlin : De Gruyter Mouton, 2012. XX, 282 s. Trends in Linguistics Studies and Monographs ; 260 ISBN 978-3-11-030079-6 Sygn.: k 20361 45. Programming Methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / ed.: Clemens Hackl. Berlin : Springer, 1975. VI, 501 s. Lecture Notes in Computer Science ; 23 ISBN 3-540-07131-8 Sygn.: k 9836 46. Programming Symposium: Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974 / ed.: Bernard Robinet. Berlin : Springer, 1974. [3], 425 s. Lecture Notes in Computer Science ; 19 ISBN 3-540-06859-7 Sygn.: k 9635
47. Rechner-Gesttzter Unterricht: RGU '74, Fachtagung, Hamburg 12.14. August 1974 ACU-Arbeitskreis Computer-Untersttzter Unterricht / ed.: K. Brunnstein, K. Haefner, W. Handler. Berlin : Springer, 1974. [7], 417 s. Lecture Notes in Computer Science ; 17 ISBN 3-540-06907-0 Sygn.: k 9501 48. Simple Program Schemes and Formal Languages : Joost Engelfriet. Berlin : Springer, 1974. VI, [1], 254 s. Lecture Notes in Computer Science ; 20 ISBN 3-540-06953-4 Sygn.: k 9636 49. Słownik nazw własnych / Jan Grzenia. Wyd. 2 popr. Warszawa : PWN, 2002. 386 s. ISBN 83-01-13710-X Sygn.: k 18681 50. Statystyka dla studentów kierunków technicznych i przyrodniczych / Jacek Koronacki, Jan Mielniczuk. Wyd. 3. Warszawa : WNT, 2006. 491 s. ISBN 978-83-204-3633-4 Sygn.: k 20219, k 20220 53. 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, 2007. 206 s. ISBN 83-920730-4-5 Sygn.: k 20340
52. Systemy wspomagania decyzji. T.2 / Red. nauk. Alicja Wakulicz-Deja ; Instytut Informatyki Uniwersytetu Śląskiego w Katowicach. Katowice : Instytut Informatyki Uniwersytetu Śląskiego, 2007. 276 s. ISBN 83-920730-4-5 Sygn.: k 20341 54. 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 2002. 201 s. Sygn.: k 20338 55. Systemy wspomagania decyzji / red. nauk. Alicja Wakulicz-Deja ; Instytut Informatyki Uniwersytetu Śląskiego w Katowicach. Katowice : Instytut Informatyki Uniwersytetu Śląskiego 2006. 356 s. Sygn.: k 20339 56. 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, 2009. XV, 275 s. ISBN 978-1-60558-431-7 Sygn.: k 19862 57. Wstęp do informatyki kwantowej / Michel Le Bellac. Warszawa : PWN, 2011. 170 s. Tyt. oryg.: Introduction a l'information quantique, 2005 Sygn.: k 20370