Articles+ start "LNCS sublibrary. SL 1, Theoretical computer science and general issues." Settings Direct access to full text

articles+ search results

137 articles+ results

1 - 20
View results as:
Number of results to display per page

1. Applications and theory of Petri nets : 38nd International Conference, Petri Nets 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings / Wil van der Aalst, Eike Best (eds.). [2017]

  • International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38 ; 2017 ; Saragossa)., Aalst, Wil van der (1966- )., Best, Eike (1951- )., Springer Science+Business Media. Wydawca pbl, and International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38 ; 2017 ; Saragossa).
  • Bibliografia przy pracach. Indeks.
Subjects
Sieci Petriego -- konferencje, Przetwarzanie współbieżne (informatyka) -- konferencje, and Inżynieria oprogramowania -- konferencje

2. Application and theory of Petri Nets and concurrency : 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016 : proceedings / Fabrice Kordon, Daniel Moldt (eds.). [2016]

  • International Conference on Applications and Theory of Petri Nets and Concurrency (37 ; 2016 ; Toruń)., Kordon, Fabrice., Moldt, Daniel., Springer Nature. Wydawca pbl, and International Conference on Applications and Theory of Petri Nets and Concurrency (37 ; 2016 ; Toruń).

3. The language of mathematics : a linguistic and philosophical investigation / Mohan Ganesalingam. [2013]

  • Ganesalingam, Mohan., Springer-Verlag (Berlin). pbl, and Ganesalingam, Mohan.
  • Bibliogr. s. [253]-256. Indeks.

4. Applications and theory of Petri nets : 32nd International Conference, Petri Nets 2011 Newcastle, UK, June 20-24, 2011 : proceedings / Lars M. Kristensen, Laure Petrucci (eds.). [2011]

  • International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (32 ; 2011 ; Newcastle upon Tyne)., Petrucci, Laure., Kristensen, Lars Michael (1971- )., Springer-Verlag (Berlin). Wydawca pbl, and International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (32 ; 2011 ; Newcastle upon Tyne).
  • Bibliografia przy referatach. Indeks.
Subjects
Sieci Petriego -- konferencje

5. Swarm Intelligence : 7th international conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010 : proceedings / Marco Dorigo [et al.] (eds.). [2010]

  • ANTS 2010 (7 ; 2010 ; Bruksela)., Dorigo, Marco., and ANTS 2010 (7 ; 2010 ; Bruksela).
Subjects
Teoria liczb -- konferencje and Optymalizacja matematyczna -- konferencje

6. Algorithms and models for the web-graph : 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 : proceedings / Konstantin Avrachenkov, Debora Donato, Nelly Litvak (eds.). [2009]

  • WAW 2009 (6 ; 2009 ; Barcelona)., Avračenkov, Konstantin Evgen'evič (1973- )., Donato, Debora., Litvak, Nelly (1972- )., and WAW 2009 (6 ; 2009 ; Barcelona).
  • Bibliogr. przy art. Indeks.

7. Approximation randomization and combinatorial optimization : algorithms and techniques : 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008 : proceedings / Ashish Goel, Klaus Jansen, José D. P. Rolim, Ronitt Rubinfeld (eds.). [2008]

  • International Workshop APPROX 2008 (11 ; 2008 ; Boston)., Jansen, Klaus., Rolim, José., Goel, Ashish., Rubinfeld, Ronitt (1964- )., Springer-Verlag (Berlin). Wydawca pbl, RANDOM 2008 (12 ; 2008 ; Boston)., and International Workshop APPROX 2008 (11 ; 2008 ; Boston).
  • Bibliografia przy pracach. Indeks.
Subjects
Algorytmy -- konferencje, Informatyka -- metody statystyczne -- konferencje, and Optymalizacja kombinatoryczna -- konferencje

8. Computational science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008 : proceedings. Pt. 2 / Marian Bubak, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot (eds.). [2008]

  • International Conference on Computational Science (8 ; 2008 ; Kraków)., Bubak, Marian., Albada, Geert Dick van (1951- )., Dongarra, Jack J., Sloot, Peter (1956- )., Springer Science+Business Media. Wydawca pbl, and International Conference on Computational Science (8 ; 2008 ; Kraków).
  • Bibliografia przy referatach. Indeks.
Subjects
Informatyka -- konferencje

9. Computational science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008 : proceedings. Pt. 1 / Marian Bubak, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot (eds.). [2008]

  • International Conference on Computational Science (8 ; 2008 ; Kraków)., Bubak, Marian., Dongarra, Jack J., Sloot, Peter (1956- )., Albada, Geert Dick van (1951- )., Springer Science+Business Media. Wydawca pbl, and International Conference on Computational Science (8 ; 2008 ; Kraków).
  • Bibliografia przy referatach. Indeks.
Subjects
Informatyka -- konferencje

