Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Shelf Location: Electronic Library

Author

SpringerLink (Online service)

(70246)

(12563)

Wiley InterScience (Online service)

(6745)

John Wiley & Sons.

(896)

IGI Global, publisher.

(602)

Project Muse, distributor.

(477)

Ovid Technologies, Inc.

(453)

(430)

ScienceDirect (Online service)

(364)

Ciba Foundation.

(316)

American Ceramic Society.

(170)

Jain, Lakhmi C. editor.

(166)

Palgrave Connect (Online service)

(141)

Wolstenholme, G. E. W. (Gordon Ethelbert Ward)

(113)

Rice, Stuart Alan, 1932-

(93)

Prigogine, I. (Ilya)

(90)

(87)

(85)

Kacprzyk, Janusz. editor.

(85)

Abraham, Ajith. editor.

(80)

Nguyen, Ngoc Thanh. editor.

(77)

Filipe, Joaquim. editor.

(75)

O'Connor, Maeve.

(74)

Chadwick, Derek.

(66)

Janick, Jules, 1931-

(66)

Howlett, Robert J. editor.

(65)

(65)

American Institute of Chemical Engineers. Center for Chemical Process Safety.

(61)

(61)

Kim, Tai-hoon. editor.

(61)

Novartis Foundation.

(61)

(57)

(54)

IEEE Xplore (Online Service), distributor.

(52)

Stephanidis, Constantine. editor.

(52)

(52)

Pardalos, Panos M. editor.

(51)

Gavrilova, Marina L. editor.

(48)

Grumezescu, Alexandru Mihai, editor.

(47)

Hameurlain, Abdelkader. editor.

(47)

MIT Press, publisher.

(46)

Taniar, David. editor.

(46)

Yung, Moti. editor.

(45)

Apduhan, Bernady O. editor.

(44)

Gervasi, Osvaldo. editor.

(44)

Huang, De-Shuang. editor.

(44)

Meister, Alton.

(43)

Wagner, Roland. editor.

(43)

Institute of Southeast Asian Studies.

(42)

Leondes, Cornelius T.

(42)

Kumar, Lisa, editor.

(41)

Royal Society of Chemistry (Great Britain)

(41)

Geeraerts, Dirk, contributor.

(40)

Gross, Dietmar. author.

(40)

Information Resources Management Association, editor.

(40)

(39)

Kole, Chittaranjan. editor.

(39)

Pedrycz, Witold. editor.

(38)

Whitacre, David M. editor.

(38)

Dongarra, Jack. editor.

(37)

Fay, Richard R. editor.

(37)

Fred, Ana. editor.

(37)

Lichtfouse, Eric. editor.

(37)

Corchado, Emilio. editor.

(36)

MacDonald, Matthew. author.

(36)

Meersman, Robert. editor.

(36)

Pokorski, Mieczyslaw. editor.

(36)

Popper, Arthur N. editor.

(36)

(36)

Altenbach, Holm. editor.

(35)

(35)

Gelbukh, Alexander. editor.

(35)

Rehm, Georg. editor.

(35)

Deutsche Forschungsgemeinschaft.

(34)

Tjoa, A Min. editor.

(34)

Ślęzak, Dominik. editor.

(34)

Hayat, M.A. editor.

(33)

Joshi, Amit. editor.

(33)

Küng, Josef. editor.

(33)

Lee, Roger. editor.

(33)

Uszkoreit, Hans. editor.

(33)

Varma, Ajit. editor.

(33)

Yang, Laurence T. editor.

(33)

Anglin, Steve. editor.

(32)

Buckingham, Ewan. editor.

(32)

Cornell, Gary. editor.

(32)

Fishman, Joshua A., contributor.

(32)

Moodie, Matthew. editor.

(32)

Preedy, Victor R. editor.

(32)

Shakeshaft, Dominic. editor.

(32)

Beckner, Mark. editor.

(31)

Castillo, Oscar. editor.

(31)

Elliott, Katherine May.

(31)

Gennick, Jonathan. editor.

(31)

Hassanien, Aboul Ella. editor.

(31)

Hassell, Jonathan. editor.

(31)

Lowman, Michelle. editor.

(31)

Omohundro Institute of Early American History & Culture.

(31)

Pepper, Jeffrey. editor.

