Search Results for Computers.

|

|

|

|

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)

(819)

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

(11)

Bifet, Albert. editor. (orcid)0000-0002-8339-7773

(10)

Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X

(10)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Davis, Jesse. editor. (orcid)0000-0002-3748-9263

(8)

Kull, Meelis. editor. (orcid)0000-0001-9257-595X

(8)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(8)

Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

(8)

Žliobaitė, Indrė. editor. (orcid)0000-0003-2427-5407

(8)

Marcus, Aaron. editor.

(7)

Yang, Laurence T. editor.

(7)

Guo, Minyi. editor.

(6)

Huang, De-Shuang. editor.

(6)

Romanovsky, Alexander. editor.

(6)

Graf, Susanne. editor.

(5)

Lemos, Rogério. editor.

(5)

Luo, Yuhua. editor.

(5)

Winckler, Marco. editor.

(5)

Yung, Moti. editor.

(5)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(4)

Barthès, Jean-Paul A. editor.

(4)

Bäck, Thomas. editor. (orcid)0000-0001-6768-1478

(4)

Cirne, Walfredo. editor.

(4)

Desai, Narayan. editor.

(4)

Gacek, Cristina. editor.

(4)

Hochberger, Christian. editor.

(4)

Jedlitschka, Andreas. editor.

(4)

Jin, Hai. editor.

(4)

Kononova, Anna V. editor. (orcid)0000-0002-4138-7024

(4)

Kotzé, Paula. editor.

(4)

Kurosu, Masaaki. editor.

(4)

Lindgaard, Gitte. editor.

(4)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(4)

Malyshkin, Victor. editor.

(4)

Marsden, Gary. editor.

(4)

Moallem, Abbas. editor.

(4)

O'Connor, Rory V. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Rozenberg, Grzegorz. editor.

(4)

Sako, Kazue. editor.

(4)

Trautmann, Heike. editor. (orcid)0000-0002-9788-8282

(4)

Tušar, Tea. editor. (orcid)0000-0002-6495-006X

(4)

Wang, Wentao. editor.

(4)

Wesson, Janet. editor.

(4)

Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294

(4)

Barthe, Gilles. editor.

(3)

Boldyreva, Alexandra. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Brueckner, Sven A. editor.

(3)

Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126

(3)

Cao, Jiannong. editor.

(3)

Chaouchi, Hakima. editor.

(3)

Cristea, Ana Daniela. author.

(3)

Damiani, Ernesto. editor.

(3)

Fiems, Dieter. editor.

(3)

Florez, Hector. editor. (orcid)0000-0002-5339-4459

(3)

Frachtenberg, Eitan. editor.

(3)

Gao, Honghao. editor. (orcid)0000-0001-6861-9684

(3)

Gellert, Ulrich. author.

(3)

Gervasi, Osvaldo. editor.

(3)

Jeannot, Emmanuel. editor.

(3)

Kacsuk, Péter. editor.

(3)

Koucheryavy, Yevgeni. editor.

(3)

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

(3)

Lin, Dongdai. editor.

(3)

Lin, Zongkai. editor.

(3)

Margaria, Tiziana. editor.

(3)

Meyer, Bertrand. editor.

(3)

Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985

(3)

Nambiar, Raghunath. editor.

(3)

Pahl, Claus. editor.

(3)

Poess, Meikel. editor.

(3)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(3)

Salomaa, Arto. editor.

(3)

Schwiegelshohn, Uwe. editor.

(3)

Shen, Weiming. editor.

(3)

Si, Zhanjun. editor.

(3)

Succi, Giancarlo. editor.

(3)

Tasiran, Serdar. editor.

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

Weitershausen, Philipp. author.

(3)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(3)

Zhang, Chuanlei. editor.

(3)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(3)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(3)

Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729

(2)

Aguilar, Jose. editor. (orcid)0000-0003-4194-6882

(2)

Akshay, S. editor. (orcid)0000-0002-2471-5997

(2)

Alberola, Juan M. editor. (orcid)0000-0002-5486-5638

