Clear Search

Books+ Search Results

Subject: "Computer software"
Language: Is
Is Is Not
English
Subject: Is
Is Is Not
Computer Communication Networks

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
Algorithms for Sensor Systems 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
Author
Flocchini, Paola
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Networked Systems Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers
Author
Noubir, Guevara
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Distributed Graph Algorithms for Computer Networks
Author
Erciyes, K.
Published
London : Springer London : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers
Author
Gramoli, Vincent
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers
Author
Qian, Hua
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Intelligent Computing Theories and Application 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part I
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Algorithms for Sensor Systems 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers
Author
Gao, Jie
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author
Mora, Antonio M.
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
Author
Merz, Stephan
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Multidimensional Queueing Models in Telecommunication Networks
Author
Melikov, Agassi
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
Author
Wyrzykowski, Roman
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Author
Perny, Patrice
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Connected Dominating Set: Theory and Applications
Author
Du, Dingzhu
Published
New York, NY : Springer New York : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author
Groves, Lindsay
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Bio-Inspired Models of Networks, Information, and Computing Systems 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers
Author
Hart, Emma
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author
O’Boyle, Michael
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Author
Aoki, Toshiaki
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Algorithmic Decision Theory Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings
Author
Brafman, Ronen I.
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author
Knoop, Jens
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Author
Qin, Shengchao
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
30.
OpenMP in the Petascale Era 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings
Author
Chapman, Barbara M.
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings
Author
Sato, Mitsuhisa
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author
Gupta, Rajiv
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
33.
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Author
Dong, Jin Song
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
Author
Ramakrishnan, C. R.
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
Author
Ramakrishnan, C. R.
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
36.
Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006, Revised Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
38.
Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Author
Hromkovič, Juraj, 1958-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
41.
Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
42.
Swarm Robotics SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Recent Advances in Information Technology RAIT-2014 Proceedings
Author
Biswas, G. P.
Published
New Delhi : Springer India : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers
Author
Wang, Ruchuan
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Author
Klasing, Ralf
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings
Author
Bandini, Stefania
Published
Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Cellular Automata 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Transactions on Computational Systems Biology X
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Transactions on Computational Systems Biology X
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media