Search Results for Programming Techniques.

|

|

|

|

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: Programming Techniques.

Author

SpringerLink (Online service)

(217)

Bramer, Max. author.

(3)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(2)

Chapman, Barbara M. editor.

(2)

Dastani, Mehdi. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

Jackson, Wallace. author.

(2)

Karczewski, Konrad. editor.

(2)

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

(2)

Kitowski, Jacek. editor.

(2)

Laaksonen, Antti. author.

(2)

Legay, Axel. editor.

(2)

Liu, Shaoying. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Luković, Ivan. editor. (orcid)0000-0003-1319-488X

(2)

Lämmel, Ralf. editor.

(2)

Maciaszek, Leszek A. editor.

(2)

Müller, Matthias S. editor.

(2)

Noble, James. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Perner, Petra. editor.

(2)

Saraiva, João. editor.

(2)

Schmidt, Renate A. editor.

(2)

Sirjani, Marjan. editor.

(2)

Sobolev, Sergey. editor.

(2)

Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864

(2)

Trinder, Phil. editor.

(2)

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

(2)

Voronkov, Andrei. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Abelló, Alberto. editor.

(1)

Abreu, Salvador. editor.

(1)

Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991

(1)

Achten, Peter. editor.

(1)

Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

(1)

Aichernig, Bernhard K. editor.

(1)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Anjorin, Anthony. editor.

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Artho, Cyrille. editor.

(1)

Aycock, John. author.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Balduccini, Marcello. editor.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barnes, John. author.

(1)

Barrett, Clark. editor.

(1)

Barzen, Johanna. editor.

(1)

Bazzan, Ana. editor.

(1)

Beckner, Mark. author.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bensalem, Saddek. editor.

(1)

Bhardwaj, Vikas. author.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bois, André Rauber. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Braga, Christiano. editor.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Breitman, Karin. editor.

(1)

Brinkmann, Steffen. editor.

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Brukardt, Randall L. editor.

(1)

Bråthen, Svein. editor.

(1)

Buhr, Peter A. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Cabalar, Pedro. editor.

(1)

Cabaleiro, José C. editor.

(1)

Carretero, Jesus. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castor, Fernando. editor.

(1)

Cervesato, Iliano. author.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chang, Stephen. editor. (orcid)0000-0002-4760-0658

(1)

Chechik, Marsha. editor.

(1)

Chemuturi, Murali. author.

(1)

Cheptsov, Alexey. editor.

(1)

Chiba, Shigeru. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Ciubotaru, Bogdan. author.

(1)

Clarke, Dave. editor.

(1)

Cohen, Ryan. author.

(1)

Collins, Mark. author.

(1)

Corchado, Emilio. editor.

(1)

Cossentino, Massimo. editor.

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Criswell, John. editor.

(1)

Crotts, Joshua. author. (orcid)0000-0002-7513-5618

(1)

Cunha, Jácome. editor.

(1)

Cussens, James. editor.

(1)

Damaševičius, Robertas. author.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Dathan, Brahma. author.

(1)

Datta, Dilip. author.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Desjardins, Patrick. author.

(1)

Dewan, Hrishikesh. author.

(1)

Di Napoli, Edoardo. editor.

(1)

Ding, Chen. editor.

(1)

Diniz Junqueira Barbosa, Simone. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Domínguez Mayo, Francisco José. editor.

(1)

Drewes, Frank. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duff, Robert A. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

Egges, Arjan. author.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

Ergül, Özgür. author.

(1)

Espinoza, Huáscar. editor.

(1)

Falcone, Yliès. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fernandes, João P. editor.

(1)

Ferreira, Joao C. editor.

(1)

Ferrucci, Filomena. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Fokker, Jeroen D. author.

(1)

Fontaine, Pascal. editor.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Franconi, Enrico. editor.

(1)

Frey, Davide. editor.

(1)

Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156

(1)

Furia, Carlo A. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galmiche, Didier. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gardner, Philippa. editor.

(1)

Gardner, Scott. author.

(1)

Gavanelli, Marco. editor.

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Ghatak, Abhijit. author.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

Giese, Holger. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gonzalez Torres, Raul E. author.

(1)

Goodwin, Morten. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorp, Pieter. editor.

(1)

Graba, Jan. author.

(1)

Gracia, José. editor.

(1)

Gray, Iain. author.

(1)

Groves, Lindsay. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gupta, Abhishek. author.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Haas, Tobias. editor.

(1)

Hack, Sebastian. author.

(1)

Hage, Jurriaan. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hartman, Roel. author.

(1)

Helgheim, Berit Irene. editor.

(1)

Hemann, Jason. editor. (orcid)0000-0002-5405-2936

(1)

Hermanns, Marc-André. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hierons, Robert M. editor.

(1)

Hill, Richard. author.

(1)

Hinchey, Mike. editor.

(1)

Hinze, Ralf. editor.

(1)

Hirsch, Laurie. author.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Horton, Ivor. author.

(1)

Hubbard, Steve. author.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Hähnle, Reiner. editor.

(1)

Hübner, Jomi F. editor.

(1)

Iliev, Hristo. editor.

(1)

Imam, Neena. editor.

(1)

Inoue, Katsumi. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jacquet, Jean-Marie. editor.

(1)

Language

(217)

Publication Date

-

(68)

(50)

(38)

(24)

(19)

(16)

(2)

Subject

Computer programming.

(149)

