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:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(12308)

Kim, Tai-hoon. editor.

(61)

Filipe, Joaquim. editor.

(41)

Gervasi, Osvaldo. editor.

(39)

Nguyen, Ngoc Thanh. editor.

(38)

Gavrilova, Marina L. editor.

(37)

MacDonald, Matthew. author.

(36)

Yung, Moti. editor.

(36)

Dongarra, Jack. editor.

(35)

Ślęzak, Dominik. editor.

(35)

Taniar, David. editor.

(33)

Uszkoreit, Hans. editor.

(33)

Anglin, Steve. editor.

(32)

Buckingham, Ewan. editor.

(32)

Cornell, Gary. editor.

(32)

Jain, Lakhmi C. editor.

(32)

Moodie, Matthew. editor.

(32)

Rehm, Georg. editor.

(32)

Shakeshaft, Dominic. editor.

(32)

Beckner, Mark. editor.

(31)

Gennick, Jonathan. editor.

(31)

Hassell, Jonathan. editor.

(31)

Lowman, Michelle. editor.

(31)

Pepper, Jeffrey. editor.

(31)

Pohlmann, Frank. editor.

(31)

Renow-Clarke, Ben. editor.

(31)

Wade, Matt. editor.

(31)

Welsh, Tom. editor.

(31)

Howlett, Robert J. editor.

(30)

Meersman, Robert. editor.

(30)

Parkes, Duncan. editor.

(30)

Pundick, Douglas. editor.

(30)

Yang, Laurence T. editor.

(29)

Andres, Clay. editor.

(28)

Huang, De-Shuang. editor.

(28)

Rozenberg, Grzegorz. editor.

(28)

Hameurlain, Abdelkader. editor.

(27)

Tan, C. J. Kenneth. editor.

(26)

Wagner, Roland. editor.

(26)

Stephanidis, Constantine. editor.

(25)

Skowron, Andrzej. editor.

(24)

Wang, Fu Lee. editor.

(24)

Murgante, Beniamino. editor.

(22)

Freeman, Adam. author.

(21)

Kang, Byeong-Ho. editor.

(21)

Nagamalai, Dhinaharan. editor.

(21)

Adeli, Hojjat. editor.

(20)

Apduhan, Bernady O. editor.

(20)

Küng, Josef. editor.

(20)

Shenoi, Sujeet. editor.

(20)

Sloot, Peter M. A. editor.

(20)

Cao, Longbing. editor.

(19)

Damiani, Ernesto. editor.

(19)

Perner, Petra. editor.

(19)

Bebis, George. editor.

(18)

Boyle, Richard. editor.

(18)

Bramer, Max. editor.

(18)

Cordeiro, José. editor.

(18)

Jajodia, Sushil. editor.

(18)

Koracin, Darko. editor.

(18)

Parvin, Bahram. editor.

(18)

Peters, James F. editor.

(18)

Tjoa, A Min. editor.

(18)

Abraham, Ajith. editor.

(17)

Corchado, Emilio. editor.

(17)

Gelbukh, Alexander. editor.

(17)

Herrero, Pilar. editor.

(17)

Lei, Jingsheng. editor.

(17)

Lopez, Javier. editor.

(17)

Voronkov, Andrei. editor.

(17)

Albada, Geert Dick. editor.

(16)

Chen, Hsinchun. editor.

(16)

Fred, Ana. editor.

(16)

Li, Daoliang. editor.

(16)

Pan, Zhigeng. editor.

(16)

Priami, Corrado. editor.

(16)

Resch, Michael. editor.

(16)

Spaccapietra, Stefano. editor.

(16)

Zhou, Xiaofang. editor.

(16)

Camarinha-Matos, Luis M. editor.

(15)

El-Qawasmeh, Eyas. editor.

(15)

Fischer-Hübner, Simone. editor.

(15)

Ma, Jianhua. editor.

(15)

Margaria, Tiziana. editor.

(15)

Meghanathan, Natarajan. editor.

(15)

Philips, Wilfried. editor.

(15)

Salomaa, Arto. editor.

(15)

Shi, Yuhui. editor.