10. Artificial immune systems : 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007 : proceedings / Leandro Nunes de Castro, Fernando José Von Zuben, Helder Knidel (eds.). [2007]

  • ICARIS 2007 (6 ; 2007 ; Santos)., Nunes de Castro, Leandro (1974- )., Von Zuben, Fernando José., Knidel, Helder., Springer Science+Business Media. Wydawca pbl, and ICARIS 2007 (6 ; 2007 ; Santos).
  • Bibliografia przy rozdziałach. Indeks.
Subjects
Sztuczne systemy immunologiczne -- konferencje

11. Verification, model checking and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). [2007]

  • VMCAI 2007 (8 ; 2007 ; Nicea)., Cook, Byron., Podelski, Andreas., and VMCAI 2007 (8 ; 2007 ; Nicea).
  • Bibliografia przy rozdziałach. Indeks.
Subjects
Weryfikacja oprogramowania -- konferencje

12. Combinatorial optimization and applications : First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007 : proceedings / Andreas Dress, Yinfeng Xu, Binhai Zhu. [2007]

  • COCOA 2007 (1 ; 2007 ; Xi'an)., Dress, Andreas, Xu, Yinfeng, Zhu, Binhai (1966- ), and COCOA 2007 (1 ; 2007 ; Xi'an).
  • Bibliogr. przy ref. Indeks.

13. Computers and games : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik, Paolo Ciancarini, H. H. L. M. (Jeroen) Donkers (eds.). [2007]

  • CG '2006 (5 ; 2006 ; Turyn)., Herik, H. Jaap van den., Ciancarini, Paolo., Donkers, Hieronymus Hendrikus Lambertus Maria (1963- )., and CG '2006 (5 ; 2006 ; Turyn).
  • Indeks.
Subjects
Gry komputerowe -- konferencje, Gry komputerowe -- programowanie -- konferencje, Mikrokomputery -- konferencje, and Teoria gier -- konferencje

14. Artificial immune systems : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006 : proceedings / Hugues Bersini, Jorge Carneiro (eds.). [2006]

  • ICARIS 2006 (5 ; 2006 ; Oeiras)., Bersini, Hugues (1961- )., Carneiro, Jorge (1967- )., Springer Science+Business Media. Wydawca pbl, and ICARIS 2006 (5 ; 2006 ; Oeiras).
  • Bibliografia przy rozdziałach. Indeks.
Subjects
Sztuczne systemy immunologiczne -- konferencje

15. Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings. Part 2 / Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.). [2006]

  • ICALP 2006 (33 ; 2006 ; Wenecja)., Preneel, Bart (1963- )., Sassone, Vladimiro., Wegener, Ingo., Bugliesi, Michele., and ICALP 2006 (33 ; 2006 ; Wenecja).
  • Bibliografia przy pracach. Indeks.
Subjects
Komputery -- programowanie -- konferencje, Języki formalne -- konferencje, and Teoria automatów -- konferencje

16. Computational intelligence in music, sound, art and design : 6th international conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings [2017]

  • Correia, João and EvoMUSART, 6., Amsterdam
Subjects
Musik, Kunst, Maschinelles Lernen, Evolutionärer Algorithmus, Konferenzschrift, 2017, and Amsterdam
Abstract
Includes author index

17. Neural Information Processing: 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015 : Proceedings [2015]

  • Arik, Sabri. editor., Huang, Tingwen. editor., Lai, Weng Kin. editor., and Liu, Qingshan. editor.
Subjects
Neural networks (Computer science) -- Congresses., Computer science., Pattern perception., Computer Science., Pattern Recognition., Neural networks (Computer science), and Conference papers and proceedings.
Abstract
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithms and Classification Systems; Artificial Intelligence and Neural Networks: Theory, Design, and Applications; Image and Signal Processing; and Intelligent Social Networks.

18. Neural information processing: 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings [2014]

  • Loo, Chu Kiong, 1971- editor., Yap, Keem Siah, editor., Wong, Kok Wai, editor., Teoh, Andrew, editor., and Huang, Kaizhu, editor.
Subjects
Neural networks (Computer science) -- Congresses., Neural networks (Computer science), and Conference papers and proceedings.

19. Algorithms-- ESA 2014: 22nd Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings [2014]

  • Schulz, Andreas S., editor. and Wagner, Dorothea, 1957- editor.
Subjects
Information retrieval., Information organization., Computer science., Computer algorithms -- Congresses., Algorithm Analysis and Problem Complexity., Discrete Mathematics in Computer Science., Numeric Computing., Data Structures., and Electronic books.

20. Neural information processing: 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings [2013]

  • Lee, Minho, editor., Hirose, Akira, 1963-, Hou, Zeng-Guang., and Kil, Rhee Man.
Subjects
Neural networks (Computer science) -- Congresses., Neural networks (Computer science), and Conference papers and proceedings.

Catalog

Books, media, physical & digital resources
See catalog results

Guides

Course- and topic-based guides to collections, tools, and services.
Search ""LNCS sublibrary. SL 1, Theoretical computer science and general issues."" in all guide pages
1 - 20