(31)

Pohlmann, Frank. editor.

(31)

Renow-Clarke, Ben. editor.

(31)

Rozenberg, Grzegorz. editor.

(31)

Wade, Matt. editor.

(31)

Welsh, Tom. editor.

(31)

Chaki, Nabendu. editor.

(30)

Chilingar, George V., 1929-

(30)

Parkes, Duncan. editor.

(30)

Pundick, Douglas. editor.

(30)

Satapathy, Suresh Chandra. editor.

(30)

Stolz, Thomas, contributor.

(30)

Christen, Yves. editor.

(29)

Comrie, Bernard, contributor.

(29)

(29)

Murgante, Beniamino. editor.

(29)

Preedy, Victor R.

(29)

Winter, Werner, contributor.

(29)

Adeli, Hojjat. editor.

(28)

Alt, Frederick W.

(28)

Andres, Clay. editor.

(28)

Bebis, George. editor.

(28)

Lippard, Stephen J.

(28)

(28)

Davim, J. Paulo. editor.

(27)

García, Ofelia, contributor.

(27)

Grundmann, Wolfgang. author.

(27)

Liu, Honghai. editor.

(27)

Marcus, Aaron. editor.

(27)

Ohji, T. (Tatsuki)

(27)

Perner, Petra. editor.

(27)

Tan, C. J. Kenneth. editor.

(27)

Zschocke, Johannes. editor.

(27)

Chen, Hsinchun. editor.

(26)

Cheremisinoff, Nicholas P.

(26)

Damiani, Ernesto. editor.

(26)

Das, Swagatam. editor.

(26)

Morava, Eva. editor.

(26)

Peters, Verena. editor.

(26)

Rafferty, John P., editor.

(26)

Rahman, Atta-ur-, 1942-

(26)

Rappoport, Zvi.

(26)

Shenoi, Sujeet. editor.

(26)

Skowron, Andrzej. editor.

(26)

Wang, Fu Lee. editor.

(26)

Ao, Sio-Iong. editor.

(25)

(25)

Bhushan, Bharat. editor.

(25)

Boyle, Richard. editor.

(25)

Constantakis, Sara, editor.

(25)

Cordeiro, José. editor.

(25)

Hauger, Werner. author.

(25)

John Wiley & Sons, Inc.

(25)

Koracin, Darko. editor.

(25)

Lipkowitz, Kenny B.

(25)

Mithun, Marianne, contributor.

(25)

Nagamalai, Dhinaharan. editor.

(25)

(25)

Pan, Jeng-Shyang. editor.

(25)

Parvin, Bahram. editor.

(25)

Schomburg, Dietmar. editor.

(25)

Schomburg, Ida. editor.

(25)

Tadeusiewicz, Ryszard. editor.

(25)

Thomas, Sabu, editor.

(25)

Watson, Ronald R. (Ronald Ross)

(25)

Öchsner, Andreas. editor.

(25)

Antona, Margherita. editor.

(24)

Balas, Valentina Emilia. editor.

(24)

Barolli, Leonard. editor.

(24)

Bourbaki, N. author.

(24)

Cameron, Margaret P.

(24)

Institute of Early American History and Culture (Williamsburg, Va.)

(24)

Kang, Byeong-Ho. editor.

(24)

Kurosu, Masaaki. editor.

(24)

Schröder, Jörg. author.

(24)

Shi, Yuhui. editor.

(24)

Tipper, C. F. H. (Charles Frank Howlett)

(24)

Coulmas, Florian, contributor.

(23)

Gadd, Geoffrey M.

(23)

Gribble, Gordon W.

(23)

Laskin, Allen I., 1928-

(23)

Mathur, Sanjay.

(23)

Patnaik, Srikanta. editor.

(23)

Peters, James F. editor.

(23)

Proulx, Tom. editor.

(23)

Rogers, Kara, editor.

(23)

Russell, Bertrand, 1872-1970.

(23)

Wang, Wei. editor.

(23)

World Institute for Development Economics Research.

(23)

Auer, Peter, contributor.

(22)

Bramer, Max. editor.

(22)

(22)

Corchado, Juan M. editor.

(22)

Hyman, Larry M., contributor.

(22)

Jajodia, Sushil. editor.

(22)

