Search Results for Science -- Software.

|

|

|

|

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:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(1622)

Dongarra, Jack. editor.

(18)

Gavrilova, Marina L. editor.

(17)

Albada, Geert Dick. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Meyer, Bertrand. editor.

(13)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Voronkov, Andrei. editor.

(13)

Lei, Jingsheng. editor.

(10)

Palanque, Philippe. editor.

(10)

Wang, Fu Lee. editor.

(10)

Winckler, Marco. editor.

(10)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Kumar, Vipin. editor.

(9)

Messnarz, Richard. editor.

(9)

Abrahamsson, Pekka. editor.

(8)

Cordeiro, José. editor.

(8)

Laganà, Antonio. editor.

(7)

Margaria, Tiziana. editor.

(7)

Silhavy, Petr. editor.

(7)

Silhavy, Radek. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Boldyreva, Alexandra. editor.

(6)

Broy, Manfred. editor.

(6)

Deng, Hepu. editor.

(6)

Filipe, Joaquim. editor.

(6)

Goll, Joachim. author.

(6)

Kotzé, Paula. editor.

(6)

Kronland-Martinet, Richard. editor.

(6)

Laganá, Antonio. editor.

(6)

Lemos, Rogério. editor.

(6)

Li, Daoliang. editor.

(6)

O'Regan, Gerard. author.

(6)

Rozenberg, Grzegorz. editor.

(6)

Shishkov, Boris. editor.

(6)

Woodcock, Jim. editor.

(6)

Ystad, Sølvi. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Boles, Dietrich. author.

(5)

Cavalcanti, Ana. editor.

(5)

Choo, Hyunseung. editor.

(5)

Gacek, Cristina. editor.

(5)

Gibbons, Jeremy. editor.

(5)

Jedlitschka, Andreas. editor.

(5)

Kleuker, Stephan. author.

(5)

Liu, Honghai. editor.

(5)

Liu, Zhiming. editor.

(5)

Mayr, Heinrich C. editor.

(5)

Mokhtari, Mounir. editor.

(5)

Pfahl, Dietmar. editor.

(5)

Rashid, Awais. editor.

(5)

Rijmen, Vincent. editor.

(5)

Shi, Yong. editor.

(5)

Sillitti, Alberto. editor.

(5)

Starke, Gernot. author.

(5)

Steffen, Bernhard. editor.

(5)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(5)

Stephanidis, Constantine. editor.

(5)

Wojtkowski, Wita. editor.

(5)

Abts, Dietmar. author.

(4)

Aceto, Luca. editor.

(4)

Aksit, Mehmet. editor.

(4)

Alexandrov, Vassil N. editor.

(4)

Ali, Moonis. editor.

(4)

Anglin, Steve. editor.

(4)

Barry, Chris. editor.

(4)

Buckingham, Ewan. editor.

(4)

Butler, Michael. editor.

(4)

Campos, Pedro. editor.

(4)

Conboy, Kieran. editor.

(4)

Cornell, Gary. editor.

(4)

Cudré-Mauroux, Philippe. editor.

(4)

Daniel, Florian. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Fitzgerald, Brian. editor.

(4)

Giese, Holger. editor.

(4)

Governatori, Guido. editor.

(4)

Graf, Susanne. editor.

(4)

Graham, Nicholas. editor.

(4)

Hassell, Jonathan. editor.

(4)

Havelund, Klaus. editor.

(4)

Heckel, Reiko. editor.

(4)

Heflin, Jeff. editor.

(4)

Horváth, Zoltán. editor.

(4)

Ingólfsdóttir, Anna. editor.

(4)

Jensen, Kristoffer. editor.

(4)

Jorge, Joaquim. editor.

(4)

Joseph, Mathai. editor.

(4)

Kotlarsky, Julia. editor.

(4)

Kuhrmann, Marco. author.

(4)

Lang, Michael. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Lindgaard, Gitte. editor.

(4)

Luo, Xiangfeng. editor.

(4)

Lämmel, Ralf. editor.

(4)

Maciaszek, Leszek A. editor.

(4)

Marsden, Gary. editor.

(4)

Moodie, Matthew. editor.

(4)

Murgante, Beniamino. editor.

(4)

Nordio, Martin. editor.

(4)

Nunes, Nuno. editor.

(4)

Oivo, Markku. editor.

(4)

Oshri, Ilan. editor.

(4)

O’Connor, Rory V. editor.

(4)

Paech, Barbara. editor.

(4)

Plasmeijer, Rinus. editor.

(4)

Potapov, Igor. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Shakeshaft, Dominic. editor.

(4)

Shumaker, Randall. editor.

(4)

Sirjani, Marjan. editor.

(4)

Succi, Giancarlo. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Veith, Helmut. editor.

(4)

Wade, Matt. editor.

(4)

Wang, Qing. editor.

(4)

Wesson, Janet. editor.

(4)

Winkler, Dietmar. editor.

(4)

Wojtkowski, Gregory. editor.

(4)

Wolff, Burkhart. editor.