(15)

Tari, Zahir. editor.

(15)

Campilho, Aurélio. editor.

(14)

Chaki, Nabendu. editor.

(14)

Dillon, Tharam. editor.

(14)

Du, Ding-Zhu. editor.

(14)

Esposito, Anna. editor.

(14)

Kamel, Mohamed. editor.

(14)

Martín-Vide, Carlos. editor.

(14)

Meyer, Bertrand. editor.

(14)

Nagel, Wolfgang E. editor.

(14)

Olivier, Patrick. editor.

(14)

Palanque, Philippe. editor.

(14)

Tadeusiewicz, Ryszard. editor.

(14)

Unland, Rainer. editor.

(14)

Zurada, Jacek M. editor.

(14)

Blum, Christian. editor.

(13)

Jansen, Klaus. editor.

(13)

Koucheryavy, Yevgeni. editor.

(13)

Kurosu, Masaaki. editor.

(13)

Liu, Honghai. editor.

(13)

Lytras, Miltiadis D. editor.

(13)

Mun, Youngsong. editor.

(13)

Romanovsky, Alexander. editor.

(13)

Schewe, Klaus-Dieter. editor.

(13)

Winckler, Marco. editor.

(13)

Yin, Hujun. editor.

(13)

Zhou, Jianying. editor.

(13)

Ali, Moonis. editor.

(12)

Christianson, Bruce. editor.

(12)

Dastani, Mehdi. editor.

(12)

Jacko, Julie A. editor.

(12)

Krüger, Antonio. editor.

(12)

Li, Qing. editor.

(12)

Liu, Derong. editor.

(12)

Löwe, Benedikt. editor.

(12)

Müller, Henning. editor.

(12)

Müller, Wolfgang. editor.

(12)

Păun, Gheorghe. editor.

(12)

Quarteroni, Alfio. author.

(12)

Steffen, Bernhard. editor.

(12)

Stiller, Burkhard. editor.

(12)

Wang, Guoyin. editor.

(12)

Wang, Jun. editor.

(12)

Waśniewski, Jerzy. editor.

(12)

Yao, Yiyu. editor.

(12)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(11)

Barthe, Gilles. editor.

(11)

Bernardo, Marco. editor.

(11)

Blanc-Talon, Jacques. editor.

(11)

Boer, Frank S. editor.

(11)

C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

(11)

Cotta, Carlos. editor.

(11)

Cuzzocrea, Alfredo. editor.

(11)

Dix, Jürgen. editor.

(11)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(11)

Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364

(11)

Fang, Wai-chi. editor.

(11)

Garau, Chiara. editor. (orcid)0000-0002-6239-5402

(11)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(11)

Guo, Minyi. editor.

(11)

Huang, Xiong. editor.

(11)

Kelly, James Floyd. author.

(11)

Kowalczyk, Ryszard. editor.

(11)

Li, Kang. editor.

(11)

Liu, Zhiming. editor.

(11)

Machado, Penousal. editor.

(11)

Mazo, Gary. author.

(11)

Messnarz, Richard. editor.

(11)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(11)

Ozawa, Seiichi. editor.

(11)

Paragios, Nikos. editor.

(11)

Popescu, Dan. editor.

(11)

Powers, David. author.

(11)

Resch, Michael M. editor.

(11)

Scheunders, Paul. editor.

(11)

Shi, Yun Q. editor.

(11)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(11)

Tan, Ying. editor.

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tatnall, Arthur. editor.

(11)

Trautschold, Martin. author.

(11)

Vorozhtsov, Evgenii V. editor.

(11)

Wimmer, Maria A. editor.

(11)

Woodcock, Jim. editor.

(11)

Yu, Jeffrey Xu. editor.

(11)

Zadeh, Lotfi A. editor.

(11)

Zhang, Yanchun. editor.

(11)

Bonsangue, Marcello M. editor.

(10)

Cagnoni, Stefano. editor.

(10)

Calude, Cristian S. editor.

(10)

Cheok, Adrian David. editor.

(10)

Das, Vinu V. editor.

(10)

Dayal, Umeshwar. editor.

(10)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(10)