(2)

Alex, Wulf. author.

(2)

Altmann, Jörn. editor.

(2)

Antonov, Alexander. editor. (orcid)0000-0003-2820-7196

(2)

Anwar, Hina. editor. (orcid)0000-0002-4725-4636

(2)

Apduhan, Bernady O. editor.

(2)

Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029

(2)

Artho, Cyrille. editor.

(2)

Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813

(2)

Avgeriou, Paris. editor.

(2)

Badger, Julia M. editor.

(2)

Badra, Mohamad. editor.

(2)

Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382

(2)

Beigl, Michael. editor.

(2)

Bellalta, Boris. editor.

(2)

Bensalem, Saddek. editor.

(2)

Berekovic, Mladen. editor.

(2)

Bernhaupt, Regina. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bodden, Eric. editor.

(2)

Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797

(2)

Borruso, Giuseppe. editor.

(2)

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224

(2)

Boucher, Xavier. editor. (orcid)0000-0002-0869-4153

(2)

Bougé, Luc. editor.

(2)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(2)

Braun, Torsten. editor.

(2)

Bravo, José. editor.

(2)

Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338

(2)

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148

(2)

Butler, Michael. editor.

(2)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(2)

Camacho, David. editor. (orcid)0000-0002-0535-7450

(2)

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961

(2)

Carle, Georg. editor.

(2)

Cavalli, Ana Rosa. editor.

(2)

Chessa, Stefano. editor.

(2)

Chiba, Shigeru. editor.

(2)

Choi, Baek-Young. editor.

(2)

Ciardo, Gianfranco. editor.

(2)

Cohen, Albert. editor.

(2)

Craig, Iain D. author.

(2)

Cuzzocrea, Alfredo. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Deng, Robert H. editor. (orcid)0000-0003-3491-8146

(2)

Dillig, Isil. editor.

(2)

Dimitrova, Rayna. editor.

(2)

Ding, Chen. editor.

(2)

Dongarra, Jack. editor.

(2)

Dorling, Alec. editor.

(2)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(2)

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X

(2)

Eichler, Gerald. editor. (orcid)0000-0002-7420-698X

(2)

Eliassen, Frank. editor.

(2)

(2)

Erfurth, Christian. editor. (orcid)0000-0003-2761-3985

(2)

Eugster, Patrick. editor.

(2)

Fazio, Maria. editor. (orcid)0000-0003-3574-1848

(2)

Felderer, Michael. editor. (orcid)0000-0003-3818-4442

(2)

Ferguson, Donald. editor.

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(2)

Forbrig, Peter. editor.

(2)

Franquet, Erwin. editor. (orcid)0000-0002-7009-1521

(2)

Gadducci, Fabio. editor.

(2)

Gheorghe, Marian. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Giordano, Stefano. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395

(2)

Gong, Xiaoli. editor.

(2)

Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030

(2)

Gritzalis, Stefanos. editor.

(2)

Gruner, Stefan. editor.

(2)

Gunther, Neil J. author.

(2)

Hammoudi, Slimane. editor.

(2)

Helfert, Markus. editor.

(2)

Higashino, Teruo. editor.

(2)

Huang, Xinyi. editor.

(2)

Huanye, Sheng. editor.

(2)

Huisman, Marieke. editor.

(2)

IEEE Computer Society.

(2)

Ishai, Yuval. editor.

(2)

Jajodia, Sushil. editor.

(2)

Janes, Andrea. editor.

(2)

Jelasity, Márk. editor.

(2)

John Wiley & Sons.

(2)

Johnsen, Einar Broch. editor.

(2)

Jones, Cliff B. editor.

(2)

Jones, Cliff. editor.

(2)

Jonsson, Magnus. editor.

(2)

Julian, Vicente. editor. (orcid)0000-0002-2743-6037

(2)

Kadgien, Regine. editor.

(2)

Kaklamanis, Christos. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Klünder, Jil. editor. (orcid)0000-0001-7674-2930

(2)

Knauth, Stefan. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152

