Your search returned 13673 results. Subscribe to this search

|
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks [electronic resource] : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers / edited by Henning Schulzrinne, Radu State, Saverio Niccolini.

by Schulzrinne, Henning [editor.] | State, Radu [editor.] | Niccolini, Saverio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / edited by Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer.

by Middeldorp, Aart [editor.] | van Oostrom, Vincent [editor.] | van Raamsdonk, Femke [editor.] | de Vrijer, Roel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Christian Berger, Mohammad Reza Mousavi.

by Berger, Christian [editor.] | Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman.

by Alferes, Jose Julio [editor.] | Bertossi, Leopoldo [editor.] | Governatori, Guido [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Human Aspects of Information Security, Privacy and Trust [electronic resource] : 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Theo Tryfonas.

by Tryfonas, Theo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings / edited by Lou Goble, John-Jules Ch. Meyer.

by Goble, Lou [editor.] | Meyer, John-Jules Ch [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I / edited by Sven Hartmann, Hui Ma.

by Hartmann, Sven [editor.] | Ma, Hui [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni.

by Baldoni, Matteo [editor.] | Chopra, Amit K [editor.] | Son, Tran Cao [editor.] | Hirayama, Katsutoshi [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Electronic Government and the Information Systems Perspective [electronic resource] : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by Andrea Kő, Enrico Francesconi.

by Kő, Andrea [editor.] | Francesconi, Enrico [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Flexible Query Answering Systems [electronic resource] : 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009, Proceedings / edited by Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen.

by Andreasen, Troels [editor.] | Yager, Ronald R [editor.] | Bulskov, Henrik [editor.] | Christiansen, Henning [editor.] | Larsen, Henrik Legind [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / edited by Jürgen Großmann, Michael Felderer, Fredrik Seehusen.

by Großmann, Jürgen [editor.] | Felderer, Michael [editor.] | Seehusen, Fredrik [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.

by Suzuki, Kenji [editor.] | Higashino, Teruo [editor.] | Ulrich, Andreas [editor.] | Hasegawa, Toru [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph.

by Hölldobler, Steffen [editor.] | Peñaloza, Rafael [editor.] | Rudolph, Sebastian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Radio Frequency Identification and IoT Security [electronic resource] : 12th International Workshop, RFIDSec 2016, Hong Kong, China, November 30 -- December 2, 2016, Revised Selected Papers / edited by Gerhard P. Hancke, Konstantinos Markantonakis.

by Hancke, Gerhard P [editor.] | Markantonakis, Konstantinos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.

by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Requirements Engineering: Foundation for Software Quality [electronic resource] : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / edited by Samuel A. Fricker, Kurt Schneider.

by Fricker, Samuel A [editor.] | Schneider, Kurt [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / edited by Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide.

by Dediu, Adrian Horia [editor.] | Ionescu, Armand Mihai [editor.] | Martin-Vide, Carlos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Informatics in SchoolsTeaching and Learning Perspectives [electronic resource] : 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings / edited by Yasemin Gülbahar, Erinç Karataş.

by Gülbahar, Yasemin [editor.] | Karataş, Erinç [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Financial Cryptography and Data Security [electronic resource] : 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers / edited by Gene Tsudik.

by Tsudik, Gene [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók.

by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Zsók, Viktoria [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available