Lecture notes in computer science
Bibliographic Information
Lecture notes in computer science
Springer-Verlag
- Other Title
-
LNCS
Available at / 8 libraries
Related Books: 121-140 of 6,944
-
121
-
Theory and applications of models of computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019 : proceedings
-
T.V. Gopal, Junzo Watada (eds.)
Springer
c2019
Lecture notes in computer science
11436 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 2 libraries
-
122
-
Language and automata theory and applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, proceedings
-
Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.)
Springer
c2019
Lecture notes in computer science
11417 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
123
-
Algorithms for sensor systems : 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23-24, 2018, revised selected papers
-
Seth Gilbert, Danny Hughes, Bhaskar Krishnamachari (eds.)
Springer
c2019
Lecture notes in computer science
11410 . LNCS sublibrary ; SL 5 . Computer communication networks and telecommunications
Available at 1 libraries
-
124
-
Distributed computing by mobile entities : current research in moving and computing
-
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro (eds.)
Springer
c2019
Lecture notes in computer science
11340 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
: [pbk.]
Available at 5 libraries
-
125
-
Euro-Par 2018 : Parallel Processing Workshops : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018 : revised selected papers
-
Gabriele Mencagli, Dora B. Heras et al. (eds.)
Springer
c2019
Lecture notes in computer science
11339 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
126
-
Algorithms and discrete applied mathematics : 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, proceedings
-
Sudebkumar Prasant Pal, Ambat Vijayakumar (eds.)
Springer
c2019
Lecture notes in computer science
11394 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Available at 2 libraries
-
127
-
SOFSEM 2019 : theory and practice of computer science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, proceedings
-
Barbara Catania ... [et al.] (eds.)
Springer
c2019
Lecture notes in computer science
11376 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
128
-
Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
-
Constantin Enea, Ruzica Piskac (eds.)
Springer
c2019
Lecture notes in computer science
11388 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 2 libraries
-
129
-
Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings
-
José Júlio Alferes, Moa Johansson (eds.)
Springer
c2019
Lecture notes in computer science
11372 . LNCS sublibrary SL 2 . Programming and software engineering
Available at 1 libraries
-
130
-
Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018 : proceedings
-
Michele Berlingerio ... [et al.](Eds.)
Springer
c2019
Lecture notes in computer science
11051-11053 . Lecture notes in artificial intelligence
pt. 1 , pt. 2 , pt. 3
Available at 3 libraries
-
131
-
WALCOM : algorithms and computation : 13th International Conference, WALCOM 2019, Guwahati, India, February 27-March 2, 2019 : proceedings
-
Gautam K. Das ... [et al.], (eds.)
Springer
c2019
Lecture notes in computer science
11355 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
132
-
Conceptual modeling : 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018 : proceedings
-
Juan C. Trujillo ... [et al.] (eds.)
Springer
c2018
Lecture notes in computer science
11157
: [pbk.]
Available at 1 libraries
-
133
-
Web engineering : 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018 : proceedings
-
Tommi Mikkonen, Ralf Klamma, Juan Hernández (eds.)
Springer
c2018
Lecture notes in computer science
10845
: [pbk.]
Available at 1 libraries
-
134
-
Industrial practice
-
Springer
c2018
Lecture notes in computer science
11247 . LNCS sublibrary ; SL 1 .Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 4
Available at 1 libraries
-
135
-
Distributed systems
-
Springer
c2018
Lecture notes in computer science
11246 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 3
Available at 1 libraries
-
136
-
Verification
-
Springer
c2018
Lecture notes in computer science
11245 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 2
Available at 1 libraries
-
137
-
Modeling
-
Springer
c2018
Lecture notes in computer science
11244 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt . 1
Available at 1 libraries
-
138
-
Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings
-
Mohamed Faouzi Atig ... [et al.] (eds.)
Springer
c2018
Lecture notes in computer science
11181 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
-
139
-
Web and internet economics : 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018, proceedings
-
George Christodoulou, Tobias Harks, eds
Springer
c2018
Lecture notes in computer science
11316 . LNCS sublibrary ; SL 3 . Information systems and applications, incl. Internet/web, and HCI
: [pbk.]
Available at 1 libraries
-
140
-
Trends and applications in knowledge discovery and data mining : PAKDD 2018 Workshops, BDASC, BDM, ML4Cyber, PAISI, DaMEMO, Melbourne, VIC, Australia, June 3, 2018 : revised selected papers
-
Mohadeseh Ganji ... [et al.] (eds.)
Springer
c2018
Lecture notes in computer science
11154 . Lecture notes in artificial intelligence
: [pbk.]
Available at 2 libraries