(2)

Kordon, Fabrice. editor.

(2)

Kowalczyk, Ryszard. editor.

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Kunčak, Viktor. editor.

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Lanet, Jean-Louis. editor.

(2)

Lankes, Stefan. editor.

(2)

Lee, Jangmyung. editor.

(2)

Lee, Min Cheol. editor.

(2)

Language

(817)

(15)

(2)

(1)

Publication Date

-

(112)

(93)

(90)

(86)

(70)

(53)

(49)

(48)

(45)

(32)

(32)

(30)

(30)

(21)

(21)

(18)

(4)

(4)

(3)

(2)

Subject

Computer science.

(391)

Operating systems (Computers).

(348)

Computer Communication Networks.

(270)

Artificial intelligence.

(194)

(170)

Computer networks .

(140)

Application software.

(117)

Special Purpose and Application-Based Systems.

(100)

Programming languages (Electronic computers).

(96)

Computer and Information Systems Applications.

(93)

Information systems.

(91)

Computers, Special purpose.

(89)

(73)

Operating Systems.

(68)

Computer logic.

(63)

Computer network architectures.

(55)

Computer software.

(55)

Computer system performance.

(54)

System Performance and Evaluation.

(52)

Computer System Implementation.

(51)

Information storage and retrieval systems.

(50)

Computer engineering.

(48)

Computer systems.

(48)

(47)

Computer programming.

(47)

Electronic digital computers -- Evaluation.

(46)

Computer simulation.

(45)

Computers and Society.

(45)

Computers and civilization.

(42)

Computer Engineering and Networks.

(41)

Data encryption (Computer science).

(40)

User Interfaces and Human Computer Interaction.

(40)

Compilers (Computer programs).

(39)

Compilers and Interpreters.

(39)

Computers and Education.

(38)

Data protection.

(38)

User interfaces (Computer systems).

(38)

Computer Science Logic and Foundations of Programming.

(36)

Computing Milieux.

(36)

Computer communication systems.

(34)

Computer vision.

(33)

Theory of Computation.

(32)

Human-computer interaction.

(31)

Education -- Data processing.

(30)

Information theory.

(29)

Programming Techniques.

(29)

Data and Information Security.

(26)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(25)

Computer security.

(25)

Information Systems.

(25)

Image processing -- Digital techniques.

(24)

Mathematical logic.

(24)

(22)

Electronic data processing -- Management.

(22)

(22)

Formal Languages and Automata Theory.

(21)

Machine theory.

(21)

Microprogramming .

(21)

Special purpose computers.

(20)

(19)

Control Structures and Microprogramming.

(18)

Information Storage and Retrieval.

(18)

Computer Modelling.

(17)

Computer organization.

(17)

Computers -- Law and legislation.

(17)

Computer Hardware.

(16)

Computer science -- Mathematics.

(16)

(15)

Programming Language.

(15)

The Computing Profession.

(15)

Computer system failures.

(14)

Data Mining and Knowledge Discovery.

(14)

Information Systems Applications (incl. Internet).

(14)

Management information systems.

(14)

Data structures (Computer science).

(13)

Database management.

(12)

Computer Application in Social and Behavioral Sciences.

(11)

Electronic books.

(11)

Electronic commerce.

(11)

Legal Aspects of Computing.

(11)

Programming Languages, Compilers, Interpreters.

(11)

Social sciences -- Data processing.

(11)

Telecommunication.

(11)

e-Commerce and e-Business.

(11)

Business information services.

(10)

Electronic data processing.

(10)

Information technology -- Law and legislation.

(10)

Mathematics of Computing.

(10)

Multimedia systems.

(10)

Computer Application in Administrative Data Processing.

(9)

(9)

(9)

(9)

Information technology -- Management.

(9)

Machine learning.

(9)

Artificial Intelligence (incl. Robotics).

(8)

Coding and Information Theory.

(8)

Data Structures and Information Theory.

(8)

IT in Business.

(8)

(8)

Logic programming.