Duch, Włodzisław. editor.

(10)

Hussain, Amir. editor.

(10)

Kaplan, Dean. author.

(10)

Klette, Reinhard. editor.

(10)

Kumar, Vipin. editor.

(10)

Lee, Minho. editor.

(10)

Leite, João. editor.

(10)

Marcus, Aaron. editor.

(10)

Martinelli, Fabio. editor.

(10)

Mayr, Heinrich C. editor.

(10)

Narukawa, Yasuo. editor.

(10)

Pernul, Günther. editor.

(10)

Petridis, Miltos. editor.

(10)

Preneel, Bart. editor.

(10)

Qing, Sihan. editor.

(10)

Rahwan, Iyad. editor.

(10)

Sadeghi, Ahmad-Reza. editor.

(10)

Salomon, David. author.

(10)

Language

(11547)

(782)

(20)

(19)

(5)

(1)

(1)

(1)

Publication Date

-

(1522)

(1414)

(1330)

(1264)

(1196)

(1054)

(1034)

(1022)

(970)

(643)

(225)

(182)

(175)

(146)

(134)

(31)

(11)

(8)

(4)

(4)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Artificial intelligence.

(3609)

Software engineering.

(3279)

Computer Communication Networks.

(2860)

Information systems.

(2469)

Computer software.

(2011)

Information storage and retrieval systems.

(1745)

Computer vision.

(1332)

Database management.

(1210)

(1184)

(1029)

Optical pattern recognition.

(1007)

Data encryption (Computer science).

(819)

Computer simulation.

(789)

Information Systems.

(748)

Computational complexity.

(747)

Data structures (Computer science).

(731)

Data protection.

(664)

Computer graphics.

(632)

(590)

Multimedia systems.

(585)

Computer network architectures.

(583)

Operating systems (Computers).

(530)

Management information systems.

(496)

(458)

Electronic data processing.

(457)

Bioinformatics.

(426)

Theory of Computation.

(426)

Information theory.

(415)

Artificial Intelligence (incl. Robotics).

(381)

Computer system performance.

(364)

Computer science -- Mathematics.

(340)

(323)

Information Systems Applications (incl. Internet).

(314)

(299)

Telecommunication.

(285)

Information Storage and Retrieval.

(265)

(246)

Data Mining and Knowledge Discovery.

(239)

Computer Science Logic and Foundations of Programming.

(231)

Social sciences -- Data processing.

(223)

Computer networks .

(211)

Translators (Computer programs).

(211)

User Interfaces and Human Computer Interaction.

(209)

Algorithm Analysis and Problem Complexity.

(208)

Computer Science, general.

(199)

Algebra -- Data processing.

(188)

Application software.

(187)