Keogh, James Edward, 1948-

(22)

Langacker, Ronald W., contributor.

(22)

Li, Daoliang. editor.

(22)

Lopez, Javier. editor.

(22)

Prasad, Ram. editor.

(22)

Rocha, Álvaro. editor.

(22)

Salem, J. A. (Jonathan A.), 1960-

(22)

Language

(135823)

(14812)

(702)

(484)

(36)

(23)

Multiple languages

(17)

(14)

(8)

(5)

(4)

(4)

(2)

(2)

(2)

(1)

Greek, Ancient (to 1453)

(1)

(1)

(1)

Iranian (Other)

(1)

(1)

(1)

Ndebele (Zimbabwe)

(1)

(1)

(1)

(1)

(1)

Publication Date

-

(18767)

(17899)

(15090)

(14661)

(10116)

(8418)

(8404)

(8005)

(7784)

(6211)

(5382)

(5362)

(5061)

(4653)

(2431)

(2221)

(1857)

(1698)

(1630)

(1592)

(1305)

(1111)

(897)

(895)

(885)

(832)

(769)

(696)

(684)

(633)

(624)

(615)

(592)

(592)

(522)

(467)

(459)

(458)

(440)

(426)

(426)

(419)

(418)

(394)

(394)

(393)

(377)

(376)

(372)

(357)

(349)

(343)

(337)

(328)

(306)

(255)

(171)

(169)

(166)

(138)

(126)

(114)

(86)

(59)

(55)

(53)

(43)

(35)

(33)

(31)

(27)

(25)

(24)

(22)

(21)

(15)

(14)

(11)

(11)

(11)

(11)

(11)

(10)

(10)

(10)

(10)

(10)

(9)

(9)

(9)

(9)

(8)

(8)

(8)

(7)

(7)

(7)

(7)

(5)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(11622)

(7947)

(7533)

(7331)

Artificial intelligence.

(6886)

(4352)

Software engineering.

(3762)

Electronic books.

(3715)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(3308)

Computer Communication Networks.

(3149)

Social sciences.

(3106)

(2980)

Information systems.

(2975)

(2578)

(2389)

Computer software.

(2166)

(2009)

Information storage and retrieval systems.

(1833)

(1808)

Computer vision.

(1799)

(1797)

Philosophy (General).

(1603)

Database management.

(1500)

Telecommunication.

(1458)

Engineering mathematics.

(1445)

(1369)

Management information systems.

(1337)

Industrial management.

(1292)

Biomedical engineering.

(1279)

(1278)

Computational intelligence.

(1265)

Political science.

(1209)

Computer simulation.

(1203)

(1143)

Optical pattern recognition.

(1118)

(1108)

Environmental sciences.

(1098)

(1051)

(1050)

(1047)

Radiology, Medical.

(1046)

Economics/Management Science.

(1007)

(996)

Internal medicine.

(978)

Data encryption (Computer science).

(969)

Engineering design.

(963)

(963)

(952)

(948)

(942)

(933)

(919)

Bioinformatics.

(916)

(905)

Nanotechnology.

(900)

Computational complexity.

(889)

(887)

Computer graphics.

(873)

Systems engineering.

(863)

Mechanical engineering.

(853)

Data protection.

(836)

Information Systems.

(836)

Data structures (Computer science).

(827)

Application software.

(819)

(812)

Computer network architectures.

(776)

(765)

Engineering economy.

(762)

Hydraulic engineering.

(761)

Industrial engineering.

(746)

Mathematical physics.

(739)

Computer security.

(734)

(729)

Multimedia systems.

(722)

(717)

Medicine & Public Health.

(707)

(705)

(686)

Surfaces (Physics).

(682)

(673)

(656)

Mathematical optimization.

(655)

(640)

(628)

Sustainable development.

(621)

(609)

(609)

Environmental management.

(606)

Mathematical statistics.

(602)

Operating systems (Computers).

(599)

(595)

Emergency medicine.

(593)

Distribution (Probability theory).

(590)

Psychology, clinical.

(590)

Artificial Intelligence (incl. Robotics).

(580)

Differential equations, partial.

(579)

Business planning.

(563)

Banks and banking.

(562)

(561)

Family medicine.

(558)

(557)

Physical geography.

(557)

Chemistry, Organic.