(8)

Natural Language Processing (NLP).

(8)

Natural language processing (Computer science).

(8)

Computational complexity.

(7)

Computational intelligence.

(7)

Hardware Performance and Reliability.

(7)

Software Management.

(7)

Software engineering -- Management.

(7)

Logics and Meanings of Programs.

(6)

Microprocessors.

(6)

Software Engineering/Programming and Operating Systems.

(6)

Algorithm Analysis and Problem Complexity.

(5)

Architecture, Computer.

(5)

COMPUTERS -- Software Development & Engineering -- General.

(5)

Computer aided design.

(5)

Computer hardware.

(5)

(5)

Génie logiciel.

(5)

Mathematical statistics.

(5)

Pattern recognition.

(5)

Processor Architectures.

(5)

(5)

(5)

COMPUTERS / Programming / Software Development

(4)

Computer Applications.

(4)

Computer architecture.

(4)

Computer science—Mathematics.

(4)

Electronic circuits.

(4)

Information technology.

(4)

Input-output equipment (Computers).

(4)

Management of Computing and Information Systems.

(4)

Numerical analysis.

(4)

Performance and Reliability.

(4)

Probability and Statistics in Computer Science.

(4)

Software engineering

(4)

Automotive engineering.

(3)

Bioinformatics.

(3)

Business Information Systems.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer graphics.

(3)

Computer input-output equipment.

(3)

Computer networks.

(3)

Computer software -- Development.

(3)

Electrical engineering.

(3)

Electronic Circuits and Systems.

(3)

Embedded computer systems.

(3)

Input/Output and Data Communications.

(3)

Law and legislation.

(3)

Optical data processing.

(3)

Optical pattern recognition.

(3)

Simulation and Modeling.

(3)

Systems and Data Security.

(3)

Aerospace Technology and Astronautics.

(2)

Aerospace engineering.

(2)

(2)

Bilgisayar ağları.

(2)

(2)

(2)

Blockchains (Databases).

(2)

COMPUTERS -- Programming -- Open Source.

(2)

COMPUTERS -- Software Development & Engineering -- Tools.

(2)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Computer Science

(2)

COMPUTERS / Information Technology

(2)

COMPUTERS / Programming / Open Source

(2)

COMPUTERS / Software Development & Engineering / General

(2)

COMPUTERS / Software Development & Engineering / Tools

(2)

(2)

Communications Engineering, Networks.

(2)

Computer industry.

(2)

Computer software -- Development

(2)

Computer software -- Quality control.

(2)

Data Encryption.

(2)

(2)

History of Computing.

(2)

Image Processing and Computer Vision.

(2)

Information Systems and Communication Service.

(2)

Interactive multimedia.

(2)

Internet of things.

(2)

(2)

Multimedia Information Systems.

(2)

Numeric Computing.

(2)

Pattern Recognition.

(2)

Personal Computing.

(2)

Quantum Computing.

(2)

Quantum computers.

(2)

Security Science and Technology.

(2)

Security systems.

(2)

(2)

Systems engineering.

(2)

Yazılım mühendisliği.

(2)

Application software -- Development.

(1)

Arithmetic and Logic Structures.

(1)

Automobiles -- Design and construction.

(1)

Automotive computers.

(1)

BUSINESS & ECONOMICS / Small Business

(1)

BUSINESS & ECONOMICS / Total Quality Management

(1)

Benchmarking (Management)

(1)

Biology -- Data processing.

(1)

Business ethics.

(1)

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

842 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 71

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 Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

Author

Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings

Author

Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

Author

Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Object-based Programming with Go

Object-based Programming with Go

Object-based Programming with Go

Author

Maurer, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-44704-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Author

Sheen, Shina. editor. (orcid)0000-0002-8624-4174 R., Latha. editor. (orcid)0000-0001-7011-1329 U. K., Sridevi. editor. (orcid)0000-0003-2445-9193 P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222 M., Thilaga. editor. (orcid)0000-0002-7177-958X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Author

Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0914-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 71

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11