(4)

Zhao, Chunjiang. editor.

(4)

Zhu, Huibiao. editor.

(4)

Ölveczky, Peter Csaba. editor.

(4)

Aalst, Wil M. P. editor.

(3)

Abdulrazak, Bessam. editor.

(3)

Albers, Susanne. editor.

(3)

Alpuente, María. editor.

(3)

Altmann, Jörn. editor.

(3)

Andres, Clay. editor.

(3)

Aramaki, Mitsuko. editor.

(3)

Barthe, Gilles. editor.

(3)

Beckner, Mark. editor.

(3)

Beliczynski, Bartlomiej. editor.

(3)

Bernardo, Marco. editor.

(3)

Biffl, Stefan. editor.

(3)

Bowen, Jonathan P. editor.

(3)

Brambilla, Marco. editor.

(3)

Bubak, Marian. editor.

(3)

Cai, Guoqiang. editor.

(3)

Chen, Jim X. author.

(3)

Chen, Junjie. editor.

(3)

Craig, Iain D. author.

(3)

Cristea, Ana Daniela. author.

(3)

Damiani, Ernesto. editor.

(3)

Dausmann, Manfred. author.

(3)

Delcambre, Lois. editor.

(3)

Dillon, Tharam. editor.

(3)

Ebert, Christof. author.

(3)

Eder, Johann. editor.

(3)

Engels, Gregor. editor.

(3)

Fensel, Dieter. author.

(3)

Franch, Xavier. editor.

(3)

Friedrich, Jan. author.

(3)

Galbraith, Steven. editor.

(3)

Ganter, Bernhard. editor.

(3)

Gellert, Ulrich. author.

(3)

Gennick, Jonathan. editor.

(3)

Gong, Zhiguo. editor.

(3)

Gruhn, Volker. editor.

(3)

Grundy, John. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Gulliksen, Jan. editor.

(3)

Hameurlain, Abdelkader. editor.

(3)

Hauswirth, Manfred. editor.

(3)

Helfert, Markus. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Hruschka, Peter. author.

(3)

Hsu, Ching-Hsien. editor.

(3)

Huang, Guangyan. editor.

(3)

Hähnle, Reiner. editor.

(3)

Inverardi, Paola. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Jensen, Kurt. editor.

(3)

Jhala, Ranjit. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Kop, Christian. editor.

(3)

Koutny, Maciej. editor.

(3)

Kurosu, Masaaki. editor.

(3)

Köhler, Peter T. author.

(3)

Leavens, Gary T. editor.

(3)

Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133

(3)

Leucker, Martin. editor.

(3)

Linger, Henry. editor.

(3)

Liu, Weibin. editor.

(3)

Lowman, Michelle. editor.

(3)

Lu, Wei. editor.

(3)

Majumdar, Rupak. editor.

(3)

Marchesi, Michele. editor.

(3)

Marchetti-Spaccamela, Alberto. editor.

(3)

Marcus, Aaron. editor.

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Meersman, Robert. editor.

(3)

Mertens, Peter. author.

(3)

Language

(1452)

(174)

(1)

Publication Date

-

(197)

(177)

(158)

(156)

(154)

(150)

(144)

(143)

(131)

(68)

(44)

(42)

(23)

(16)

(15)

(7)

(2)

(1)

Subject

Computer science.

(1556)

(399)

Artificial intelligence.

(351)

Information systems.

(279)

Information Systems.

(178)

Computer simulation.

(173)

Computer software.

(134)

Information storage and retrieval systems.

(106)

Management information systems.

(102)

Information theory.

(95)

Computer vision.

(87)

Operating systems (Computers).

(80)

Database management.

(78)

(70)

Electronic data processing.

(69)

Data structures (Computer science).

(62)

Computer Science Logic and Foundations of Programming.

(60)

Data encryption (Computer science).

(55)

Logics and Meanings of Programs.

(54)

Computational complexity.

(53)

Information Systems Applications (incl. Internet).

(51)

Programming Languages, Compilers, Interpreters.

(49)

Multimedia systems.

(48)

Artificial Intelligence (incl. Robotics).

(46)

Computer Communication Networks.

(46)

Formal Languages and Automata Theory.

(43)

Machine theory.

(43)

Programming Techniques.

(42)

Data protection.

(39)

Theory of Computation.

(39)

Management of Computing and Information Systems.

(38)

Algebra -- Data processing.

(36)

Mathematical Logic and Formal Languages.

(35)

Optical pattern recognition.

(35)

Information Storage and Retrieval.

(33)

Compilers (Computer programs).

(30)

Compilers and Interpreters.

(30)

(30)

Application software.

(29)

Bioinformatics.

(27)

Computer networks .

(27)

Computer system performance.

(27)

Special Purpose and Application-Based Systems.

(25)

(24)

Computer science -- Mathematics.

(24)

(24)

User Interfaces and Human Computer Interaction.

(24)

Computer and Information Systems Applications.

(23)

(22)

(22)

Computer graphics.