Computer science.

(124)

Software engineering.

(123)

Compilers (Computer programs).

(78)

Compilers and Interpreters.

(78)

Artificial intelligence.

(49)

Computer Science Logic and Foundations of Programming.

(42)

Formal Languages and Automata Theory.

(37)

Machine theory.

(37)

Programming Languages, Compilers, Interpreters.

(37)

(33)

Computer Communication Networks.

(33)

(26)

Computer networks .

(23)

Logics and Meanings of Programs.

(23)

Mathematical Logic and Formal Languages.

(21)

Application software.

(18)

Computer System Implementation.

(18)

Computer and Information Systems Applications.

(18)

Computer systems.

(17)

Theory of Computation.

(16)

Artificial Intelligence (incl. Robotics).

(15)

System Performance and Evaluation.

(15)

Operating systems (Computers).

(14)

Computer simulation.

(13)

Operating Systems.

(13)

Computer science -- Mathematics.

(11)

Electronic digital computers -- Evaluation.

(11)

Algorithm Analysis and Problem Complexity.

(10)

Computer Modelling.

(10)

Computer software.

(10)

(10)

Database management.

(9)

Programming Language.

(9)

Programming languages (Electronic computers).

(9)

Discrete Mathematics in Computer Science.

(8)

Natural Language Processing (NLP).

(8)

Natural language processing (Computer science).

(8)

Special Purpose and Application-Based Systems.

(8)

Data structures (Computer science).

(7)

Information theory.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computer Science, general.

(6)

Computers, Special purpose.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Human-computer interaction.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Computer Engineering and Networks.

(5)

Computer Hardware.

(5)

Computer engineering.

(5)

Control Structures and Microprogramming.

(5)

Data Structures and Information Theory.

(5)

Discrete mathematics.

(5)

Information Systems Applications (incl. Internet).

(5)

Microprogramming .

(5)

Processor Architectures.

(5)

Computer architecture.

(4)

Computer system performance.

(4)

Computers and Education.

(4)

Design and Analysis of Algorithms.

(4)

Education -- Data processing.

(4)

Engineering mathematics.

(4)

Information Systems.

(4)

(4)

Logic programming.

(4)

Management of Computing and Information Systems.

(4)

Mathematics of Computing.

(4)

Models of Computation.

(4)

(4)

The Computing Profession.

(4)

(3)

Apple computer.

(3)

Communications Engineering, Networks.

(3)

Computation by Abstract Devices.

(3)

Computational complexity.

(3)

Computer Application in Administrative Data Processing.

(3)

Computer programs -- Testing.

(3)

Electronic data processing -- Management.

(3)

Engineering -- Data processing.

(3)

(3)

(3)

Information technology -- Management.

(3)

Input/Output and Data Communications.

(3)

Mathematical and Computational Engineering Applications.

(3)

Microprocessors.

(3)

Microsoft .NET Framework.

(3)

Microsoft software.

(3)

(3)

Models and Principles.

(3)

Multimedia Information Systems.

(3)

Multimedia systems.

(3)

Numerical analysis.

(3)

Python (Computer program language).

(3)

(3)

Simulation and Modeling.

(3)

Software Testing.

(3)

Telecommunication.

(3)

Automated Pattern Recognition.

(2)

Computational Science and Engineering.

(2)

Computational intelligence.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer graphics.

(2)

Computer input-output equipment.

(2)

Computer vision.

(2)

Data Storage Representation.

(2)

Data Structures.

(2)

Data protection.

(2)

History of Computing.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical physics.

(2)

(2)

Mobile computing.

(2)

Pattern recognition systems.

(2)

Performance and Reliability.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Automotive Engineering.

(1)

Business Information Systems.

(1)

Category Theory, Homological Algebra.

(1)

Civil engineering.

(1)

Cloud Computing.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer arithmetic and logic units.

(1)

Computer games -- Programming.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Continuum mechanics.

(1)

Data Analysis and Big Data.

(1)

Data Encryption.

(1)

(1)

Data and Information Security.

(1)

Data and Information Visualization.

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

Database Management System.

(1)

Digital Education and Educational Technology.

(1)

Educational technology.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Engineering Fluid Dynamics.

(1)

Engineering, general.

(1)

Fluid mechanics.

(1)

Game Development.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Information Systems and Communication Service.

(1)

Information retrieval.

(1)

Information systems.

(1)

Information visualization.

(1)

Java (Computer program language).

(1)

(1)

(1)

(1)

Management information systems.

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Methods in Physics.

(1)

Mathematical logic.

(1)

Mathematical statistics -- Data processing.

(1)

Mathematics -- Data processing.

(1)

Mechanical engineering.

(1)

Media Sociology.

(1)

Medical records -- Data processing.

(1)

Nanotechnology and Microengineering.

(1)

(1)

Open source software.

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

(1)

Probability Theory.

(1)

Probability and Statistics in Computer Science.

(1)

Quantitative research.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Robotics and Automation.

(1)

(1)

Software Management.

(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

217 Results Found

Subscribe to search results

1 2 3 4 5 .. 19

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 Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Author

Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330912.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4126-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Advanced Network Programming – Principles and Techniques Network Application Programming with Java

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

Author

Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331186.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5292-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Author

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Author

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Author

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Object-Oriented Analysis, Design and Implementation An Integrated Approach

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Author

Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Author

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Author

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-7956-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Author

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 19

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11