UB FFM: Suchergebnisse - Verifying integer programming results

Cheung, Kevin K. H. (Verfasser)

Berlin : Zuse Institute Berlin, 2016

E-Book

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Van Hung, Dang (Herausgeber)

1st ed. 2013

Cham : Springer International Publishing, 2013

E-Book

Sage for undergraduates

Bard, Gregory V.

Providence : American Mathematical Society, 2015

Buch

Computer Security - ESORICS 2010 : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings

Gritzalis, Dimitris (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Multiagent systems

Weiss, Gerhard (Herausgeber)

2. ed.

Cambridge, Massachusetts : The MIT Press, 2013

Buch

Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems

Pande, Santosh (Herausgeber)

Berlin : Springer, 2001

Buch

Proceedings / STACS 93

Enjalbert, Patrice (Herausgeber)

Berlin : Springer, 1993

Buch

Compilers : principles, techniques, & tools

Aho, Alfred V.

2. ed., intern. ed.

Boston, Mass. [u.a.] : Pearson Addison Wesley, 2007

Buch

Python cookbook : [recipes from the python community ; covers Python 2.3 & 2.4]

Martelli, Alex (Hrsg.)

2. ed.

Beijing [u.a.] : O'Reilly, 2005

Buch

29th Annual Symposium on Foundations of Computer Science : October 24-26, 1988 , White Plains, New York

Symposium on Foundations of Computer Science (29 : 1988 : White Plains, NY)

Washington, D.C. : IEEE Computer Soc. Press, 1988

Buch

ECAI 92 : 10th European Conference on Artificial Intelligence ; August 3 - 7, 1992, Vienna ; proceedings

Neumann, Bernd (Herausgeber)

Chichester : Wiley, 1992

Buch

Parallel processing : proceedings

Pritchard, David (Herausgeber)

Berlin : Springer, 1998

Buch

Proceedings / Sixteenth National Conference on Artificial Intelligence (AAAI-99), Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99) : [July 18 - 22, 1999, Orlando, Florida]

National Conference on Artificial Intelligence (16 : 1999 : Orlando, Fla.)

Cambridge, Mass. [u.a.] : MIT Press, 1999

Buch

Logic and complexity

Lassaigne, Richard

London [u.a.] : Springer, 2004

Buch

Proceedings / The European Conference on Design Automation with The European Event in ASIC Design : Paris, France, February 22 - 25, 1993

EDAC (4 : 1993 : Paris)

Los Alamitos : IEEE Computer Soc. Press, 1993

Buch

Proof theory and automated deduction

Goubault-Larrecq, Jean

Dordrecht [u.a.] : Kluwer, 1997

Buch

An introduction to mathematical logic and type theory : to truth through proof

Andrews, Peter Bruce

2. ed.

Dordrecht : Kluwer Acad. Publ., 2002

Buch

Treffer 1 - 17 von 17

Suche einschränken