(20)

Computer network architectures.

(19)

Computer Appl. in Administrative Data Processing.

(18)

Computer Modelling.

(18)

Business Information Systems.

(17)

Software Engineering/Programming and Operating Systems.

(17)

Business planning.

(16)

Algorithm Analysis and Problem Complexity.

(15)

Computer engineering.

(15)

Computers and Society.

(15)

Computation by Abstract Devices.

(14)

Computer aided design.

(14)

Systems engineering.

(14)

(13)

Simulation and Modeling.

(13)

Social sciences -- Data processing.

(13)

Electronic commerce.

(12)

Computer industry.

(11)

Computer programming.

(11)

Computer security.

(11)

Computers and Education.

(11)

System Performance and Evaluation.

(11)

(10)

Computational intelligence.

(10)

Discrete Mathematics in Computer Science.

(10)

(10)

Engineering mathematics.

(10)

Information technology -- Management.

(10)

Operating Systems.

(10)

Data Mining and Knowledge Discovery.

(9)

Biology -- Data processing.

(8)

Computer Application in Administrative Data Processing.

(8)

Computer Applications.

(8)

Computer Engineering and Networks.

(8)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(7)

Computer Science, general.

(7)

Computers and civilization.

(7)

(7)

(7)

Electronic digital computers -- Evaluation.

(7)

(7)

Natural language processing (Computer science).

(7)

Text processing (Computer science.

(7)

Computers, Special purpose.

(6)

Information Systems and Communication Service.

(6)

Multimedia Information Systems.

(6)

Probability and Statistics in Computer Science.

(6)

Programming languages (Electronic computers).

(6)

Computational Biology/Bioinformatics.

(5)

Data and Information Security.

(5)

Mathematics of Computing.

(5)

Models of Computation.

(5)

Pattern Recognition.

(5)

Programming Language.

(5)

Software Management.

(5)

Software engineering -- Management.

(5)

Symbolic and Algebraic Manipulation.

(5)

Systems and Data Security.

(5)

Translators (Computer programs).

(5)

(4)

Computer communication systems.

(4)

Data Structures.

(4)

Discrete mathematics.

(4)

Industrial procurement.

(4)

Logic, Symbolic and mathematical.

(4)

Mathematical statistics.

(4)

(4)

(4)

(4)

e-Commerce/e-business.

(4)

Computer System Implementation.

(3)

Computer hardware.

(3)

Computer systems.

(3)

Computers -- Law and legislation.

(3)

Education -- Data processing.

(3)

Engineering design.

(3)

Image Processing and Computer Vision.

(3)

Industrial engineering.

(3)

(3)

The Computing Profession.

(3)

Banks and banking.

(2)

Business Process Management.

(2)

Business information services.

(2)

Business—Data processing.

(2)

Civil engineering.

(2)

Climatic changes.

(2)

Coding and Information Theory.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer science—Mathematics.

(2)

Computer system failures.

(2)

Computing Methodologies.

(2)

Control engineering systems.

(2)

Data Encryption.

(2)

Data Structures and Information Theory.

(2)

Data Structures, Cryptology and Information Theory.

(2)

Data transmission systems.

(2)

Design and Analysis of Algorithms.

(2)

Electronic data processing -- Management.

(2)

Engineering -- Data processing.

(2)

Hardware Performance and Reliability.

(2)

History of Computing.

(2)

Human-computer interaction.

(2)

(2)

IT in Business.

(2)

Image processing -- Digital techniques.

(2)

Information storage and retrieval.

(2)

Legal Aspects of Computing.

(2)

(2)

Logic programming.

(2)

(2)

Mathematical Applications in Computer Science.

(2)

Mathematics -- Data processing.

(2)

Models and Principles.

(2)

Natural Language Processing (NLP).

(2)

Project Management.

(2)

(2)

Telecommunication.

(2)

User interfaces (Computer systems).

(2)

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

Astronomy -- Observations.

(1)

Astronomy, Observations and Techniques.

(1)

(1)

Biological models.

(1)

Business IT Infrastructure.

(1)

Business ethics.

(1)

Business logistics.

(1)

COMPUTERS -- Programming -- Open Source.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Tools.

(1)

Communications Engineering, Networks.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational linguistics.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Hardware.

(1)

Computer arithmetic and logic units.

(1)

Computer files.

(1)

Computer programs -- Testing.

(1)

Computer software -- Development.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Control Structures and Microprogramming.

(1)

Data Engineering.

(1)

(1)

Data Storage Representation.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science)

(1)

Material Type

Shelf Location

Electronic Library

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

1628 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 136

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.

37.

Cover image for AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

Author

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Guide to Software Project Management

Guide to Software Project Management

Guide to Software Project Management

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Compiler Construction Fundamentals and Applications

Compiler Construction Fundamentals and Applications

Compiler Construction Fundamentals and Applications

Author

Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Author

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Author

Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75778-5

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Author

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97492-2

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024

Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024

Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024

Author

Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98410-5

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Author

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-46002-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 136

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11