Text processing (Computer science.

(176)

Engineering mathematics.

(169)

Medical records -- Data processing.

(166)

Systems engineering.

(161)

Formal Languages and Automata Theory.

(160)

Machine theory.

(160)

Computer engineering.

(151)

Computer and Information Systems Applications.

(150)

Discrete Mathematics in Computer Science.

(140)

(135)

Pattern Recognition.

(133)

Programming Techniques.

(124)

(123)

Systems and Data Security.

(120)

Computer aided design.

(118)

Computer security.

(117)

Compilers (Computer programs).

(115)

Compilers and Interpreters.

(115)

Management of Computing and Information Systems.

(115)

Computers and Society.

(114)

Image Processing and Computer Vision.

(108)

Computational linguistics.

(107)

Logics and Meanings of Programs.

(103)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(102)

Computers -- Law and legislation.

(102)

Logic, Symbolic and mathematical.

(101)

Mathematical Logic and Formal Languages.

(101)

Mathematics of Computing.

(99)

(96)

Simulation and Modeling.

(95)

Mathematical statistics.

(94)

Programming Languages, Compilers, Interpreters.

(92)

Computer Engineering and Networks.

(91)

Data Encryption.

(91)

Computer hardware.

(88)

(88)

Mathematical optimization.

(85)

Special Purpose and Application-Based Systems.

(85)

Computation by Abstract Devices.

(84)

(78)

Electronic commerce.

(77)

Computer Modelling.

(76)

Computer Applications.

(67)

Computer Appl. in Administrative Data Processing.

(65)

Radiology, Medical.

(65)

System Performance and Evaluation.

(65)

Data transmission systems.

(64)

Computational Science and Engineering.

(63)

Computer industry.

(63)

Discrete mathematics.

(62)

Biology -- Data processing.

(61)

Distribution (Probability theory).

(61)

Engineering design.

(61)

Computer System Implementation.

(60)

Computer programming.

(60)

Numerical analysis.

(59)

Biomedical engineering.

(58)

(57)

Information Systems and Communication Service.

(56)

Multimedia Information Systems.

(55)

Data Structures and Information Theory.

(54)

(53)

Computers and Education.

(53)

Natural language processing (Computer science).

(53)

Business Information Systems.

(52)

(51)

Health Informatics.

(50)

Probability and Statistics in Computer Science.

(50)

Computer systems.

(49)

Computers, Special purpose.

(49)

Operations research.

(49)

(49)

Models of Computation.

(48)

Automated Pattern Recognition.

(46)

Pattern recognition systems.

(46)

(43)

e-Commerce/e-business.

(43)

(42)

(42)

Communications Engineering, Networks.

(41)

Computational Biology/Bioinformatics.

(41)

Philosophy (General).

(41)

Operating Systems.

(40)

Social sciences.

(40)

Numeric Computing.

(39)

(37)

Mathematical physics.

(37)

(36)

Mechanical engineering.

(36)

Microprogramming.

(36)

Data and Information Security.

(35)

Processor Architectures.

(35)

Business planning.

(34)

Coding and Information Theory.

(34)

Hydraulic engineering.

(34)

(34)

Computer Systems Organization and Communication Networks.

(33)

Image processing -- Digital techniques.

(33)

Mathematical Logic and Foundations.

(33)

Symbolic and Algebraic Manipulation.

(33)

Architectural design.

(32)

Data structures (Computer scienc.

(32)

Electronic data processing -- Management.

(31)

Engineering economy.

(31)

(31)

Geographical information systems.

(30)

Signal, Image and Speech Processing.

(30)

(30)

Computational Intelligence.

(29)

Data Structures.

(29)

Differential equations, partial.

(29)

(29)

Math Applications in Computer Science.

(28)

Software Engineering/Programming and Operating Systems.

(28)

User interfaces (Computer systems).

(28)

(27)

(27)

Computer communication systems.

(26)

Industrial management.

(26)

Mathematical logic.

(26)

Civil engineering.

(25)

Models and Principles.

(25)

Natural Language Processing (NLP).

(25)

Systems theory.

(25)

Theory and Algorithms for Application Domains.

(25)

Circuits and Systems.

(24)

Industrial engineering.

(24)

Machine learning.

(24)

Computers and civilization.

(23)

Data Structures, Cryptology and Information Theory.

(23)

Global analysis (Mathematics).

(23)

Computational Mathematics and Numerical Analysis.

(22)

Computer Appl. in Social and Behavioral Sciences.

(22)

Control Structures and Microprogramming.

(22)

Economics, Mathematical.

(22)

Library science.

(22)

(22)

Computational intelligence.

(21)

Microprogramming .

(21)

(21)

Appl.Mathematics/Computational Methods of Engineering.

(20)

Computing Milieux.

(20)

(20)

(20)

Electronic digital computers -- Evaluation.

(20)

Mathematical geography.

(20)

(20)

Science -- History.

(20)

(19)

Computational and Systems Biology.

(19)

Human-computer interaction.

(19)

Language Translation and Linguistics.

(19)

Mathematical Applications in Computer Science.

(19)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe 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

12380 Results Found

Subscribe to search results

1 2 3 4 5 .. 1032

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 Futureshock : happenings in computer science

Futureshock : happenings in computer science

Futureshock : happenings in computer science

Author

Sequoiah-Grayson, Sebastian, 1975- editor.

Preferred Shelf Number

Q335

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032702797
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Author

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72044-4

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Author

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Author

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75107-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8943-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 1032

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11