(555)

Mechanics, Applied.

(547)

Civil engineering.

(544)

Electronic data processing.

(538)

Quantum theory.

(532)

Science (General).

(530)

Thermodynamics.

(525)

Climatic changes.

(523)

Business logistics.

(519)

Signal processing.

(514)

Systems theory.

(512)

Information theory.

(508)

(505)

Optical data processing.

(497)

Human physiology.

(496)

Control engineering.

(491)

Renewable energy sources.

(486)

Chemistry, Physical organic.

(485)

Chemical engineering.

(482)

Optical materials.

(481)

Critical care medicine.

(478)

(473)

Computer communication systems.

(469)

(467)

(463)

Computer science -- Mathematics.

(463)

Regional planning.

(463)

(461)

(459)

Human genetics.

(455)

(452)

Operations research.

(448)

(444)

(440)

(438)

Plant breeding.

(435)

Electronic circuits.

(433)

(432)

Communications Engineering, Networks.

(431)

Global analysis (Mathematics).

(427)

(426)

Computer system performance.

(425)

(424)

(423)

(422)

Electrical engineering.

(412)

Plant physiology.

(402)

Applied psychology.

(400)

(400)

Mechanics, applied.

(396)

Developmental psychology.

(395)

Environmental pollution.

(392)

Computer engineering.

(389)

(389)

(387)

(383)

Economic policy.

(381)

(381)

Computer aided design.

(377)

Medical records -- Data processing.

(374)

(369)

Anesthesiology.

(366)

(360)

(358)

Numerical analysis.

(355)

Personnel management.

(354)

(353)

Evolution (Biology).

(353)

Information Systems Applications (incl. Internet).

(353)

(347)

User interfaces (Computer systems).

(347)

(346)

Emerging infectious diseases.

(343)

(337)

Science -- Philosophy.

(335)

(331)

(328)

Environmental economics.

(323)

(323)

Analytical biochemistry.

(318)

Entrepreneurship.

(317)

Economics -- Statistics.

(316)

(315)

(315)

(304)

Social sciences -- Data processing.

(301)

(300)

(298)

(293)

Rehabilitation.

(292)

Sports medicine.

(292)

Environmental toxicology.

(291)

Logic, Symbolic and mathematical.

(289)

(288)

Functional analysis.

(287)

Production engineering.

(287)

(286)

Science -- History.

(285)

Material Type

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

152525 Results Found

Subscribe to search results

1 .. 148 149 150 151 152 .. 12711

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach

Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach

Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach

Author

Wang, Xi. author. (orcid) Li, ZhiWu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-41969-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Author

Anutariya, Chutiporn. editor. Bonsangue, Marcello M. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7969-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Intelligent Transport Systems 6th EAI International Conference, INTSYS 2022, Lisbon, Portugal, December 15-16, 2022, Proceedings

Intelligent Transport Systems 6th EAI International Conference, INTSYS 2022, Lisbon, Portugal, December 15-16, 2022, Proceedings

Intelligent Transport Systems 6th EAI International Conference, INTSYS 2022, Lisbon, Portugal, December 15-16, 2022, Proceedings

Author

Martins, Ana Lucia. editor. (orcid) Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30855-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Applications and Techniques in Information Security 13th International Conference, ATIS 2022, Manipal, India, December 30-31, 2022, Revised Selected Papers

Applications and Techniques in Information Security 13th International Conference, ATIS 2022, Manipal, India, December 30-31, 2022, Revised Selected Papers

Applications and Techniques in Information Security 13th International Conference, ATIS 2022, Manipal, India, December 30-31, 2022, Revised Selected Papers

Author

Prabhu, Srikanth. editor. Pokhrel, Shiva Raj. editor. (orcid) Li, Gang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2264-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Author

Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-31488-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers

Author

Dudin, Alexander. editor. (orcid) Nazarov, Anatoly. editor. (orcid) Moiseev, Alexander. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-32990-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30047-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Topics in Cryptology - CT-RSA 2023 Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings

Topics in Cryptology - CT-RSA 2023 Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings

Topics in Cryptology - CT-RSA 2023 Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings

Author

Rosulek, Mike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30872-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

Author

Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30258-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30820-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30826-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30829-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 148 149 150 151 152 .. 12711

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11